Ben Lukoschus - Citegraph

Author Info

Name	Affiliation	Papers
BEN LUKOSCHUS	Institute of Computer Science and Applied Mathematics, University of Kiel, Preußerstr. 1–9, 24105 Kiel, Germany	4
Collaborators	Citations	PageRank
9	3	1.61
Referers	Referees	References
11	39	29

Publications (4 rows)

Collaborators (9 rows)

Referers (11 rows)

Referees (39 rows)

Title	Citations	PageRank	Year
Verifying Untimed and Timed Aspects of the Experimental Batch Plant	2	0.43	2001
Discussion on: Modeling and Adaptive Control of Aerobic Continuous Stirred Tank Reactors by P. Georgieva, A. Ilchmann and M.-F. Weirig	0	0.34	2001
Statische Analysetechniken für speicherprogrammierbare Steuerungen	0	0.34	2000
Integrating timed condition/event systems and timed automata for the verification of hybrid systems	1	0.51	1998

1