Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1997 (1) 2010 (2) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Computers & Geosciences(1) IPSN(1) ISR/ROBOTIK(1) VLSI Design(1)
Authors
Bernd Kuhlenkötter(1) Gosta Pada Biswas(1) Idranil Sen Gupta(1) John Regehr(1) Matthias Bücker(1) Peng Li(1) Thomas A. Buscheck(1) Tobias Brutscheck(1) Yue Hao(1) Yunwei Sun(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Peng Li, John Regehr T-check: bug finding for sensor networks. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven
1Yunwei Sun, Thomas A. Buscheck, Yue Hao An analytical method for modeling first-order decay networks. Search on Bibsonomy Computers & Geosciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernd Kuhlenkötter, Matthias Bücker, Tobias Brutscheck Deploying Mobile Maintenance Robots in Material Flow Systems Using Topological Maps and Local Calibration. Search on Bibsonomy ISR/ROBOTIK The full citation details ... 2010 DBLP  BibTeX  RDF
1Gosta Pada Biswas, Idranil Sen Gupta Design of t-UED/AUED Codes from Berger's AUED Code. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.