Frédéric Vogels
According to our database1,
Frédéric Vogels
authored at least 8 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015
2012
Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's).
PhD thesis, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the NASA Formal Methods, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009