Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Philippe Suter" ( http://dblp.L3S.de/Authors/Philippe_Suter )

  Author page on DBLP  Author page in RDF  Community of Philippe Suter in ASPL-2

Publication years (Num. hits)
2010 (7) 2011 (3) 2012 (2)
Publication types (Num. hits)
article(1) inproceedings(11)
Venues (Conferences, Journals, ...)
POPL(2) VMCAI(2) CADE(1) CAV(1) Commun. ACM(1) CSL(1) PLDI(1) RV(1) SAS(1) SIGSOFT FSE(1)
Authors
Philippe Suter(12) Viktor Kuncak(12) Ruzica Piskac(5) Ali Sinan Köksal(3) Mikaël Mayer(3) Etienne Kneuss(2) Mirco Dotta(1) Robin Steiger(1) Thomas Wies(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter Software synthesis procedures. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Sinan Köksal, Viktor Kuncak, Philippe Suter Constraints as control. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Sinan Köksal, Viktor Kuncak, Philippe Suter Scala to the Power of Z3: Integrating SMT and Programming. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Suter, Ali Sinan Köksal, Viktor Kuncak Satisfiability Modulo Recursive Programs. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Suter, Robin Steiger, Viktor Kuncak Sets with Cardinality Constraints in Satisfiability Modulo Theories. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter Complete functional synthesis. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bapa, synthesis procedure, decision procedure, presburger arithmetic
1Etienne Kneuss, Philippe Suter, Viktor Kuncak Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philippe Suter, Mirco Dotta, Viktor Kuncak Decision procedures for algebraic data types with abstractions. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF data structure, decision procedure, algebraic data type, catamorphism
1Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter Comfusy: A Tool for Complete Functional Synthesis. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies Building a Calculus of Data Structures. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Ruzica Piskac, Philippe Suter Ordered Sets in the Calculus of Data Structures. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Etienne Kneuss, Philippe Suter, Viktor Kuncak Phantm: PHP analyzer for type mismatch. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.