Följ
Hans Hüttel
Hans Hüttel
Associate Professor, Aalborg University
Verifierad e-postadress på cs.aau.dk
Titel
Citeras av
Citeras av
År
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
2972016
Bisimulation equivalence is decidable for all context-free processes
S Christensen, H Huttel, C Stirling
Information and Computation 121 (2), 143-148, 1995
1401995
Bisimulation equivalence is decidable for all context-free processes
S Christensen, H Hüttel, C Stirling
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1201992
Actions speak louder than words: Proving bisimilarity for context-free processes
H Huttel, C Stirling
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
116*1991
Undecidable equivalences for basic process algebra
JF Groote, H Huttel
Information and Computation 115 (2), 354-371, 1994
1141994
The use of static constructs in a model process logic
H Hüttel, KG Larsen
International Symposium on Logical Foundations of Computer Science, 163-180, 1989
821989
Undecidable equivalences for basic parallel processes
H Hüttel
International Symposium on Theoretical Aspects of Computer Software, 454-464, 1994
80*1994
Deciding framed bisimilarity
H Hüttel
Electronic Notes in Theoretical Computer Science 68 (6), 1-18, 2003
632003
If PBL is the answer, then what is the problem?
H Hüttel, D Gnaur
Journal of Problem Based Learning in Higher Education 5 (2), 2017
392017
Transitions and trees: an introduction to structural operational semantics
H Hüttel
Cambridge University Press, 2010
332010
Bisimulations for asynchronous mobile processes
M Hansen, H Hüttel, J Kleist
BRICS Report Series 3 (8), 1996
331996
Silence is golden: Branching bisimilarity is decidable for context-free processes
H Hüttel
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
301992
Decidability, behavioural equivalences and infinite transition graphs
H Hüttel
University of Edinburgh. College of Science and Engineering. School of …, 1991
301991
Recursion versus replication in simple cryptographic protocols
H Hüttel, J Srba
SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on …, 2005
232005
Towards automatic bisimilarity checking in the spi calculus
AS Elkjær, M Höhle, H Hüttel, K Overgård
Combinatorics, Computation & Logic 21 (3), 175-189, 1999
231999
Typed ψ-calculi
H Hüttel
International Conference on Concurrency Theory, 265-279, 2011
212011
Modal logics for cryptographic processes
U Frendrup, H Hüttel, JN Jensen
Electronic Notes in Theoretical Computer Science 68 (2), 124-141, 2002
202002
Deciding framed bisimilarity
H Huttel
Proceedings of INFINITY 68, 2002
202002
Decidability issues for infinite-state processes- a survey
S Christensen, H Hüttel
Bulletin of the EATCS 51, 155-167, 1993
201993
Objects as mobile processes
H Hüttel, J Kleist
BRICS, Department of Computer Science, Univ., 1996
181996
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20