( en | de | ru )

 

Disambiguation of "Morzenti, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
From Ambiguous Regular Expressions to Deterministic Parsing Automata.

, , , and . CIAA, volume 9223 of Lecture Notes in Computer Science, page 35-48. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Angelo Jotzoff

Angelo Jotzoff

Angelo Geissen

Angelo Schmandra

Angelo Brayner

 

Other publications of authors with the same name

A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem., , and . Inf. Process. Lett., 52 (1): 45-49 (1994)From Ambiguous Regular Expressions to Deterministic Parsing Automata., , , and . CIAA, volume 9223 of Lecture Notes in Computer Science, page 35-48. Springer, (2015)A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets., and . ICTL, volume 827 of Lecture Notes in Computer Science, page 365-381. Springer, (1994)Formal Languages and Compilation, Third Edition, , and . Texts in Computer Science Springer, (2019)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , and . Theor. Comput. Sci., (2016)On the Approximability of Some Maximum Spanning Tree Problems., , and . Theor. Comput. Sci., 181 (1): 107-118 (1997)From Formal Models to Formally Based Methods: An Industrial Experience., , , , and . ACM Trans. Softw. Eng. Methodol., 8 (1): 79-113 (1999)Constraint LTL satisfiability checking without automata., , , , , and . J. Appl. Log., 12 (4): 522-557 (2014)A multi-paradigm Petri net based approach to process description., , , and . ISPW, page 41-43. IEEE Computer Society, (1991)Providing Automated Support to Deductive Analysis of Time Critical Systems., , and . ESEC / SIGSOFT FSE, volume 1301 of Lecture Notes in Computer Science, page 211-226. Springer, (1997)