Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings Palamidessi Catuscia Heftet / 2003 / 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
