Marius Kloetzer
IEEE Transactions on Automatic Control · 2008
A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 4 researchers here, as inferred from the citation graph.
Whom Marius Kloetzer trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Marius Kloetzer overall
Papers from Marius Kloetzer's perspective
Ordered by how strongly the researchers Marius Kloetzer trusts endorse each paper. Same corpus, a different order for every researcher.
- The SPIN Model Checker - primer and reference manual
- Introduction to algorithms [2nd ed.]
- Supervisory control of hybrid systems (Proceedings of the IEEE)
- Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli (Intelligent Systems in Molecular Biology)
- Voronoi Diagrams and Delaunay Triangulations (Handbook of Discrete and Computational Geometry, 2nd Ed.)
- Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (J. Comput. Biol.)
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (International Conference on Computer Aided Verification)
- Optimizing Büchi Automata (International Conference on Concurrency Theory)
- Efficient Büchi Automata from LTL Formulae (International Conference on Computer Aided Verification)
Their papers
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (2008) — 568 citations