Christian Schallhart

67 papers A* 5A 2B 9C 1Misc 1Journal 21Unranked 27

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