Author of the publication

Specifying and Proving Properties of Guardians for Distributed Systems.

, , and . Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 316-336. Springer, (1979)

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

Software Components for Computer Algebra., and . ISSAC, page 62-69. ACM, (1998)Performance Tuning in a Customizable Collector, , and . IWMM, volume 986 of Lecture Notes in Computer Science, page 179-196. Springer, (1995)Effiecient Compilation of First Order Predicates., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 440-444. Springer, (1991)The Tanl Tagger for Named Entity Recognition on Transcribed Broadcast News at Evalita 2011., , , and . EVALITA, volume 7689 of Lecture Notes in Computer Science, page 116-125. Springer, (2011)UNIPI Participation in the Evalita 2011 Anaphora Resolution Task., , and . EVALITA, volume 7689 of Lecture Notes in Computer Science, page 156-165. Springer, (2011)Active Learning for Building a Corpus of Questions for Parsing., , , and . LREC, European Language Resources Association, (2010)Requirements for Standards in Knowledge Base Systems (Abstract).. DISCO, volume 429 of Lecture Notes in Computer Science, page 194. Springer, (1990)Dependency Parsing with Second-Order Feature Maps and Annotated Semantic Information., and . Trends in Parsing Technology, Springer, (2010)A Uniform and Integrated Description System., and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 12-21. Springer, (1987)Declarative Modeling for Building a Cloud Federation and Cloud Applications., , , , , and . CoRR, (2017)