Home Advanced Search
Advanced Search - Page 1
Foundations of probabilistic programming
- English
- Year: 2021
- Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
Foundations of Probabilistic Programming
- English
- Year: 2021
- Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Joint Criminal Enterprise (JCE): Ein (originär) völkerstrafrechtliches Haftungsmodell mit Zukunft?
- German
- Year: 2009
- Author: Barthe, Christoph
Les retombées du passé: Le paradoxe de la victime
- EPUB
- French
- Year: 2017
- Author: Barthe, Yannick
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
- English
- Year: 2012
- Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
- English
- Year: 2012
- Author: Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- English
- Year: 2013
- Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
- English
- Year: 2012
- Author: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
- English
- Year: 2012
- Author: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
- English
- Year: 2009
- Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)