Hans Hüttel's publications

• The Use of Static Constructs in a Modal Process Logic with Kim G. Larsen - in Proceedings of Logic at Botik, Springer LNCS 363, pp. 163-180, 1989
• Sns Can Be Modally Characterized - appeared in Theoretical Computer Science, 74:239-248 (1990)
• Silence is Golden: Branching Bisimilarity is Decidable for Normed Context-Free Processes - appeared in Proceedings of CAV91, Springer LNCS 575, pp. 2-12, 1991)
• Actions Speak Louder Than Words: Deciding Bisimilarity for Context-Free Processes with Colin Stirling - in Proceedings of LICS91, pp. 376-386, IEEE Computer Society Press 1991; revised version appears in Journal of Logic and Computation, 8(4):485-509, 1998.
• Undecidable Equivalences for Basic Process Algebra with Jan Friso Groote - in Information and Computation, 115(2):354-371, 1994
• Decidability, Behavioural Equivalences and Infinite Transition Graphs - Ph.D. thesis, Edinburgh University, Department of Computer Science, December 1991,
• Bisimilarity is Decidable for All Context-Free Processes with Søren Christensen and Colin Stirling - appeared in Proceedings of CONCUR92; revised version appeared in Information and Computation, 121(2):141-148, September 1995
• Decidability issues for infinite-state processes - a survey with Søren Christensen - in Bulletin of the EATCS, vol. 51, 1994.
• Undecidable Equivalences for Basic Parallel Processes - in Proceedings of TACS94, Springer LNCS 789, pp. 454-464, 1994
• Inferring Effect Types in an Applicative Language with Asynchronous Concurrency with Martin Hansen, Josva Kleist and Bo Jensen - in Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages (SIPL 95), pp. 49-64, 1995.
• Bisimulations for Asynchronous Mobile Processes with Martin Hansen and Josva Kleist - in Proceedings of Tbilisi Symposium on Logic, Language and Computation, 1995.
• On The Decidability of Behavioural Equivalences - A Survey with Sandeep K. Shukla.
• Object Types and Modal Formulae with Dan Andersen, Josva Kleist and Lars Pedersen, in Proceedings of FOOL4, Paris, January 1997
• Relating Semantic Models for the Object Calculus with Luca Aceto, Anna Ingolfsdottir and Josva Kleist - appeared at EXPRESS 97, Santa Margherita di Ligure, September 1997.
• Towards Automatic Bisimilarity Checking in the Spi-Calculus with Anders Strandløv Elkjær, Michael Höhle and Kasper Overgaard Nielsen - appeared in Proceedings of CATS/DMTCS'99.
• Migration = Cloning;Aliasing with Josva Kleist, Massimo Merro and Uwe Nestmann - appeared in Proceedings of FOOL 6, San Antonio, January 1999.
• Aliasing Models for Mobile Objects with Josva Kleist, Massimo Merro and Uwe Nestmann - in Information and Computation 172, 1-316, 2002.
• Deciding Framed Bisimilarity. (PDF version) June 2002. Appeared at INFINITY'02, Brno, August 2002.
• Modal Logics for Cryptographic Processes(PDF version) with Ulrik Frendrup and Jesper N. Jensen. Appeared at EXPRESS'02, Brno, August 2002.