We stand with Ukraine  

Lara Spendier

Affiliations:
  • Vienna University of Technology, Austria


According to our database1, Lara Spendier authored at least 8 papers between 2009 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Ori Lahav
,
Lara Spendier
,
Anna Zamansky
ACM Trans. Comput. Log., 2014

Tools for the Investigation of Substructural and Paraconsistent Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Lara Spendier
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Hypersequent and Labelled Calculi for Intermediate Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Paolo Maffezioli
,
Lara Spendier
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

VCWC: A Versioning Competition Workflow Compiler.
[BibTeX]
[DOI]
Günther Charwat
,
Giovambattista Ianni
,
Thomas Krennwallner
,
Martin Kronegger
,
Andreas Pfandler
,
Christoph Redl
,
Martin Schwengerer
,
Lara Katharina Spendier
,
Johannes Peter Wallner
,
Guohui Xiao
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.
[BibTeX]
[DOI]
Mario Alviano
,
Francesco Calimeri
,
Günther Charwat
,
Minh Dao-Tran
,
Carmine Dodaro
,
Giovambattista Ianni
,
Thomas Krennwallner
,
Martin Kronegger
,
Johannes Oetsch
,
Andreas Pfandler
,
Jörg Pührer
,
Christoph Redl
,
Francesco Ricca
,
Patrik Schneider
,
Martin Schwengerer
,
Lara Katharina Spendier
,
Johannes Peter Wallner
,
Guohui Xiao
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Automated Support for the Investigation of Paraconsistent and Other Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Ori Lahav
,
Lara Spendier
,
Anna Zamansky
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
Standard Completeness for Extensions of MTL: An Automated Approach.
[BibTeX]
[DOI]
Paolo Baldi
,
Agata Ciabattoni
,
Lara Spendier
Proceedings of the Logic, Language, Information and Computation, 2012

2009
Semantic SOS over Virtual Topic Maps.
[BibTeX]
[DOI]
Robert Barta
,
Thomas Bleier
,
Lara Spendier
S. Afr. Comput. J., 2009


  Loading...