Highly efficient near-infrared hybrid organic-inorganic nanocrystal electroluminescence device KN Bourdakos, D Dissanayake, T Lutz, SRP Silva, RJ Curry Applied Physics Letters 92 (15), 142, 2008 | 82* | 2008 |

CSP-Casl—a new integration of process algebra and algebraic specification M Roggenbach Theoretical Computer Science 354 (1), 42-71, 2006 | 78 | 2006 |

Algebraic–coalgebraic specification in CoCasl T Mossakowski, L Schröder, M Roggenbach, H Reichel The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006 | 76* | 2006 |

A generic theorem prover of CSP refinement Y Isobe, M Roggenbach International Conference on Tools and Algorithms for the Construction and …, 2005 | 74 | 2005 |

Automatically verifying railway interlockings using SAT-based model checking P James, M Roggenbach Electronic Communications of the EASST 35, 2011 | 49* | 2011 |

Algebraic–coalgebraic specification in CoCasl T Mossakowski, L Schröder, M Roggenbach, H Reichel The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006 | 49 | 2006 |

Towards a unified view of bisimulation: a comparative study M Roggenbach, M Majster-Cederbaum Theoretical Computer Science 238 (1-2), 81-130, 2000 | 44 | 2000 |

Establishing qualitative properties for probabilistic lossy channel systems C Baier, B Engelen International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999 | 40 | 1999 |

Structured CSP–a process algebra as an institution T Mossakowski, M Roggenbach International Workshop on Algebraic Development Techniques, 92-110, 2006 | 35 | 2006 |

Techniques for modelling and verifying railway interlockings P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne International Journal on Software Tools for Technology Transfer 16 (6), 685-711, 2014 | 32 | 2014 |

Defining and model checking abstractions of complex railway models using CSP|| B F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne Haifa Verification Conference, 193-208, 2012 | 31 | 2012 |

Towards a formal specification of an electronic payment system in Csp-Casl A Gimblett, M Roggenbach, BH Schlingloff International Workshop on Algebraic Development Techniques, 61-78, 2004 | 29 | 2004 |

Verification of solid state interlocking programs P James, A Lawrence, F Moller, M Roggenbach, M Seisenberger, ... International Conference on Software Engineering and Formal Methods, 253-268, 2013 | 28 | 2013 |

CSP-Prover—A proof tool for the verification of scalable concurrent systems Y Isobe, M Roggenbach Information and Media Technologies 5 (1), 32-39, 2010 | 25 | 2010 |

A complete axiomatic semantics for the CSP stable-failures model Y Isobe, M Roggenbach International Conference on Concurrency Theory, 158-172, 2006 | 24 | 2006 |

Verification of Scheme Plans Using CSP $$$$ B P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ... International Conference on Software Engineering and Formal Methods, 189-204, 2013 | 22 | 2013 |

Model problems in PDE-constrained optimization E Haber, L Hanson Dept. Mathematics Comput. Sci., Emory University, Atlanta, Georgia, USA, 2007 | 22 | 2007 |

Multimedia instruction in safe and secure systems B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ... International Workshop on Algebraic Development Techniques, 82-117, 2002 | 22 | 2002 |

Towards Trustworthy Specification I: Consistency Checks M Roggenbach, L Schröder International Workshop on Algebraic Development Techniques, 305-327, 2001 | 22 | 2001 |

Encapsulating formal methods within domain specific languages: A solution for verifying railway scheme plans P James, M Roggenbach Mathematics in Computer Science 8 (1), 11-38, 2014 | 21 | 2014 |