Search the dblp DataBase
Jochen Hoenicke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jochen Hoenicke, Patrick Maier
Model-Checking of Specifications Integrating Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
FM, 2005, pp:465-480 [Conf] - Jochen Hoenicke, Ernst-Rüdiger Olderog
Combining Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
IFM, 2002, pp:245-266 [Conf] - Jochen Hoenicke, Ernst-Rüdiger Olderog
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 2002, v:9, n:4, pp:301-334 [Journal]
Kleene, Rabin, and Scott Are Available. [Citation Graph (, )][DBLP]
It's Doomed; We Can Prove It. [Citation Graph (, )][DBLP]
Nested interpolants. [Citation Graph (, )][DBLP]
Refinement of Trace Abstraction. [Citation Graph (, )][DBLP]
Fairness for Dynamic Control. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002