Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for preconditions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1988 (17) 1989-1991 (15) 1992-1994 (15) 1995-1997 (22) 1998-1999 (30) 2000-2001 (20) 2002 (17) 2003 (27) 2004 (25) 2005 (37) 2006 (29) 2007 (43) 2008 (45) 2009 (36) 2010-2011 (15) 2012-2014 (29) 2015-2016 (16) 2017-2019 (17) 2020 (16) 2021-2022 (27) 2023-2024 (10)
Publication types (Num. hits)
article(118) book(1) incollection(3) inproceedings(385) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(20) POPL(12) IEEE Trans. Software Eng.(8) APSEC(7) Formal Aspects Comput.(6) REX Workshop(6) FME(5) ICWS(5) AI*IA(4) CAV(4) ICFEM(4) ICGT(4) ICSE(4) IJCAI(4) Inf. Process. Lett.(4) OOPSLA(4) More (+10 of total 343)
Authors
Oliver Kroemer(9) Hridesh Rajan(6) Cristiano Calcagno(5) Héctor Muñoz-Avila(4) Sumit Gulwani(4) Alberto Martelli(3) Alessandra Russo(3) Bernhard Thalheim(3) Bertrand Meyer 0001(3) Carroll Morgan(3) Dalal Alrajeh(3) Dana S. Nau(3) Daniel Kroening(3) David W. Aha(3) Gro-Hilde Severinsen(3) Hoan Anh Nguyen(3) More (+10 of total 1109)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 547 occurrences of 392 keywords
Results
Found 508 publication records. Showing 508 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
11Deepak Kumar An Integrated Model of Acting and Inference. Search on Bibsonomy SNePS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11Bruce Martin Concurrent programming vs. concurrency control: shared events or shared data. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11R. Geoff Dromey Systematic Program Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
11Wadoud Bousdira, Jean-Luc Rémy Hierarchical Contextual Rewriting with Several Levels. Search on Bibsonomy STACS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Piyawadee Noi Sukaviriya Dynamic Construction of Animated Help from Application Context. Search on Bibsonomy ACM Symposium on User Interface Software and Technology The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Robert G. Bandes Constraining-Unification and the Programming Language Unicorn. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
11Joseph Y. Halpern A Good Hoare Axiom System for an Algol-like Language. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF ALGOL
11Michael B. Smyth Power Domains and Predicate Transformers: A Topological View. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #508 of 508 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]
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