Felix Cornelius

According to our database1, Felix Cornelius authored at least 11 papers between 1991 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Towards Realistic DTN Simulations for Public Transport Networks.
Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021

2001
Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage
Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

1999
Abstract and behaviour module specifications.
Math. Struct. Comput. Sci., 1999

An Overview of the Distributed System Classification and Integration Framework DeCIF.
Bull. EATCS, 1999

Mathematisch-strukturelle Grundlagen der Informatik
Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 1999

1998
A semantical reference model for the integration of different dimensions of distributed system specifications.
PhD thesis, 1998

1996
<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
How to Cope with the Spectrum of SPECTRUM.
Proceedings of the KORSO, 1995

The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.
Proceedings of the KORSO, 1995

<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
Proceedings of the Recent Trends in Data Type Specification, 1995

1991
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991


  Loading...