Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paul Harter" ( http://dblp.L3S.de/Authors/Paul_Harter )

  Author page on DBLP  Author page in RDF  Community of Paul Harter in ASPL-2

Publication years (Num. hits)
1999 (1) 2011 (1) 2012 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
CHI Extended Abstracts(2) World Congress on Formal Metho...(1)
Authors
Paul Harter(3) Brendan Walker(2) Joe Marshall(2) Patrick Brundell(2) Paul Tennent(2) Steve Benford(2) Stuart Reeves(2) Damien Doligez(1) George Tomlinson(1) Homayoon Akhiani(1) Jo Cranwell(1) Jo Longhurst(1) Joshua Scheid(1) Leslie Lamport(1) Mark R. Tuttle(1) Rupert Meese(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paul Tennent, Stuart Reeves, Steve Benford, Brendan Walker, Joe Marshall, Patrick Brundell, Rupert Meese, Paul Harter The machine in the ghost: augmenting broadcasting with biodata. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joe Marshall, Brendan Walker, Steve Benford, George Tomlinson, Stefan Rennick Egglestone, Stuart Reeves, Patrick Brundell, Paul Tennent, Jo Cranwell, Paul Harter, Jo Longhurst The gas mask: a probe for exploring fearsome interactions. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu Cache Coherence Verification with TLA+. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.