Citation Impact
Citing Papers
Blended learning: the new normal and emerging technologies
2018 Standout
Real-time programming and asynchronous message passing
1983
The ethics of algorithms: Mapping the debate
2016 Standout
Conflict resolution for air traffic management: a study in multiagent hybrid systems
1998 Standout
Petri nets: Properties, analysis and applications
1989 Standout
A defence of informational structural realism
2007
seL4
2009 Standout
Hybrid I/O automata
2003
The Method of Levels of Abstraction
2008
Fairness and conspiracies
1984
Goal-directed requirements acquisition
1993 Standout
Works of W.P. deRoever being referenced
Data Refinement: Model-Oriented Proof Methods and their Comparison
2008
Fairness assumptions for CSP in a temporal logic framework
1983