Hans Hüttel

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A generic type system for higher-order \(\Psi\)-calculi	2024-10-08	Paper
Silence is golden: Branching bisimilarity is decidable for context-free processes	2024-04-29	Paper
A generic type system for higher-order \(\Psi\)-calculi	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384912	2021-12-17	Paper
Using session types for reasoning about boundedness in the \(\pi\)-calculus	2021-12-08	Paper
Behavioural types for memory and method safety in a core object-oriented language	2021-07-08	Paper
Using session types for reasoning about boundedness in the \(\pi\)-calculus	2020-12-16	Paper
Binary session types for psi-calculi	2016-12-21	Paper
Types for resources in \(\psi\)-calculi	2016-11-09	Paper
A logical characterisation of static equivalence	2015-07-10	Paper
Verification of correspondence assertions in a calculus for mobile ad hoc networks	2015-03-19	Paper
Decidable fragments of a higher order calculus with locations	2014-07-23	Paper
Type Inference for Correspondence Types	2014-07-22	Paper
Types for access control in a calculus of mobile resources	2013-12-06	Paper
Deciding framed bisimilarity	2013-08-16	Paper
Modal logics for cryptographic processes	2013-08-15	Paper
Type-based automated verification of authenticity in asymmetric cryptographic protocols	2011-10-07	Paper
Typed ψ-calculi	2011-09-02	Paper
Transitions and trees. An introduction to structural operational semantics.	2010-05-17	Paper
Undecidable equivalences for basic parallel processes	2009-07-15	Paper
Decidability issues for extended ping-pong protocols	2007-01-30	Paper
SOFSEM 2005: Theory and Practice of Computer Science	2005-12-07	Paper
Aliasing models for mobile objects	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4503956	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4490743	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222907	1998-12-21	Paper
Actions speak louder than words: proving bisimilarity for context-free processes	1998-09-27	Paper
Undecidable equivalences for basic process algebra	1995-02-16	Paper
SnS can be modally characterized	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732449	1989-01-01	Paper

Research outcomes over time

This page was built for person: Hans Hüttel