Hans Hüttel

Available identifiers

zbMath Open huttel.hansMaRDI QIDQ861693

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
https://portal.mardi4nfdi.de/entity/Q6150431	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384912	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5014801	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	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