• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 53 matches

• 2020
• 
  Samuel Huang, Rance Cleaveland:
  Temporal-Logic Query Checking over Finite Data Streams. FMICS 2020: 252-271
• 
  Samuel Huang, Rance Cleaveland:
  Temporal-Logic Query Checking over Finite Data Streams. CoRR abs/2006.03751 (2020)
• 2019
• 
  Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
  Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics 2019
• 
  Andreas Steigmiller, Birte Glimm:
  Absorption-Based Query Entailment Checking for Expressive Description Logics. Description Logics 2019
• 2018
• 
  Jun Yang, Pankaj K. Agarwal, Sudeepa Roy, Brett Walenz, You Wu, Cong Yu, Chengkai Li:
  Query Perturbation Analysis: An Adventure of Database Researchers in Fact-Checking. IEEE Data Eng. Bull. 41(3): 28-42 (2018)
• 
  Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal:
  Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. SAT 2018: 365-382
• 2017
• 
  You Wu, Pankaj K. Agarwal, Chengkai Li, Jun Yang, Cong Yu:
  Computational Fact Checking through Query Perturbations. ACM Trans. Database Syst. 42(1): 4:1-4:41 (2017)
• 
  Samuel Huang, Rance Cleaveland:
  Query Checking for Linear Temporal Logic. FMICS-AVoCS 2017: 34-48
• 2016
• 
  Sebastian Arming, Reinhard Pichler, Emanuel Sallinger:
  Complexity of Repair Checking and Consistent Query Answering. ICDT 2016: 21:1-21:18
• 2015
• 
  Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio:
  Model Checking Based Query and Retrieval in OpenStreetMap. ISMIS 2015: 208-213
• 2014
• 
  Sergio Flesca, Filippo Furfaro, Francesco Parisi:
  Consistency checking and querying in probabilistic databases under integrity constraints. J. Comput. Syst. Sci. 80(7): 1448-1489 (2014)
• 
  Sebastian Arming, Reinhard Pichler, Emanuel Sallinger:
  Combined Complexity of Repair Checking and Consistent Query Answering. AMW 2014
• 
  Margus Räim, Claudio Di Ciccio, Fabrizio Maria Maggi, Massimo Mecella, Jan Mendling:
  Log-Based Understanding of Business Processes through Temporal Logic Query Checking. OTM Conferences 2014: 75-92
• 2013
• 
  Sebastian Bräuer, Patrick Delfmann, Hanns-Alexander Dietrich, Matthias Steinhorst:
  Using a Generic Model Query Approach to Allow for Process Model Compliance Checking - An Algorithmic Perspective. Wirtschaftsinformatik 2013: 78
• 
  Sergio Flesca, Filippo Furfaro, Francesco Parisi:
  Consistency Checking and Querying in Probabilistic Databases under Integrity Constraints. CoRR abs/1303.3233 (2013)
• 2012
• 
  Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle:
  Temporal Logic To Query Semantic Graphs Using The Model Checking Method. J. Softw. 7(7): 1462-1472 (2012)
• 
  Christoph Weidenbach, Patrick Wischnewski:
  Satisfiability Checking and Query Answering for Large Ontologies. PAAR@IJCAR 2012: 163-177
• 
  Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo:
  Querying Trajectories through Model Checking based on Timed Automata. SBBD (Short Papers) 2012: 33-40
• 2011
• 
  Michael Fellmann, Oliver Thomas, Bastian Busch:
  A Query-Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations. BIS 2011: 62-73
• 
  Yahia Chabane, François Hantry, Mohand-Said Hacid:
  Querying and Splitting Techniques for SBA: A Model Checking Based Approach. ISMIS Industrial Session 2011: 105-122
• 
  Simon Razniewski, Werner Nutt:
  Checking query completeness over incomplete data. LID 2011: 32
• 2010
• 
  Hendrik Decker:
  Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking. DEXA Workshops 2010: 318-322
• 
  Hana Chockler, Arie Gurfinkel, Ofer Strichman:
  Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92
• 
  Jia Tao, Giora Slutzki, Vasant G. Honavar:
  Secrecy-Preserving Query Answering for Instance Checking in EL\mathcal{EL}. RR 2010: 195-203
• 2009
• 
  Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
  Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR 2009: 603-619
• 
  Naijing Hu:
  Privacy-Preserving Query Checking in Query Middleware. FSKD (1) 2009: 590-594
• 
  Thomas Raimbault, David Genest, Stéphane Loiseau:
  A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram. ICAART 2009: 179-184
• 
  Christian Hoareau, Ichiro Satoh:
  From model checking to data management in pervasive computing: a location-based query-processing framework. ICPS 2009: 41-48
• 
  Sven Groppe, Jana Neumann, Volker Linnemann:
  SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types. SAC 2009: 1239-1246
• 2008
• 
  Christian Hoareau, Ichiro Satoh:
  Query Language for Location-Based Services: A Model Checking Approach. IEICE Trans. Inf. Syst. 91-D(4): 976-985 (2008)

skipping 23 more matches