J.J.C. Meijer
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Health, Medicine and Society, Hermeneutics and Narrative Identity, Aging, Elder Care, and Social Issues, Logic, programming, and type systems
Most-Cited Works
- → The Incident Object Description Exchange Format(2007)123 cited
- → TERENA'S Incident Object Description and Exchange Format Requirements(2001)20 cited
- Beyond the Experiment: The Extendable Legal Link Extractor(2015)
- Incident Object Description and Exchange Format Data Model and Extensible Markup Language (XML)Document Type Definition(2002)
- The practical importance of formal semantics(1989)
- Towards compositional predicate transformer semantics for concurrent programs(1989)
- → Efficient learning and analysis of system behavior(2019)2 cited
- Influence of temperature gradients on the performance of ZnSe-lenses.(1993)
- A characterization of the state spaces of elementary net systems(1989)
- Playing at semantics(1989)