Marco Giunti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Representing \(n\)-ary relations in the semantic web Logic Journal of the IGPL	2022-06-16	Paper
Hide and new in the \(\pi\)-calculus	2021-04-27	Paper
Hide and new in the \(\pi\)-calculus (available as arXiv preprint)	2021-04-27	Paper
A real world semantics for deterministic dynamical systems with finitely many components	2020-02-13	Paper
For a dynamical approach to human computation Logic Journal of the IGPL	2019-01-08	Paper
Towards static deadlock resolution in the \(\pi\)-calculus Trustworthy Global Computing	2016-11-09	Paper
Linearity, session types and the pi calculus Mathematical Structures in Computer Science	2016-07-28	Paper
A representational approach to reduction in dynamical systems Erkenntnis	2015-01-26	Paper
Secure implementations of typed channel abstractions Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Algorithmic type checking for a pi-calculus with name matching and session types The Journal of Logic and Algebraic Programming	2014-02-25	Paper
A linear account of session types in the pi calculus CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1381680 (Why is no real title available?)	2000-01-02	Paper

Research outcomes over time

This page was built for person: Marco Giunti