Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christos Dimoulas" ( http://dblp.L3S.de/Authors/Christos_Dimoulas )

  Author page on DBLP  Author page in RDF  Community of Christos Dimoulas in ASPL-2

Publication years (Num. hits)
2009 (2) 2011 (2) 2012 (2)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
POPL(2) ACM Trans. Program. Lang. Syst...(1) ESOP(1) PPDP(1) VMCAI(1)
Authors
Christos Dimoulas(6) Matthias Felleisen(5) Robert Bruce Findler(2) Sam Tobin-Hochstadt(2) Carl Eastlund(1) Casey Klein(1) Cormac Flanagan(1) Jay A. McCarthy(1) John Clements(1) Jon Rafkind(1) Matthew Flatt(1) Mitchell Wand(1) Riccardo Pucella(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler Run your research: on the effectiveness of lightweight mechanization. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen Complete Monitors for Behavioral Contracts. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Matthias Felleisen On contract satisfaction in a higher-order world. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen Correct blame for contracts: no more scapegoating. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Riccardo Pucella, Matthias Felleisen Future contracts. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software reliability, contracts, behavioral specifications, higher-order functions
1Christos Dimoulas, Mitchell Wand The Higher-Order Aggregate Update Problem. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.