default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Schallhart
Person information
- affiliation: Oxford University, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
[j14]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): 16:1-16:47 (2016)- 2015
- [j13]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605: 62-79 (2015) - 2014
- [j12]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): 1845-1856 (2014) - 2013
- [j11]Sagar Chaki, Christian Schallhart, Helmut Veith:
Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22(2): 15:1-15:12 (2013) - [j10]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): 47-72 (2013) - [j9]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): 615-640 (2013) - 2011
- [j8]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): 1016-1027 (2011) - [j7]Andreas Bauer, Martin Leucker, Christian Schallhart:
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011) - 2010
- [j6]Andreas Bauer, Martin Leucker, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010) - [j5]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): 23-37 (2010) - [j4]Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. 7(4): 424-438 (2010) - [j3]Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney:
Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. 10(1): 2:1-2:24 (2010) - 2009
- [j2]Martin Leucker, Christian Schallhart:
A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5): 293-303 (2009) - 2005
- [j1]Christian Schallhart, Luca Trevisan:
Approximating Succinct MaxSat. J. Log. Comput. 15(4): 551-557 (2005)
Conference and Workshop Papers
- 2020
- [c45]Alexander Erdmann, Tom Kenter, Markus Becker, Christian Schallhart:
Frugal Paradigm Completion. ACL 2020: 8248-8273 - [c44]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: 218-225 - 2019
- [c43]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: 3530-3534 - 2016
- [c42]Tim Furche, Jinsong Guo, Sebastian Maneth, Christian Schallhart:
Robust and Noise Resistant Wrapper Induction. SIGMOD Conference 2016: 773-784 - 2015
- [c41]Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Compilation for Secure Two-Party Computations. Software Engineering & Management 2015: 143-145 - 2014
- [c40]Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC 2014: 244-249 - 2013
- [c39]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS 2013: 377-388 - [c38]Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, Michael Schrefl:
Bitemporal Complex Event Processing of Web Event Advertisements. WISE (2) 2013: 333-346 - [c37]Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, Michael Schrefl:
PeaCE-Ful Web Event Extraction and Processing. WISE (2) 2013: 523-526 - [c36]Giovanni Grasso, Tim Furche, Christian Schallhart:
Effective web scraping with OXPath. WWW (Companion Volume) 2013: 23-26 - 2012
- [c35]Ömer Farukhan Günes, Tim Furche, Christian Schallhart, Jens Lehmann, Axel-Cyrille Ngonga Ngomo:
EAGER: Extending Automatically Gazetteers for Entity Recognition. PWNLP@ACL 2012: 29-33 - [c34]Tim Furche, Georg Gottlob, Christian Schallhart:
DIADEM: Domains to Databases. DEXA (1) 2012: 1-8 - [c33]Tim Furche, Giovanni Grasso, Andrey Kravchenko, Christian Schallhart:
Turn the Page: Automated Traversal of Paginated Websites. ICWE 2012: 332-346 - [c32]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: 131-147 - [c31]Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541 - [c30]Tim Furche, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers, Antonino Rullo:
Think before you Act! Minimising Action Execution in Wrappers. VLDS 2012: 29-34 - [c29]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: 267-270 - [c28]Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang:
Automatically learning gazetteers from the deep web. WWW (Companion Volume) 2012: 341-344 - [c27]Xiaonan Guo, Jochen Kranzdorf, Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart:
OPAL: a passe-partout for web forms. WWW (Companion Volume) 2012: 353-356 - [c26]Jochen Kranzdorf, Andrew Jon Sellers, Giovanni Grasso, Christian Schallhart, Tim Furche:
Visual oXPath: robust wrapping by example. WWW (Companion Volume) 2012: 369-372 - [c25]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart:
OPAL: automated form understanding for the deep web. WWW 2012: 829-838 - 2011
- [c24]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: 28-29 - [c23]Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart:
Taking the OXPath down the deep web. EDBT 2011: 542-545 - [c22]Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Seamless Testing for Models and Code. FASE 2011: 278-293 - [c21]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: 13-27 - [c20]Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang:
Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. RR 2011: 61-76 - [c19]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart:
Real understanding of real estate forms. WIMS 2011: 13 - [c18]Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart:
OXPath: little language, little memory, great value. WWW (Companion Volume) 2011: 261-264 - 2010
- [c17]Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22 - [c16]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: 1-2 - [c15]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
How did you specify your test suite. ASE 2010: 407-416 - 2009
- [c14]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing. VMCAI 2009: 151-166 - 2008
- [c13]Wei Dong, Martin Leucker, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396 - [c12]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213 - 2007
- [c11]Sagar Chaki, Christian Schallhart, Helmut Veith:
Verification Across Intellectual Property Boundaries. CAV 2007: 82-94 - [c10]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146 - [c9]Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138 - [c8]Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney:
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. S&P 2007: 179-186 - 2006
- [c7]Andreas Bauer, Martin Leucker, Christian Schallhart:
Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252 - [c6]Andreas Bauer, Martin Leucker, Christian Schallhart:
Monitoring of Real-Time Properties. FSTTCS 2006: 260-272 - 2005
- [c5]Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187 - [c4]Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005: 493-508 - [c3]Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Malware Engineering. Sicherheit 2005: 139-148 - 2004
- [c2]Axel Belinfante, Lars Frantzen, Christian Schallhart:
Tools for Test Case Generation. Model-Based Testing of Reactive Systems 2004: 391-438 - [c1]Markus Holzer, Stefan Katzenbeisser, Christian Schallhart:
Towards Formal Semantics for ODRL. ODRL Workshop 2004: 137-148
Editorship
- 2013
- [e1]Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart:
Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7968, Springer 2013, ISBN 978-3-642-39466-9 [contents]
Informal and Other Publications
- 2013
- [i7]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. CoRR abs/1305.6074 (2013) - 2012
- [i6]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 abs/1210.5980 (2012) - [i5]Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang:
AMBER: Automatic Supervision for Multi-Attribute Extraction. CoRR abs/1210.5984 (2012) - 2007
- [i4]Sagar Chaki, Christian Schallhart, Helmut Veith:
Verification Across Intellectual Property Boundaries. CoRR abs/cs/0701187 (2007) - [i3]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: 56 (2007) - 2005
- [i2]Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. CoRR abs/cs/0503080 (2005) - 2004
- [i1]Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Provably Secure Authentication of Digital Media Through Invertible Watermarks. IACR Cryptol. ePrint Arch. 2004: 293 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
