The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase well-definedness (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-2008 (18) 2009-2022 (12)
Publication types (Num. hits)
article(10) inproceedings(19) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(3) PODS(3) ACM Trans. Database Syst.(1) B(1) CALCO(1) CAV(1) CIAA(1) DBPL(1) FoSSaCS(1) ICDT(1) ICFEM(1) IEEE Trans. Software Eng.(1) IFM(1) IJCAR(1) J. ACM(1) J. Log. Comput.(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 12 keywords

Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
139Stijn Vansummeren On deciding well-definedness for query languages on trees. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Runtime errors, well-definedness, XQuery
113Ádám Darvas, Farhad Mehta, Arsenii Rudich Efficient Well-Definedness Checking. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Stijn Vansummeren Deciding well-definedness of XQuery fragments. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
76Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Andreas Maletti Tree-Series-to-Tree-Series Transformations. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Hans Zantema Well-Definedness of Streams by Termination. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Hans Zantema A Tool Proving Well-Definedness of Streams Using Termination Tools. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren A crash course on database queries. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
45Giacomo Bucci, Luigi Sassoli, Enrico Vicario Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
38Farhad Mehta A Practical Approach to Partiality - A Proof Based Approach. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Philipp Scholl, Aras Bacho, Holger Boche, Gitta Kutyniok Well-definedness of Physical Law Learning: The Uniqueness Problem. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
38Michael Leuschel Fast and Effective Well-Definedness Checking. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
38Henning Basold, Helle Hvid Hansen Well-definedness and observational equivalence for inductive-coinductive programs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
38Fabrizio Riguzzi, Terrance Swift Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
38Ted Kaminski, Eric Van Wyk Modular Well-Definedness Analysis for Attribute Grammars. Search on Bibsonomy SLE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Fabrizio Riguzzi, Terrance Swift Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
38Hans Zantema Well-definedness of Streams by Transformation and Termination Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2010 DBLP  BibTeX  RDF
38Issam Maamria, Michael J. Butler Rewriting and Well-Definedness within a Proof System Search on Bibsonomy PAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Issam Maamria, Michael J. Butler Rewriting and Well-Definedness within a Proof System. Search on Bibsonomy PAR@ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren Well-definedness and semantic type-checking for the nested relational calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Stijn Vansummeren Well-definedness, semantic type-checking and type inference for database query languages Search on Bibsonomy 2005   RDF
38Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
38Patrick Behm, Lilian Burdy, Jean-Marc Meynadier Well Defined B. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Mohammad Reza Mousavi 0001, Michel A. Reniers Congruence for Structural Congruences. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Klaus Drosten Towards Executable Specifications Using Conditional Axioms. Search on Bibsonomy STACS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
19Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv Incorporating constraints in probabilistic XML. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases
19Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv Incorporating constraints in probabilistic XML. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic xml, sampling probabilistic data, constraints, probabilistic databases
19Yifeng Chen Hierarchical Organisation of Predicate-Semantic Models. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Frank Neven Extensions of Attribute Grammars for Structured Document Queries. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Patrick Cousot, Radhia Cousot Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license