The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans Hüttel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans Hüttel
    Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:2-12 [Conf]
  2. Søren Christensen, Hans Hüttel, Colin Stirling
    Bisimulation Equivalence is Decidable for all Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:138-147 [Conf]
  3. Hans Hüttel, Kim Guldstrand Larsen
    The Use of Static Constructs in A Modal Process Logic. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:163-180 [Conf]
  4. Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
    Aliasing Models for Object Migration. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:1353-1368 [Conf]
  5. Hans Hüttel, Colin Stirling
    Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:376-386 [Conf]
  6. Hans Hüttel, Jirí Srba
    Recursion Versus Replication in Simple Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2005, pp:178-187 [Conf]
  7. Hans Hüttel
    Undecidable Equivalences for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:454-464 [Conf]
  8. Søren Christensen, Hans Hüttel
    Decidability issues for infinite-state processes- a survey. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1993, v:51, n:, pp:155-167 [Journal]
  9. Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
    Relating semantic models for the object calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  10. Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen
    Modal Logics for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  11. Hans Hüttel
    Modal Logics for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:6, pp:- [Journal]
  12. Hans Hüttel, Michael D. Pedersen
    A Logical Characterisation of Static Equivalence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:139-157 [Journal]
  13. Søren Christensen, Hans Hüttel, Colin Stirling
    Bisimulation Equivalence is Decidable for All Context-Free Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:121, n:2, pp:143-148 [Journal]
  14. Jan Friso Groote, Hans Hüttel
    Undecidable Equivalences for Basic Process Algebra [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:115, n:2, pp:354-371 [Journal]
  15. Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
    Aliasing Models for Mobile Objects. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:175, n:1, pp:3-33 [Journal]
  16. Hans Hüttel, Jirí Srba
    Decidability Issues for Extended Ping-Pong Protocols. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:125-147 [Journal]
  17. Hans Hüttel, Colin Stirling
    Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:4, pp:485-509 [Journal]
  18. Hans Hüttel
    SnS Can be Modally Characterized. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:74, n:2, pp:239-248 [Journal]
  19. Hans Hüttel, Morten Kühnrich
    Types for Access Control in a Calculus of Mobile Resources. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:3-15 [Journal]

  20. Parametrised Constants and Replication for Spatial Mobility. [Citation Graph (, )][DBLP]


  21. Decidable Fragments of a Higher Order Calculus with Locations. [Citation Graph (, )][DBLP]


  22. Type Inference for Correspondence Types. [Citation Graph (, )][DBLP]


  23. Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002