Christian Schallhart

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 5

Top Topics

Regular Languages

Event Extraction

Top Venues

WWW (Companion Volume)

Publications

Alexander Erdmann, Tom Kenter, Markus Becker, Christian Schallhart
Frugal Paradigm Completion. ACL (2020)
Sandy Ritchie, Eoin Mahon, Kim Heiligenstein, Nikos Bampounis, Daan van Esch, Christian Schallhart, Jonas Fromseier Mortensen, Benoît Brard
Data-Driven Parametric Text Normalization: Rapidly Scaling Finite-State Transduction Verbalizers to New Languages. SLTU/CCURL@LREC (2020)
Sandy Ritchie, Richard Sproat, Kyle Gorman, Daan van Esch, Christian Schallhart, Nikos Bampounis, Benoît Brard, Jonas Fromseier Mortensen, Millie Holt, Eoin Mahon
Unified Verbalization for Speech Recognition & Synthesis Across Languages. INTERSPEECH (2019)
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, Michael Schrefl
PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events. ACM Trans. Web 10 (3) (2016)
Tim Furche, Jinsong Guo, Sebastian Maneth, Christian Schallhart
Robust and Noise Resistant Wrapper Induction. SIGMOD Conference (2016)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605 (2015)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Compilation for Secure Two-Party Computations. Software Engineering & Management (2015)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC (2014)
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart, Cheng Wang
DIADEM: Thousands of Websites to a Single Database. Proc. VLDB Endow. 7 (14) (2014)
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, Michael Schrefl
Bitemporal Complex Event Processing of Web Event Advertisements. WISE (2) (2013)
Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
OXPath: A language for scalable data extraction, automation, and crawling on the deep web. VLDB J. 22 (1) (2013)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22 (2) (2013)
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, Michael Schrefl
PeaCE-Ful Web Event Extraction and Processing. WISE (2) (2013)
Giovanni Grasso, Tim Furche, Christian Schallhart
Effective web scraping with OXPath. WWW (Companion Volume) (2013)
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
The ontological key: automatically understanding and integrating forms to access the deep Web. VLDB J. 22 (5) (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages CoRR (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS (2013)
Xiaonan Guo, Jochen Kranzdorf, Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart
OPAL: a passe-partout for web forms. WWW (Companion Volume) (2012)
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proving Reachability Using FShell - (Competition Contribution). TACAS (2012)
Tim Furche, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers, Antonino Rullo
Think before you Act! Minimising Action Execution in Wrappers. VLDS (2012)
Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang
Automatically learning gazetteers from the deep web. WWW (Companion Volume) (2012)
Tim Furche, Giovanni Grasso, Andrey Kravchenko, Christian Schallhart
Turn the Page: Automated Traversal of Paginated Websites. ICWE (2012)
Tim Furche, Georg Gottlob, Christian Schallhart
DIADEM: Domains to Databases. DEXA (1) (2012)
Jens Lehmann, Tim Furche, Giovanni Grasso, Axel-Cyrille Ngonga Ngomo, Christian Schallhart, Andrew Jon Sellers, Christina Unger, Lorenz Bühmann, Daniel Gerber, Konrad Höffner, David Liu, Sören Auer
deqa: Deep Web Extraction for Question Answering. ISWC (2) (2012)
Ömer Farukhan Günes, Tim Furche, Christian Schallhart, Jens Lehmann, Axel-Cyrille Ngonga Ngomo
EAGER: Extending Automatically Gazetteers for Entity Recognition. PWNLP@ACL (2012)
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
OPAL: automated form understanding for the deep web. WWW (2012)
Jochen Kranzdorf, Andrew Jon Sellers, Giovanni Grasso, Christian Schallhart, Tim Furche
Visual oXPath: robust wrapping by example. WWW (Companion Volume) (2012)
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web CoRR (2012)
Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang
AMBER: Automatic Supervision for Multi-Attribute Extraction CoRR (2012)
Tim Furche, Georg Gottlob, Giovanni Grasso, Omer Gunes, Xiaonan Guo, Andrey Kravchenko, Giorgio Orsi, Christian Schallhart, Andrew Jon Sellers, Cheng Wang
DIADEM: domain-centric, intelligent, automated data extraction methodology. WWW (Companion Volume) (2012)
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
Real understanding of real estate forms. WIMS (2011)
Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart
OXPath: little language, little memory, great value. WWW (Companion Volume) (2011)
Tim Furche, Georg Gottlob, Xiaonan Guo, Christian Schallhart, Andrew Jon Sellers, Cheng Wang
How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction. ICWE (2011)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Seamless Testing for Models and Code. FASE (2011)
Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. Proc. VLDB Endow. 4 (11) (2011)
Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
Exploring the web with OXPath. EDBT/ICDT Workshop on Linked Web Data Management (2011)
Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang
Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. RR (2011)
Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart
Taking the OXPath down the deep web. EDBT (2011)
Andreas Bauer, Martin Leucker, Christian Schallhart
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. 7 (4) (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
How did you specify your test suite. ASE (2010)
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
An Introduction to Test Specification in FQL. Haifa Verification Conference (2010)
Andreas Bauer, Martin Leucker, Christian Schallhart
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20 (3) (2010)
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. ISoLA (1) (2010)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. 10 (1) (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Query-Driven Program Testing. VMCAI (2009)
Martin Leucker, Christian Schallhart
A brief account of runtime verification. J. Log. Algebraic Methods Program. 78 (5) (2009)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV (2008)
Wei Dong, Martin Leucker, Christian Schallhart
Impartial Anticipation in Runtime-Verification. ATVA (2008)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA (2007)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptol. ePrint Arch. 2007 (2007)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries CoRR (2007)
Andreas Bauer, Martin Leucker, Christian Schallhart
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries. CAV (2007)
Andreas Bauer, Martin Leucker, Christian Schallhart
Monitoring of Real-Time Properties. FSTTCS (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Model-based runtime analysis of distributed reactive systems. ASWEC (2006)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Detecting Malicious Code by Model Checking. DIMVA (2005)
Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR (2005)
Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Malware Engineering. Sicherheit (2005)
Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Ensuring Media Integrity on Third-Party Infrastructures. SEC (2005)
Christian Schallhart, Luca Trevisan
Approximating Succinct MaxSat. J. Log. Comput. 15 (4) (2005)
Markus Holzer, Stefan Katzenbeisser, Christian Schallhart
Towards Formal Semantics for ODRL. ODRL Workshop (2004)
Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Provably Secure Authentication of Digital Media Through Invertible Watermarks. IACR Cryptol. ePrint Arch. 2004 (2004)
Axel Belinfante, Lars Frantzen, Christian Schallhart
Tools for Test Case Generation. Model-Based Testing of Reactive Systems (2004)