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
From Ambiguous Regular Expressions to Deterministic Parsing Automata	2015-09-23	Paper
BSP: A Parsing Tool for Ambiguous Regular Expressions	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Angelo Morzenti