Authors: Anna Huber, Gregor Oemer, Nermina Malanovic, Karl Lohner, Laura Kovács, Willi Salvenmoser, Johannes Zschocke, Markus A. Keller, Florentine Marx
Superior Title: Frontiers in Microbiology, Vol 10 (2019)
Subject Terms: sphingolipids, glucosylceramide, lipidomics, Neurospora crassa, antimicrobial proteins, Penicillium chrysogenum, Microbiology, QR1-502
File Description: electronic resource
Authors: Péter Nagy, Laura Kovács, Gyöngyvér O. Sándor, Gábor Juhász
Superior Title: Disease Models & Mechanisms, Vol 9, Iss 5, Pp 501-512 (2016)
Subject Terms: Autophagy, Drosophila, Endocytosis, UVRAG, Medicine, Pathology, RB1-214
File Description: electronic resource
Authors: David Damestani, Laura Kovács, Martin Suda
Relation: info:eu-repo/grantAgreement/EC/H2020/649043/; https://zenodo.org/communities/ai4reason; https://zenodo.org/record/4543086; https://doi.org/10.1109/SYNASC49474.2019.00022; oai:zenodo.org:4543086
Authors: Bernd Finkbeiner, Laura Kovács
Resource Type: eBook.
Subjects: Computer science, Microprogramming, Computer networks, Computer simulation, Software engineering
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Authors: Johan Håstad, Andrei Krokhin, Dániel Marx, Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt, Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovacs, Rupak M. Majumda, Francois Boulier, Anne J. Shiu, Thomas Sturm, Andreas Weber, Nadia Creignou, Nicola Galesi, Oliver Kullmann, Heribert Vollmer, Erik Elmroth, Michael Factor, Ethan Miller, Margo Seltzer, Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2012/dagrep-v002-i011-complete.pdf.
Subject Terms: GmbH, Dagstuhl Publishing, Saarbrücken/Wadern
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.7008; http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2012/dagrep-v002-i011-complete.pdf
Availability: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2012/dagrep-v002-i011-complete.pdf
Authors: Laura Kovács, Tu Vienna, Andrei Voronkov
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.complang.tuwien.ac.at/lkovacs/pub/POPL12_Kovacs.pdf.
Subject Terms: Theory, Verification, Experimentation Program verification, theorem proving, interpolation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5252; http://www.complang.tuwien.ac.at/lkovacs/pub/POPL12_Kovacs.pdf
Authors: R. Von Hanxleden, N. Holsti, B. Lisper, N. Mohammad Islam, E. Ploedereder, W. Fellger, F. Krause, R. Wilhelm, H. Cassé, M. De Michiel, C. Rochange, B. Huber, L. Kovács, W. Puffitsch, M. Zolda, J. Zwirchmayr, D. Kästner, S. Wegener, R. Kirner, C. Olesen, A. Prantl, M. Schoeberl, J. Gustafsson, Mohammad Islam, A. Bonenfant, S. Bünte, Reinhard Von Hanxleden, Christian-albrechts-universität Zu Kiel, Niklas Holsti, Felix Krause, Reinhard Wilhelm, Universität Des Saarl, Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Sven Bünte, Benedikt Huber, Laura Kovács, Daniel Kästner, Simon Wegener, Absint Angew, Te Informatik, Raimund Kirner
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-kiel.de/uploads/tx_publication/tr_1215.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.1555; http://www.informatik.uni-kiel.de/uploads/tx_publication/tr_1215.pdf
Authors: Reinhard Von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm (eds, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Raimund Kirner, Laura Kovács, Felix Krause
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://homepages.feis.herts.ac.uk/~rk10aah/papers/rr-2011-WCET11_swcc2011_report.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.372.8148; http://homepages.feis.herts.ac.uk/~rk10aah/papers/rr-2011-WCET11_swcc2011_report.pdf
Authors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Resource Type: eBook.
Subjects: Machine theory, Software engineering, Computer engineering, Computer networks, Artificial intelligence, Computer science
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
Authors: Laura Kovács, Karl Meinke
Resource Type: eBook.
Subjects: Logic, Computer science
Categories: PHILOSOPHY / Logic, COMPUTERS / Computer Science
Authors: Laura Kovács, Andrei Voronkov
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/FASE09_KovVor.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.1650; http://mtc.epfl.ch/~likovacs/pub/FASE09_KovVor.pdf
Availability: http://mtc.epfl.ch/~likovacs/pub/FASE09_KovVor.pdf
Authors: Laura Kovács, Andrei Voronkov
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/CADE09_Kovacs_Voronkov.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.1085; http://mtc.epfl.ch/~likovacs/pub/CADE09_Kovacs_Voronkov.pdf
Authors: Laura Kovács
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/TACAS08Kovacs.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.2244; http://mtc.epfl.ch/~likovacs/pub/TACAS08Kovacs.pdf
Availability: http://mtc.epfl.ch/~likovacs/pub/TACAS08Kovacs.pdf
Authors: Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/LPAR08_Kovacs.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.1898; http://mtc.epfl.ch/~likovacs/pub/LPAR08_Kovacs.pdf
Availability: http://mtc.epfl.ch/~likovacs/pub/LPAR08_Kovacs.pdf
Authors: Laura Kovács
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/IJCAR08_Kovacs.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.1748; http://mtc.epfl.ch/~likovacs/pub/IJCAR08_Kovacs.pdf
Availability: http://mtc.epfl.ch/~likovacs/pub/IJCAR08_Kovacs.pdf
Authors: Laura Kovács
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://mtc.epfl.ch/~likovacs/pub/CSR08Kovacs.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.1286; http://mtc.epfl.ch/~likovacs/pub/CSR08Kovacs.pdf
Availability: http://mtc.epfl.ch/~likovacs/pub/CSR08Kovacs.pdf
Authors: Temur Kutsia, Mircea Marin (eds, B. Buchberger, R. Hemmecke, T. Jebelean, M. Kauers, T. Kutsia, F. Lichtenberger, P. Paule, H. Rolletschek, J. Schicho, C. Schneider, W. Schreiner, Bruno Buchberger, Madalina Erascu, Martin Giese, Tetsuo Ida, Yukiyoshi Kameyama, Laura Kovács, Mircea Marin, Yasuhiko Minamide, Koji Nakazawa, Florina Piroi, Masahiko Sato
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.9161; http://www.risc.uni-linz.ac.at/publications/download/risc_3121/Austria-Japan.pdf
Authors: In Theorema, Laura Kovács, Univ. -prof Dr, Andrei Voronkov
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.risc.uni-linz.ac.at/publications/download/risc_3274/ThesisKovacsSubmitted.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.5543; http://www.risc.uni-linz.ac.at/publications/download/risc_3274/ThesisKovacsSubmitted.pdf
Availability: http://www.risc.uni-linz.ac.at/publications/download/risc_3274/ThesisKovacsSubmitted.pdf
Authors: Laura Kovács, Nikolaj Popov, Tudor Jebelean
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.risc.jku.at/publications/download/risc_2975/popjeb.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.2915; http://www.risc.jku.at/publications/download/risc_2975/popjeb.pdf