Publications

Publications of

Conference papers

Laszlo Aszalos, Andreas Herzig
A protocol for execution of distributed logic programs (regular paper)
In : International Symposium on Intelligent Distributed Computing (IDC 2009), Ayia Napa, Cyprus, 12/10/09-14/10/09, George A. Papadopoulos, Costin Badica (Eds.), Springer-Verlag, Studies in Computational Intelligence 237, pp. 21-30, October 2009.
BibTeX
Laszlo Aszalos, Philippe Balbiani
Parallel dynamic logic with communication
In : MFI’03, Modèles formels de l’interaction, France, 01/01/03-31/12/03, A. Herzig, B. Chaib-draa (Eds.), Cépaduès, pp. 11-18, January 2003.
BibTeX
Laszlo Aszalos, Philippe Balbiani
Logical aspects of user authentication protocols
In : 7th Seminar Relmics – 2nd Workshop Kleene Algebra, Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, pp. 277-287, May 2003.
BibTeX
Laszlo Aszalos, Andreas Herzig
Reasoning about Failure (regular paper)
In : Engineering Societies in the Agents’ World (ESAW 2001), Prague, 07/07/01, Springer-Verlag, pp. 74-86, July 2001.
URL : http://www.irit.fr/~Andreas.Herzig/P/esaw01.html
BibTeX