Author of the publication

Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.

. Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 806-808. Springer, (2008)

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.

 

Other publications of authors with the same name

Extended Transition Systems for Parametric Bisimulation., , and . ICALP, volume 700 of Lecture Notes in Computer Science, page 558-569. Springer, (1993)Efficient Minimization up to Location Equivalence., , and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 265-279. Springer, (1996)Optimality in Abstractions of Model Checking, , and . SAS, volume 983 of Lecture Notes in Computer Science, page 51-63. Springer, (1995)Yeast: A Case Study for a Practical Use of Formal Methods., , and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 105-120. Springer, (1993)Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio., , , and . CoRR, (2016)Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.. Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 806-808. Springer, (2008)A Parametric Approach to Localities., and . ICALP, volume 623 of Lecture Notes in Computer Science, page 617-628. Springer, (1992)Quality Mining: A Data Mining Based Method for Data Quality Evaluation., and . IQ, page 162-172. MIT, (2001)An Algebraic View of Interleaving and Distributed Operational Semantics for CCS., and . Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 5-20. Springer, (1989)A Homogeneous Framework to Measure Data Quality., , and . IQ, page 115-124. MIT, (1999)