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

Declarative Modeling for Building a Cloud Federation and Cloud Applications., , , , , and . CoRR, (2017)Software Components for Computer Algebra., and . ISSAC, page 62-69. ACM, (1998)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)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)Requirements for Standards in Knowledge Base Systems (Abstract).. DISCO, volume 429 of Lecture Notes in Computer Science, page 194. Springer, (1990)A Uniform and Integrated Description System., and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 12-21. Springer, (1987)Dependency Parsing with Second-Order Feature Maps and Annotated Semantic Information., and . Trends in Parsing Technology, Springer, (2010)Active Learning for Building a Corpus of Questions for Parsing., , , and . LREC, European Language Resources Association, (2010)