Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2010 (8)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
BMC Bioinform.(1) Formal Aspects Comput.(1) ICSE(1) IEEE Trans. Software Eng.(1) IJCNLP(1) ISSTA(1) ITP(1) LPAR short papers(Yogyakarta)(1)
Authors
Craig Damon(3) Daniel Jackson 0001(3) Jasmin Christian Blanchette(2) Bernhard Y. Renard(1) Dekai Wu(1) Fred A. Hamprecht(1) Grace Ngai(1) Hanno Steen(1) Jeannette M. Wing(1) Judith A. J. Steen(1) Marc Kirchner(1) Marine Carpuat(1) Tobias Nipkow(1) Yu-Chung Ng(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
153Daniel Jackson 0001, Yu-Chung Ng, Jeannette M. Wing A Nitpick Analysis of Mobile IPv6. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification
106Daniel Jackson 0001, Craig Damon Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing
79Daniel Jackson 0001, Craig Damon Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Jasmin Christian Blanchette Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod. Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Jasmin Christian Blanchette, Tobias Nipkow Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder. Search on Bibsonomy ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Bernhard Y. Renard, Marc Kirchner, Hanno Steen, Judith A. J. Steen, Fred A. Hamprecht NITPICK: peak identification for mass spectrometry data. Search on Bibsonomy BMC Bioinform. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Craig Damon Nitpick: A Tool for Interactive Design Analysis. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF design checking, formal specification, software design
26Dekai Wu, Grace Ngai, Marine Carpuat NTPC: N-fold Templated Piped Correction. Search on Bibsonomy IJCNLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (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