Institut für Logic and Computation

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 


Results 1-20 of 414 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gottlob, Georg ; Koch, Christoph Xpath Query ProcessingPräsentation Presentation2003
2Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel ; Endres, Markus ; Mattei, Nicholas ; Pfandler, Andreas Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
3Konnov, Igor ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
4John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
5Oosterhuis Jacco - 2020 - Weight learning in LP MLN for collective...pdf.jpgOosterhuis, Jacco Weight learning in LP MLN for collective classificationThesis Hochschulschrift 2020
6Kordomatis, Iraklis ; Herzog, Christoph ; Fayzrakhmanov, Ruslan R. ; Krüpl-Sypien, Bernhard ; Holzinger, Wolfgang ; Baumgartner, Robert ; David, Camacho ; Moreno, D. Rodriguez ; Akerkar, Rajendra Web object identification for web automation and meta-searchKonferenzbeitrag Inproceedings 2013
7Gottlob, Georg ; Baumgartner, Robert ; Flesca, Sergio ; Herzog, Marcus ; Koch, Christoph Web information Extracton with Lixto: Visual Logic and Expressive PowerPräsentation Presentation2003
8Gottlob, Georg Web information Extraction with Lixto: Visual Logic and Expressive PowerPräsentation Presentation2003
9Gottlob, Georg Web Information Extraction On half-way to the Semantic WebPräsentation Presentation2002
10Baumgartner, Robert ; Froelich, Oliver ; Gottlob, Georg ; Harz, Patrick ; Herzog, Marcus ; Lehmann, Peter Web Data Extraction for Business Intelligence: the Lixto ApproachKonferenzbeitrag Inproceedings 2005
11Auer Andreas - 2022 - VT-KGNN A Valid Time Knowledge Graph Neural Network.pdf.jpgAuer, Andreas VT-KGNN: A Valid time knowledge graph neural networkThesis Hochschulschrift 2022
12Wallinger Markus - 2020 - Visualizing Set Data with the Metro Map Metaphor.pdf.jpgWallinger, Markus Visualizing set data with the metro map metaphorThesis Hochschulschrift 2020
13Guenther Henning - 2016 - Vienna Verification Tool IC3 for Parallel Software.pdf.jpgGünther, Henning ; Laarman, Alfons ; Weissenbacher, GeorgVienna Verification Tool: IC3 for Parallel SoftwareInproceedings Konferenzbeitrag 2016
14Durand Timothee - 2020 - Model Checking Automotive Software Components.pdf.jpgDurand, Timothée Verifying automotive software components using C model checkersThesis Hochschulschrift 2020
15Aminof Benjamin - 2015 - Verification of Asynchronous Mobile-Robots in...pdf.jpgAminof, Benjamin; Murano, Aniello ; Rubin, Sasha; Zuleger, FlorianVerification of Asynchronous Mobile-Robots in Partially-Known EnvironmentsInproceedings Konferenzbeitrag 2015
16Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
17Alhazov Artiom - 2019 - Variants of P systems with activation and blocking of...pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu Variants of P systems with activation and blocking of rulesArticle Artikel Sep-2019
18Kaufmann Thomas - 2019 - A Variable neighborhood search for the job sequencing...pdf.jpgKaufmann, Thomas A Variable neighborhood search for the job sequencing with one common and multiple secondary resources problemThesis Hochschulschrift 2019
19Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan ; Fink, Michael ; Lierler, Yuliya Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
20Eisenhofer Clemens - 2022 - User Propagators for Satisfiability Modulo Custom...pdf.jpgEisenhofer, Clemens User Propagators for Satisfiability Modulo Custom TheoriesThesis Hochschulschrift 2022