Pierpaolo Degano

From MaRDI portal
Person:530215

Available identifiers

zbMath Open degano.pierpaoloWikidataQ102310320 ScholiaQ102310320MaRDI QIDQ530215

List of research outcomes

PublicationDate of PublicationType
Revealing the trajectories of KLAIM tuples, statically2024-02-23Paper
Process calculi for biological processes2023-11-30Paper
On relating some models for concurrency2022-11-02Paper
Security Issues in Service Composition2021-05-25Paper
Natural projection as partial model checking2020-11-02Paper
Security Metrics at Work on the Things in IoT Systems2020-07-20Paper
Robust declassification by incremental typing2020-03-03Paper
https://portal.mardi4nfdi.de/entity/Q52160802020-02-14Paper
Proved trees2019-12-04Paper
From natural projection to partial model checking and back2019-09-16Paper
Causality for mobile processes2019-01-10Paper
https://portal.mardi4nfdi.de/entity/Q53670432017-10-12Paper
Regular and context-free nominal traces2017-06-09Paper
Automata for Specifying and Orchestrating Service Contracts2017-04-11Paper
Model checking usage policies2016-07-27Paper
Automata for Analysing Service Contracts2016-06-09Paper
Relating two automata-based models of orchestration and choreography2016-04-20Paper
Last Mile’s Resources2016-03-23Paper
Debits and Credits in Petri Nets and Linear Logic2015-09-14Paper
Linguistic Mechanisms for Context-Aware Security2015-01-13Paper
Hard Life with Weak Binders2014-07-23Paper
https://portal.mardi4nfdi.de/entity/Q28495722013-09-20Paper
https://portal.mardi4nfdi.de/entity/Q28498532013-09-20Paper
Towards Nominal Context-Free Model-Checking2013-08-07Paper
Techniques for Security Checking2013-07-24Paper
Nominal Automata for Resource Usage Control2012-09-20Paper
Theoretical Computer Science2010-02-23Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems2010-02-05Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems2010-02-05Paper
Perspectives of System Informatics2010-01-05Paper
Secure Service Orchestration2009-10-22Paper
ν-Types for Effects and Freshness Analysis2009-08-20Paper
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols2009-01-27Paper
Synapses as stochastic concurrent systems2008-12-12Paper
Ugo Montanari in a Nutshell2008-06-19Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
Types and Effects for Resource Usage Analysis2007-09-07Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Theoretical Computer Science2006-11-01Paper
Foundations of Software Science and Computational Structures2005-11-10Paper
Weakening the perfect encryption assumption in Dolev-Yao adversaries2005-06-30Paper
Modelling biochemical pathways through enhanced \(\pi\)-calculus2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q48188602004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q44132022003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q44132472003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q47904112003-06-02Paper
Static analysis for the \(\pi\)-calculus with applications to security2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47790982002-11-24Paper
A causal semantics for CCS via rewriting logic2002-07-31Paper
Primitives for authentication in process algebras.2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q27665382002-07-08Paper
https://portal.mardi4nfdi.de/entity/Q45057012001-09-04Paper
Names of the \(\pi\)-calculus agents handled locally2000-12-12Paper
LR techniques for handling syntax errors2000-01-04Paper
Causality for debugging mobile agents1999-11-01Paper
Non-interleaving semantics for mobile processes1999-04-28Paper
https://portal.mardi4nfdi.de/entity/Q42229971999-01-07Paper
Axiomatizing the algebra of net computations and processes1995-11-19Paper
A causal operational semantics of action refinement1995-10-30Paper
https://portal.mardi4nfdi.de/entity/Q43276151995-04-09Paper
https://portal.mardi4nfdi.de/entity/Q42825831994-03-17Paper
Refinement of actions in event structures and causal trees1993-12-06Paper
Universal axioms for bisimulations1993-10-25Paper
https://portal.mardi4nfdi.de/entity/Q40352331993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q57504081991-01-01Paper
A partial ordering semantics for CCS1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33597541990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32101971989-01-01Paper
A normal form for restricted exponential functions1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47334271989-01-01Paper
A distributed operational semantics of CCS based on condition/event systems1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38215981988-01-01Paper
Concurrent histories: a basis for observing distributed systems1987-01-01Paper
Partial ordering models for concurrency can be defined operationally1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37749581987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36771551985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36819151985-01-01Paper
An Evaluation Based Theorem Prover1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36876961985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39579291982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38933601980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38965231979-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Pierpaolo Degano