Hans Hüttel

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2842870	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hans Hüttel