Angelo Morzenti

Available identifiers

zbMath Open morzenti.angeloMaRDI QIDQ383725

List of research outcomes

Publication	Date of Publication	Type
On the approximability of some maximum spanning tree problems	2022-08-16	Paper
A deterministic parsing algorithm for ambiguous regular expressions	2021-06-23	Paper
A benchmark production tool for regular expressions	2020-05-06	Paper
Fast deterministic parsers for transition networks	2018-10-09	Paper
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications	2016-08-01	Paper
BSP: A Parsing Tool for Ambiguous Regular Expressions	2015-09-23	Paper
From Ambiguous Regular Expressions to Deterministic Parsing Automata	2015-09-23	Paper
Complexity of Extended vs. Classic LR Parsers	2014-08-07	Paper
Shift-Reduce Parsers for Transition Networks	2014-03-31	Paper
Formal languages and compilation	2013-12-05	Paper
Modeling time in computing.	2012-10-11	Paper
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time	2009-01-27	Paper
Model Checking Temporal Metric Specifications with Trio2Promela	2008-07-01	Paper
Automated compositional proofs for real-time systems	2007-05-23	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
Dealing with zero-time transitions in axiom systems.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4518434	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4217594	1998-11-11	Paper
A theory of implementation and refinement in timed Petri nets	1998-08-13	Paper
On the approximability of some Maximum Spanning Tree Problems	1998-07-22	Paper
A short note on the approximability of the maximum leaves spanning tree problem	1996-02-26	Paper

Research outcomes over time

This page was built for person: Angelo Morzenti