Author of the publication

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.

, , , and . Fundam. Informaticae, 166 (4): 297-347 (2019)

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

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models., , , and . ASM, volume 5977 of Lecture Notes in Computer Science, page 396-397. Springer, (2010)Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements., , and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 275-289. Springer, (2010)Analysis of invariants for efficient bounded verification., , , and . ISSTA, page 25-36. ACM, (2010)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , and . Fundam. Informaticae, 166 (4): 297-347 (2019)Fork Algebras as a Sufficiently Rich Universal Institution., and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 235-247. Springer, (2006)Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 587-601. Springer, (2007)A Full Operational Semantics for Asynchronous Relational Networks., , , and . WADT, volume 9463 of Lecture Notes in Computer Science, page 131-150. Springer, (2014)A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules., , and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 6-21. Springer, (2015)Quality of Service Ranking by Quantifying Partial Compliance of Requirements., and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 181-189. Springer, (2020)Automated QoS-Aware Service Selection Based on Soft Constraints., , , and . WADT, volume 13710 of Lecture Notes in Computer Science, page 121-140. Springer, (2022)