Philippe Suter Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Swen Jacobs, Viktor Kuncak, Philippe Suter: Reductions for Synthesis Procedures. VMCAI 2013: 88-107
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter: On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013)
2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter: Constraints as control. POPL 2012: 151-164
2011
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter: Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak: Satisfiability Modulo Recursive Programs. SAS 2011: 298-315
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Suter, Robin Steiger, Viktor Kuncak: Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
2010
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viktor Kuncak, Ruzica Piskac, Philippe Suter: Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Complete functional synthesis. PLDI 2010: 316-329
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Suter, Mirco Dotta, Viktor Kuncak: Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Philippe Suter, Viktor Kuncak: Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Philippe Suter, Viktor Kuncak: Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies: Building a Calculus of Data Structures. VMCAI 2010: 26-44

Coauthor Index

1Mirco Dotta
[c4]
2Swen Jacobs
[c12]
3Etienne Kneuss
[i1] [c3] [c2]
4Viktor Kuncak
[c12] [i1] [j1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
5Ivan Kuraj
[i1]
6Ali Sinan Köksal
[c11] [c10] [c9]
7Mikaël Mayer
[j1] [c7] [c5]
8Ruzica Piskac
[j1] [c7] [c6] [c5] [c1]
9Robin Steiger
[c8]
10Thomas Wies
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 20:25:52 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page