PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pulina, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Property specification patterns at work: verification and inconsistency explanation.

, , , and . ISSE, 15 (3-4): 307-323 (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.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

 

Other publications of authors with the same name

Engineering Approaches and Methods to Verify Software in Autonomous Systems., , , , , , and . IAS, volume 302 of Advances in Intelligent Systems and Computing, page 1683-1700. Springer, (2014)The Multi-engine ASP Solver ME-ASP: Progress Report., , and . CoRR, (2014)ARKIVO: an Ontology for Describing Archival Resources., , and . CILC, volume 2214 of CEUR Workshop Proceedings, page 112-116. CEUR-WS.org, (2018)An Empirical Perspective on Ten Years of QBF Solving., , , , and . RCRA@AI*IA, volume 1451 of CEUR Workshop Proceedings, page 62-75. CEUR-WS.org, (2015)An Ontology-Based Archive for Historical Research., , , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Understanding Critical Factors in Appearance-Based Gender Categorization., , , and . ECCV Workshops (2), volume 7584 of Lecture Notes in Computer Science, page 280-289. Springer, (2012)An Ontology for Historical Research Documents., , , and . RR, volume 9209 of Lecture Notes in Computer Science, page 11-18. Springer, (2015)The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)., and . Artif. Intell., (2019)A Multi-Engine Approach to Answer Set Programming., , and . CoRR, (2013)Efficient DTPP solving with a reduction-based approach., and . Intelligenza Artificiale, 8 (1): 101-111 (2014)