share record
persistent URL:
Hana Chockler , Arie Gurfinkel , Ofer Strichman : Variants of LTL Query Checking. Haifa Verification Conference 2010 : 76-92 share record
persistent URL:
Jia Tao , Giora Slutzki , Vasant G. Honavar : Secrecy-Preserving Query Answering for Instance Checking in EL \mathcal{EL}. RR 2010 : 195-203 2009 share record
persistent URL:
Anu Singh , C. R. Ramakrishnan , Scott A. Smolka : Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR 2009 : 603-619 share record
persistent URL:
Naijing Hu : Privacy-Preserving Query Checking in Query Middleware. FSKD (1) 2009 : 590-594 export record
dblp key:
conf/icaart/RaimbaultGL09 share record
persistent URL:
Thomas Raimbault , David Genest , Stéphane Loiseau : A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram. ICAART 2009 : 179-184 share record
persistent URL:
Christian Hoareau , Ichiro Satoh : From model checking to data management in pervasive computing: a location-based query-processing framework. ICPS 2009 : 41-48 share record
persistent URL:
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 export record
dblp key:
journals/ieicet/HoareauS08 share record
persistent URL:
Christian Hoareau , Ichiro Satoh : Query Language for Location-Based Services: A Model Checking Approach. IEICE Trans. Inf. Syst. 91-D (4 ) : 976-985 (2008 )share record
persistent URL:
Christian Hoareau , Ichiro Satoh : Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments. AINA 2008 : 130-137 share record
persistent URL:
Hendrik Decker : Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. DEXA 2008 : 89-96 2007 share record
persistent URL:
Christian Hoareau , Ichiro Satoh : A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments. OTM Workshops (2) 2007 : 866-875 2006 share record
persistent URL:
Iovka Boneva : Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés. (Logics for unranked and unordered trees and their use for querying semistructured data). Lille University of Science and Technology, France, 2006 2005 share record
persistent URL:
Stijn Vansummeren : Well-definedness, semantic type-checking and type inference for database query languages. Hasselt University, Belgium, 2005 share record
persistent URL:
Carles Farré , Ernest Teniente , Toni Urpí : Checking query containment with the CQC method. Data Knowl. Eng. 53 (2 ) : 163-223 (2005 )share record
persistent URL:
Sacha Berger , François Bry : Towards static type checking of Web query language. Grundlagen von Datenbanken 2005 : 28-32 share record
persistent URL:
Dezhuang Zhang , Rance Cleaveland : Efficient temporal-logic query checking for presburger systems. ASE 2005 : 24-33 2003 export record
dblp key:
journals/tse/GurfinkelCD03 share record
persistent URL:
Arie Gurfinkel , Marsha Chechik , Benet Devereux : Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. 29 (10 ) : 898-914 (2003 )share record
persistent URL:
Khalil Amiri , Sanghyun Park , Renu Tewari , Sriram Padmanabhan : Scalable template-based query containment checking for web semantic caches. ICDE 2003 : 493-504 share record
persistent URL:
Stefan Böttcher , Adelhard Türling : Checking XPath Expressions for Synchronization, Access Control and Reuse of Query Results on Mobile Clients. Database Mechanisms for Mobile Applications 2003 : 122-138 2002 export record
dblp key:
journals/cjtcs/ArvindSV02 share record
persistent URL:
Vikraman Arvind , K. V. Subrahmanyam , N. V. Vinodchandran : The Query Complexity of Program Checking by Constant-Depth Circuits. Chic. J. Theor. Comput. Sci. 2002 (2002 )export record
dblp key:
journals/tocl/GottlobGV02 share record
persistent URL:
Georg Gottlob , Erich Grädel , Helmut Veith : Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. 3 (1 ) : 42-79 (2002 )export record
dblp key:
conf/micai/Sanchez-Ante02 share record
persistent URL:
Gildardo Sánchez-Ante : Path Planning Using a Single-Query Bi-directional Lazy Collision Checking Planner. MICAI 2002 : 41-50 share record
persistent URL:
Barbara Oliboni , Elisa Quintarelli , Letizia Tanca : Model-Checking Techniques for Efficiently Querying Semistructured Temporal Data. SEBD 2002 : 376-389 export record
dblp key:
conf/sigsoft/GurfinkelDC02 share record
persistent URL:
Arie Gurfinkel , Benet Devereux , Marsha Chechik : Model exploration with temporal logic query checking. SIGSOFT FSE 2002 : 139-148 2001 export record
dblp key:
conf/isrr/Sanchez-AnteL01 share record
persistent URL:
Gildardo Sánchez-Ante , Jean-Claude Latombe : A Single-Query Bi-Directional Probabilistic Roadmap Planner with Lazy Collision Checking. ISRR 2001 : 403-417 share record
persistent URL:
Glenn Bruns , Patrice Godefroid : Temporal Logic Query Checking. LICS 2001 : 409-417 1999 share record
persistent URL:
Carles Farré , Ernest Teniente , Toni Urpí : The Constructive Method for Query Containment Checking. DEXA 1999 : 583-593 share record
persistent URL:
Vikraman Arvind , K. V. Subrahmanyam , N. V. Vinodchandran : The Query Complexity of Program Checking by Constant-Depth Circuits. ISAAC 1999 : 123-132 1998 share record
persistent URL:
Carles Farré , Ernest Teniente , Toni Urpí : Query Containment Checking as a View Updating Problem. DEXA 1998 : 310-321