×

zbMATH — the first resource for mathematics

Hüttel, Hans

Compute Distance To:
Author ID: huttel.hans Recent zbMATH articles by "Hüttel, Hans"
Published as: Hüttel, Hans
External Links: MGP
Documents Indexed: 26 Publications since 1989, including 1 Book

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 97 times in 66 Documents Cited by Year
Bisimulation equivalence is decidable for all context-free processes. Zbl 0833.68074
Christensen, Søren; Hüttel, Hans; Stirling, Colin
25
1995
Undecidable equivalences for basic process algebra. Zbl 0834.68069
Groote, Jan Friso; Hüttel, Hans
14
1994
Actions speak louder than words: Proving bisimilarity for context-free processes. Zbl 0904.68129
Hüttel, Hans; Stirling, Colin
10
1998
Undecidable equivalences for basic parallel processes. Zbl 0942.68635
Hüttel, Hans
7
1994
The use of static constructs in a modal process logic. Zbl 0683.03014
Hüttel, Hans; Larsen, Kim G.
7
1989
Decidability issues for infinite-state processes – a survey. Zbl 0783.68042
Christensen, Søren; Hüttel, Hans
5
1993
Modal logics for cryptographic processes. Zbl 1270.03038
Frendrup, Ulrik; Hüttel, Hans; Jensen, Jesper Nyholm
4
2002
Deciding framed bisimilarity. Zbl 1270.68216
Hüttel, Hans
3
2003
Types for resources in \(\psi\)-calculi. Zbl 1348.68163
Hüttel, Hans
3
2014
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Typed \(\psi \)-calculi. Zbl 1344.68166
Hüttel, Hans
3
2011
Decidable fragments of a higher order calculus with locations. Zbl 1291.68283
Bundgaard, Mikkel; Godskesen, Jens Chr.; Haagensen, Bjørn; Hüttel, Hans
2
2009
Towards automatic bisimilarity checking in the spi calculus. Zbl 0960.68066
Elkjær, Anders Strandløv; Höhle, Michael; Hüttel, Hans; Overgård, Kasper
2
1999
SnS can be modally characterized. Zbl 0701.68064
Hüttel, Hans
2
1990
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
Undecidable equivalences for basic parallel processes. Zbl 1167.68041
Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi
1
2009
Transitions and trees. An introduction to structural operational semantics. Zbl 1197.68052
Hüttel, Hans
1
2010
Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129
Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans
1
2011
A logical characterisation of static equivalence. Zbl 1316.68096
Hüttel, Hans; Pedersen, Michael D.
1
2007
Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320
Hüttel, Hans; Srba, Jiří
1
2005
Types for resources in \(\psi\)-calculi. Zbl 1348.68163
Hüttel, Hans
3
2014
Typed \(\psi \)-calculi. Zbl 1344.68166
Hüttel, Hans
3
2011
Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129
Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans
1
2011
Transitions and trees. An introduction to structural operational semantics. Zbl 1197.68052
Hüttel, Hans
1
2010
Decidable fragments of a higher order calculus with locations. Zbl 1291.68283
Bundgaard, Mikkel; Godskesen, Jens Chr.; Haagensen, Bjørn; Hüttel, Hans
2
2009
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
Undecidable equivalences for basic parallel processes. Zbl 1167.68041
Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi
1
2009
A logical characterisation of static equivalence. Zbl 1316.68096
Hüttel, Hans; Pedersen, Michael D.
1
2007
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320
Hüttel, Hans; Srba, Jiří
1
2005
Deciding framed bisimilarity. Zbl 1270.68216
Hüttel, Hans
3
2003
Modal logics for cryptographic processes. Zbl 1270.03038
Frendrup, Ulrik; Hüttel, Hans; Jensen, Jesper Nyholm
4
2002
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Towards automatic bisimilarity checking in the spi calculus. Zbl 0960.68066
Elkjær, Anders Strandløv; Höhle, Michael; Hüttel, Hans; Overgård, Kasper
2
1999
Actions speak louder than words: Proving bisimilarity for context-free processes. Zbl 0904.68129
Hüttel, Hans; Stirling, Colin
10
1998
Bisimulation equivalence is decidable for all context-free processes. Zbl 0833.68074
Christensen, Søren; Hüttel, Hans; Stirling, Colin
25
1995
Undecidable equivalences for basic process algebra. Zbl 0834.68069
Groote, Jan Friso; Hüttel, Hans
14
1994
Undecidable equivalences for basic parallel processes. Zbl 0942.68635
Hüttel, Hans
7
1994
Decidability issues for infinite-state processes – a survey. Zbl 0783.68042
Christensen, Søren; Hüttel, Hans
5
1993
SnS can be modally characterized. Zbl 0701.68064
Hüttel, Hans
2
1990
The use of static constructs in a modal process logic. Zbl 0683.03014
Hüttel, Hans; Larsen, Kim G.
7
1989
all top 5

