TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E185 - Institut für Computersprachen
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen

17 Datensätze (2009 - 2017)


Zeitschriftenartikel


  1. Autor/in: Paolo Baldi, E185

    P. Baldi:
    "A note on standard completeness for some extensions of uninorm logic.";
    Soft Computing, 18 (2014), 8; S. 1463 - 1470.

  2. Autor/innen: Gabriel Ebner, E104; Stefan Hetzl, E104-2; Giselle Reis, E185; Martin Riener; Simon Peter Wolfsteiner, E104; Sebastian Zivota, E104-5

    G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota:
    "System Description: GAPT 2.0";
    Lecture Notes in Computer Science, 9706 (2016), S. 293 - 301.

    Zusätzliche Informationen

  3. Autor/innen: Alexander Leitsch, E192-05; David Cerna; Giselle Reis, E185

    A. Leitsch, D. Cerna, G. Reis et al.:
    "Ceres in intuitionistic logic";
    Annals of Pure and Applied Logic, 168 (2017), 10; S. 1783 - 1836.


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


  1. Autor/innen: Paolo Baldi, E185; Agata Ciabattoni, E192-05; Lara Spendier, E192-05

    P. Baldi, A. Ciabattoni, L. Spendier:
    "Standard completeness for extensions of MTL: an automated approach";
    Vortrag: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 03.09.2012 - 06.09.2012; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), S. 154 - 167.

  2. Autor/innen: Roland Lezuo, E185; Gergö Barany, E194-05; Andreas Krall, E194-05

    R Lezuo, G. Barany, A. Krall:
    "CASM: Implementing an Abstract State Machine based programming language";
    Vortrag: 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen, Deutschland; 02/2013; in: "Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium)", GI-Edition - Lecture Notes in Informatics (LNI), P-215 (2013), ISBN: 978-3-88579-609-1; S. 75 - 90.

    Zusätzliche Informationen

  3. Autor/innen: Roland Lezuo, E185; Ioan Dragan, E194-05; Gergö Barany, E194-05; Andreas Krall, E194-05
    Andere beteiligte Personen: Laura Kovacs, E194-05; Daniela Zaharie, Univ. of Timisoara

    R Lezuo, I. Dragan, G. Barany, A. Krall:
    "vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification";
    Vortrag: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), Timisoara; 21.09.2015 - 24.09.2015; in: "17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing", L. Kovacs, D. Zaharie (Hrg.); (2015), S. 167 - 174.

    Zusätzliche Informationen

  4. Autor/innen: Roland Lezuo, E185; Andreas Krall, E194-05

    R Lezuo, A. Krall:
    "A Unified Processor Model for Compiler Verification and Simulation Using ASM";
    Vortrag: ABZ'12, Pisa; 19.06.2012 - 21.06.2012; in: "Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z", (2012), S. 327 - 330.

    Zusätzliche Informationen

  5. Autor/innen: Roland Lezuo, E185; Andreas Krall, E194-05

    R Lezuo, A. Krall:
    "Using the CASM Language for Simulator Synthesis and Model Verification";
    Vortrag: RAPIDO'13, Berlin; 21.01.2013; in: "Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools", (2013), S. 6:1 - 6:8.

    Zusätzliche Informationen

  6. Autor/innen: Roland Lezuo, E185; Philipp Paulweber; Andreas Krall, E194-05

    R Lezuo, P. Paulweber, A. Krall:
    "CASM - Optimized Compilation of Abstract State Machines";
    Vortrag: LCTES '14: 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, Edinburgh, UK; 12.06.2014 - 13.06.2014; in: "LCTES '14 Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems", (2014), ISBN: 978-1-4503-2877-7; S. 13 - 22.

    Zusätzliche Informationen


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


  1. Autor/in: Paolo Baldi, E185

    P. Baldi:
    "A proof-theoretical approach to standard completeness";
    Vortrag: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 13.07.2014.

  2. Autor/in: Paolo Baldi, E185

    P. Baldi:
    "Density Elimination and Standard Completeness for extensions of UL and MTL";
    Vortrag: Prague Seminar on Substructural logic, Prag; 28.03.2014 - 29.03.2014.

  3. Autor/innen: Paolo Baldi, E185; Agata Ciabattoni, E192-05; Kazushige Terui

    P. Baldi, A. Ciabattoni, K. Terui et al.:
    "Standard completeness: proof-theoretical and algebraic approaches";
    Vortrag: 35th Linz Seminar of Fuzzy Set Theory, Linz; 18.02.2014 - 22.02.2014.

  4. Autor/in: David Cerna, E185

    D. Cerna:
    "Towards Powerful and Decidable Formalizations Through Schematic Representation";
    Vortrag: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 03.04.2013 - 04.04.2013.

  5. Autor/innen: Stefan Hetzl, E104-2; Giselle Reis, E185; Martin Riener; Simon Peter Wolfsteiner, E104; Sebastian Zivota, E104-5; Gabriel Ebner, E104

    S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner:
    "System Description: GAPT 2.0";
    Vortrag: International Joint Conference on Automated Reasoning, Coimbra, Portugal; 27.06.2016 - 02.07.2016.

    Zusätzliche Informationen


Dissertationen (eigene und begutachtete)


  1. Autor/in: Roland Lezuo, E185
    Andere beteiligte Personen: Andreas Krall, E194-05; Wolf Zimmermann

    R Lezuo:
    "Scalable Translation Validation Tools, Techniques and Framework";
    Betreuer/in(nen), Begutachter/in(nen): A. Krall, W. Zimmermann; Inst. für Computersprachen, 2014; Rigorosum: 04.06.2014.

    Zusätzliche Informationen


Diplom- und Master-Arbeiten (eigene und betreute)


  1. Autor/in: Patrick Bahr, E185
    Andere beteiligte Person: Bernhard Gramlich, E192-05

    P. Bahr:
    "Infinitary Rewriting - Theory and Applications";
    Betreuer/in(nen): B. Gramlich; Computersprachen, 2009; Abschlussprüfung: 24.09.2009.

  2. Autor/in: Sebastian Graczoll, E185
    Andere beteiligte Person: Bernhard Gramlich, E192-05

    S. Graczoll:
    "Extending VMTL by a More Flexible Control and New Methods";
    Betreuer/in(nen): B. Gramlich; Institut fuer Computersprachen, 2011; Abschlussprüfung: 22.11.2011.

    Zusätzliche Informationen