| 2015 | GPCE | Contract-based general-purpose GPU programming. | Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer |
| 2015 | ICSE | A Comparative Study of Programming Languages in Rosetta Code. | Sebastian Nanz, Carlo A. Furia |
| 2015 | PPoPP | Efficient and reasonable object-oriented concurrency. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2014 | Coordination | Safe and Efficient Data Sharing for Message-Passing Concurrency. | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2013 | ECSA | Concurrent Object-Oriented Development with Behavioral Design Patterns. | Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa |
| 2013 | ESEM | Benchmarking Usability and Performance of Multicore Languages. | Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer |
| 2013 | EuroPar | Examining the Expert Gap in Parallel Programming. | Sebastian Nanz, Scott West, Kaue Soares da Silveira |
| 2012 | APSEC | Who is Accountable for Asynchronous Exceptions? | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2012 | ICFEM | Demonic Testing of Concurrent Programs. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2012 | ICSE | Can asynchronous exceptions expire? | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2011 | ESEM | Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. | Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer |
| 2010 | ICFEM | A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | IROS | Deriving concurrent control software from behavioral specifications. | Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer |
| 2009 | Coordination | Mobility Models and Behavioural Equivalence for Wireless Networks. | Jens Chr. Godskesen, Sebastian Nanz |
| 2008 | PADL | The Role of Abduction in Declarative Authorization Policies. | Moritz Y. Becker, Sebastian Nanz |
| 2008 | SAS | Modal Abstractions of Concurrent Behaviour. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2007 | CONCUR | Topology-Dependent Abstractions of Broadcast Networks. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2007 | ESORICS | A Logic for State-Modifying Authorization Policies. | Moritz Y. Becker, Sebastian Nanz |