Eugenio Moggi - RankMe

72 papers A* 8A 2B 5C 2Journal 26Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Categories for collection monads. Math. Struct. Comput. Sci. Eugenio Moggi
2025	—	`conf`	Realizability Models and Complexity Classes. ICTCS Eugenio Moggi
2025	J	`jnl`	Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales. CoRR Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023	C	`conf`	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023	J	`jnl`	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. CoRR Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023	J	`jnl`	Robustness, Scott continuity, and computability. Math. Struct. Comput. Sci. Amin Farjudian, Eugenio Moggi
2022	J	`jnl`	Robustness, Scott Continuity, and Computability. CoRR Amin Farjudian, Eugenio Moggi
2020	J	`jnl`	Sound Over-Approximation of Probabilities. Acta Cybern. Eugenio Moggi, Walid Taha, Johan Thunberg
2019	—	`conf`	System Analysis and Robustness. ICTCS Eugenio Moggi, Amin Farjudian, Walid Taha
2018	—	`conf`	A Semantic Account of Rigorous Simulation. Principles of Modeling Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
2018	J	`jnl`	Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2018	—	`conf`	System Analysis and Robustness. Models, Mindsets, Meta Eugenio Moggi, Amin Farjudian, Walid Taha
2017	J	`jnl`	Safe & Robust Reachability Analysis of Hybrid Systems. CoRR Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2015	—	`conf`	Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) 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
2012	J	`jnl`	Foreword ICTCS 2010 special issue. RAIRO Theor. Informatics Appl. Eugenio Moggi
2010	J	`jnl`	Monad transformers as monoid transformers. Theor. Comput. Sci. Mauro Jaskelioff, Eugenio Moggi
2009	—	`conf`	Monad Transformers as Monoid Transformers. ICTCS Eugenio Moggi
2007	—	`conf`	Structuring Operational Semantics: Simplification and Computation. Computation, Meaning, and Logic Eugenio Moggi
2007	—	`ed.`	Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings ICTCS Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
2005	J	`jnl`	Applied semantics: Selected topics. Theor. Comput. Sci. Eugenio Moggi
2004	B	`conf`	A Fresh Calculus for Name Management. GPCE Davide Ancona, Eugenio Moggi
2004	J	`jnl`	An abstract monadic semantics for value recursion. RAIRO Theor. Informatics Appl. Eugenio Moggi, Amr Sabry
2004	A	`conf`	ML-Like Inference for Classifiers. ESOP Cristiano Calcagno, Eugenio Moggi, Walid Taha
2004	J	`jnl`	MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2004	C	`ed.`	Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy PPDP Eugenio Moggi, David Scott Warren
2004	—	`conf`	Program Generation and Components. FMCO Davide Ancona, Eugenio Moggi
2003	B	`conf`	A Monadic Multi-stage Metalanguage. FoSSaCS Eugenio Moggi, Sonia Fagorzi
2003	—	`conf`	An Abstract Monadic Semantics for Value Recursion. FICS Eugenio Moggi, Amr Sabry
2003	J	`jnl`	Closed types for a safe imperative MetaML. J. Funct. Program. Cristiano Calcagno, Eugenio Moggi, Tim Sheard
2003	A*	`conf`	Mixin Modules and Computational Effects. ICALP Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
2003	—	`conf`	The Klaim Project: Theory and Practice. Global Computing Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002	J	`jnl`	A Fully Abstract Model for the [pi]-calculus. Inf. Comput. Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
2002	—	`conf`	Guardians for Ambient-based Monitoring. F-WAN@ICALP Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	—	`conf`	Global Types and Network Services. ConCoord Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	—	`conf`	Higher-Order Types and Meta-Programming for Global Computing. TOSCA Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	—	`conf`	MetaKlaim: Meta-programming for Global Computing. SAIG Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	J	`jnl`	Monadic encapsulation of effects: a revised approach (extended version). J. Funct. Program. Eugenio Moggi, Amr Sabry
2001	J	`jnl`	Special issue: Modalities in type theory. Math. Struct. Comput. Sci. Matt Fairtlough, Michael Mendler, Eugenio Moggi
2000	A*	`conf`	Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP Cristiano Calcagno, Eugenio Moggi, Walid Taha
2000	—	`conf`	Monads and Effects. APPSEM Nick Benton, John Hughes, Eugenio Moggi
2000	—	`conf`	Multi-Stage Imperative Languages: A Conservative Extension Result. SAIG Cristiano Calcagno, Eugenio Moggi
1999	A	`conf`	An Idealized MetaML: Simpler, and More Expressive. ESOP Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
1999	—	`conf`	Monadic Encapsulation of Effects: a Revised Approach. HOOTS Eugenio Moggi, Fabrizio Palumbo
1999	—	`conf`	Monads, shapely functors, and traversals. CTCS Eugenio Moggi, Gianna Bellè, C. Barry Jay
1998	B	`conf`	Functor Categories and Two-Level Languages. FoSSaCS Eugenio Moggi
1998	J	`jnl`	Functorial ML. J. Funct. Program. C. Barry Jay, Gianna Bellè, Eugenio Moggi
1997	B	`conf`	A categorical account of two-level languages. MFPS Eugenio Moggi
1997	—	`ed.`	Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings CTCS Eugenio Moggi, Giuseppe Rosolini
1997	—	`conf`	Typed Intermediate Languages for Shape Analysis. TLCA Gianna Bellè, Eugenio Moggi
1996	A*	`conf`	A Fully-Abstract Model for the pi-Calculus (Extended Abstract). LICS Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
1996	—	`conf`	Functorial ML. PLILP Gianna Bellè, C. Barry Jay, Eugenio Moggi
1995	J	`jnl`	A Semantics for Evaluation Logic. Fundam. Informaticae Eugenio Moggi
1995	—	`conf`	The S-Replete Constuction. Category Theory and Computer Science J. M. E. Hyland, Eugenio Moggi
1994	A*	`conf`	A General Semantics for Evaluation Logic LICS Eugenio Moggi
1991	J	`jnl`	A Cateogry-Theoretic Account of Program Modules. Math. Struct. Comput. Sci. Eugenio Moggi
1991	—	`conf`	A Modular Approach to Denotational Semantics. Category Theory and Computer Science Eugenio Moggi
1991	J	`jnl`	Constructive Natural Deduction and its 'Omega-Set' Interpretation. Math. Struct. Comput. Sci. Giuseppe Longo, Eugenio Moggi
1991	J	`jnl`	Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Log. John C. Mitchell, Eugenio Moggi
1991	J	`jnl`	Notions of Computation and Monads Inf. Comput. Eugenio Moggi
1991	—	`conf`	Relating Models of Impredicative Type Theories. Category Theory and Computer Science Bart Jacobs, Eugenio Moggi, Thomas Streicher
1990	J	`jnl`	A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. Giuseppe Longo, Eugenio Moggi
1990	A*	`conf`	Higher-Order Modules and the Phase Distinction. POPL Robert Harper, John C. Mitchell, Eugenio Moggi
1989	—	`conf`	A Category-theoretic Account of Program Modules. Category Theory and Computer Science Eugenio Moggi
1989	A*	`conf`	Computational Lambda-Calculus and Monads LICS Eugenio Moggi
1988	J	`jnl`	Partial Morphisms in Categories of Effective Objects Inf. Comput. Eugenio Moggi
1988	—	`—`	Te partial lamdba calculus Eugenio Moggi
1987	A*	`conf`	Empty Types in Polymorphic Lambda Calculus. POPL Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
1987	A*	`conf`	Kripke-Style models for typed lambda calculus LICS John C. Mitchell, Eugenio Moggi
1985	—	`conf`	Categories of Partial Morphisms and the lambda CTCS Eugenio Moggi
1984	—	`conf`	Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types Giuseppe Longo, Eugenio Moggi
1984	B	`conf`	Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS Giuseppe Longo, Eugenio Moggi
1984	J	`jnl`	The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. Giuseppe Longo, Eugenio Moggi