Eugenio Moggi

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 10

Top Topics

Probability Measures

High Robustness

Top Venues

Math. Struct. Comput. Sci.

Publications

Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. CoRR (2023)
Amin Farjudian, Eugenio Moggi
Robustness, Scott continuity, and computability. Math. Struct. Comput. Sci. 33 (6) (2023)
Amin Farjudian, Eugenio Moggi
Robustness, Scott Continuity, and Computability. CoRR (2022)
Eugenio Moggi, Walid Taha, Johan Thunberg
Sound Over-Approximation of Probabilities. Acta Cybern. 24 (3) (2020)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. ICTCS (2019)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. Models, Mindsets, Meta (2018)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747 (2018)
Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
A Semantic Account of Rigorous Simulation. Principles of Modeling (2018)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & Robust Reachability Analysis of Hybrid Systems. CoRR (2017)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Eugenio Moggi
Foreword ICTCS 2010 special issue. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Mauro Jaskelioff, Eugenio Moggi
Monad transformers as monoid transformers. Theor. Comput. Sci. 411 (51-52) (2010)
Eugenio Moggi
Monad Transformers as Monoid Transformers. ICTCS (2009)
Eugenio Moggi
Structuring Operational Semantics: Simplification and Computation. Electron. Notes Theor. Comput. Sci. 172 (2007)
Eugenio Moggi
Applied semantics: Selected topics. Theor. Comput. Sci. 342 (1) (2005)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14 (3) (2004)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
ML-Like Inference for Classifiers. ESOP (2004)
Davide Ancona, Eugenio Moggi
Program Generation and Components. FMCO (2004)
Eugenio Moggi, Amr Sabry
An abstract monadic semantics for value recursion. RAIRO Theor. Informatics Appl. 38 (4) (2004)
Davide Ancona, Eugenio Moggi
A Fresh Calculus for Name Management. GPCE (2004)
Eugenio Moggi, Sonia Fagorzi
A Monadic Multi-stage Metalanguage. FoSSaCS (2003)
Eugenio Moggi, Amr Sabry
An Abstract Monadic Semantics for Value Recursion. FICS (2003)
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
The Klaim Project: Theory and Practice. Global Computing (2003)
Cristiano Calcagno, Eugenio Moggi, Tim Sheard
Closed types for a safe imperative MetaML. J. Funct. Program. 13 (3) (2003)
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
Mixin Modules and Computational Effects. ICALP (2003)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Guardians for Ambient-based Monitoring. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
A Fully Abstract Model for the [pi]-calculus. Inf. Comput. 179 (1) (2002)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Global Types and Network Services. Electron. Notes Theor. Comput. Sci. 54 (2001)
Eugenio Moggi, Amr Sabry
Monadic encapsulation of effects: a revised approach (extended version). J. Funct. Program. 11 (6) (2001)
Matt Fairtlough, Michael Mendler, Eugenio Moggi
Special issue: Modalities in type theory. Math. Struct. Comput. Sci. 11 (4) (2001)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
MetaKlaim: Meta-programming for Global Computing. SAIG (2001)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Higher-Order Types and Meta-Programming for Global Computing. Electron. Notes Theor. Comput. Sci. 62 (2001)
Cristiano Calcagno, Eugenio Moggi
Multi-Stage Imperative Languages: A Conservative Extension Result. SAIG (2000)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP (2000)
Nick Benton, John Hughes, Eugenio Moggi
Monads and Effects. APPSEM (2000)
Eugenio Moggi, Fabrizio Palumbo
Monadic Encapsulation of Effects: a Revised Approach. Electron. Notes Theor. Comput. Sci. 26 (1999)
Eugenio Moggi, Gianna Bellè, C. Barry Jay
Monads, shapely functors, and traversals. CTCS (1999)
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
An Idealized MetaML: Simpler, and More Expressive. ESOP (1999)
C. Barry Jay, Gianna Bellè, Eugenio Moggi
Functorial ML. J. Funct. Program. 8 (6) (1998)
Eugenio Moggi
Functor Categories and Two-Level Languages. FoSSaCS (1998)
Eugenio Moggi
A categorical account of two-level languages. MFPS (1997)
Gianna Bellè, Eugenio Moggi
Typed Intermediate Languages for Shape Analysis. TLCA (1997)
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). LICS (1996)
Gianna Bellè, C. Barry Jay, Eugenio Moggi
Functorial ML. PLILP (1996)
J. M. E. Hyland, Eugenio Moggi
The S-Replete Constuction. Category Theory and Computer Science (1995)
Eugenio Moggi
A Semantics for Evaluation Logic. Fundam. Informaticae 22 (1/2) (1995)
Eugenio Moggi
A General Semantics for Evaluation Logic LICS (1994)
John C. Mitchell, Eugenio Moggi
Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Log. 51 (1-2) (1991)
Bart Jacobs, Eugenio Moggi, Thomas Streicher
Relating Models of Impredicative Type Theories. Category Theory and Computer Science (1991)
Eugenio Moggi
A Cateogry-Theoretic Account of Program Modules. Math. Struct. Comput. Sci. 1 (1) (1991)
Giuseppe Longo, Eugenio Moggi
Constructive Natural Deduction and its 'Omega-Set' Interpretation. Math. Struct. Comput. Sci. 1 (2) (1991)
Eugenio Moggi
A Modular Approach to Denotational Semantics. Category Theory and Computer Science (1991)
Eugenio Moggi
Notions of Computation and Monads Inf. Comput. 93 (1) (1991)
Robert Harper, John C. Mitchell, Eugenio Moggi
Higher-Order Modules and the Phase Distinction. POPL (1990)
Giuseppe Longo, Eugenio Moggi
A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. 70 (2) (1990)
Eugenio Moggi
A Category-theoretic Account of Program Modules. Category Theory and Computer Science (1989)
Eugenio Moggi
Computational Lambda-Calculus and Monads LICS (1989)
Eugenio Moggi
Partial Morphisms in Categories of Effective Objects Inf. Comput. 76 (2/3) (1988)
Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
Empty Types in Polymorphic Lambda Calculus. POPL (1987)
John C. Mitchell, Eugenio Moggi
Kripke-Style models for typed lambda calculus LICS (1987)
Eugenio Moggi
- Calculus. CTCS (1985)
Giuseppe Longo, Eugenio Moggi
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS (1984)
Giuseppe Longo, Eugenio Moggi
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. 49 (4) (1984)
Giuseppe Longo, Eugenio Moggi
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types (1984)