Felix Cornelius

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 1

Top Topics

Image Sequences

Public Transport

Top Venues

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

José Irigon de Irigon, Felix Cornelius
Towards Realistic DTN Simulations for Public Transport Networks. COMSNETS (2021)
Felix Cornelius
An Overview of the Distributed System Classification and Integration Framework DeCIF. Bull. EATCS 67 (1999)
Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9 (1) (1999)
Robert Geisler, Marcus Klar, Felix Cornelius
: An Interactive Theorem Prover for Algebraic Specifications. AMAST (1996)
Marcus Klar, Robert Geisler, Felix Cornelius
: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT (1995)
Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST (1991)