Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings Palamidessi Catuscia Heftet / 2003 / Engelsk
CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings Palamidessi Catuscia Heftet / 2000 / Engelsk
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers Moedersheim Sebastian Heftet / 2012 / Engelsk
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings Ábrahám, Erika Heftet / 2014 / Engelsk
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers Palamidessi Catuscia Heftet / 2013 / Engelsk
Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings Palamidessi Catuscia Heftet / 1998 / Engelsk
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday van Breugel, Franck Heftet / 2014 / Engelsk
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings Caires Luis Heftet / 2005 / Engelsk
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings Nielsen Mogens Heftet / 2009 / Engelsk
Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings Lloyd John Heftet / 2000 / Engelsk
Methods for Location Privacy A Comparative Overview Chatzikokolakis, Kostantinos Heftet / 2017 / Engelsk