Cited by 114 Authors

5 Jančar, Petr
5 Kucera, Antonin
5 Mayr, Richard
4 Hüttel, Hans
4 Srba, Jiří
3 Larsen, Kim Guldstrand
3 Moller, Faron
3 Sangiorgi, Davide
3 Stirling, Colin
2 Aceto, Luca
2 Czerwiński, Wojciech
2 Esparza, Javier
2 Fröschle, Sibylle B.
2 Huynh, Dung T.
2 Johansen, Christian
2 Lasota, Sławomir
2 Nestmann, Uwe
2 Nielsen, Mogens
2 Tian, Lu
2 Yen, Hsu-Chun
1 Ahern, Alexander
1 Andersen, Jørgen H.
1 Aziz, Benjamin
1 Bodeveix, Jean-Paul
1 Borgström, Johannes
1 Bouyer, Patricia
1 Bradfield, Julian Charles
1 Brázdil, Tomáš
1 Briais, Sébastien
1 Bujtor, Ferenc
1 Caromel, Denis
1 Chadha, Rohit
1 Chen, Haiyan
1 Cheval, Vincent
1 Ciobâcă, Ştefan
1 Delaune, Stéphanie
1 Eriksson, Lars-Henrik
1 Fahrenberg, Uli
1 Fallah, Mehran S.
1 Fares, Elie
1 Fendrich, Sascha
1 Filali, Mamoun
1 Fokkink, Willem Jan
1 Forsberg Gutkovas, Ramūnas
1 Fu, Hongfei
1 Ghassemi, Fatemeh
1 Grabmayer, Clemens
1 Grigoraş, Gheorghe
1 Groote, Jan Friso
1 Hamilton, Geoff W.
1 Hemaspaandra, Edith
1 Hennicker, Rolf
1 Henrio, Ludovic
1 Hirschi, Lucca
1 Hirschkoff, Daniel
1 Hirshfeld, Yoram
1 Huang, Mingzhang
1 Ingólfsdóttir, Anna
1 Jian, Shi-Tsuen
1 Jurdziński, Marcin
1 Kaivola, Roope
1 Katoen, Joost-Pieter
1 Kiefer, Stefan
1 Kleist, Josva
1 Klop, Jan Willem
1 Knapp, Alexander
1 Kobayashi, Naoki
1 Kramer, Simon
1 Kremer, Steve
1 Křetínský, Mojmír
1 Kristoffersen, Kåre J.
1 Lanese, Ivan
1 Lao, Ta-Pang
1 Laroussinie, François
1 Long, Huan
1 Lucanu, Dorel
1 Luo, Lingyun
1 Luttenberger, Michael
1 Lüttgen, Gerald
1 Luttik, Bas
1 Madiot, Jean-Marie
1 Markey, Nicolas
1 Masopust, Tomáš
1 Merro, Massimo
1 Niedermann, Jesper
1 Normann, Håkon
1 Ouaknine, Joel O.
1 Owe, Olaf
1 Parrow, Joachim
1 Pedersen, Michael D.
1 Pérez, Jorge A.
1 Pous, Damien
1 Ravara, António
1 Řehák, Vojtěch
1 Resende, Pedro
1 Roşu, Grigore
1 Sattarzadeh, Behnam
1 Schmitt, Alan
1 Schnoor, Henning
1 Schnoor, Ilka
...and 14 more Authors

Citations by Year