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