ask others

Carsten Sinz

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/18/BalyoS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/18/BalyoS18
Tomás Balyo, Carsten Sinz:
Parallel Satisfiability. Handbook of Parallel Constraint Reasoning 2018: 3-29
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-04174
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-04174
Marko Kleine Büning, Tomás Balyo, Carsten Sinz:
Unbounded Software Model Checking with Incremental SAT-Solving. CoRR abs/1802.04174 (2018)
2017
[c47]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ictai/IserKS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictai/IserKS17
Markus Iser, Felix Kutzner, Carsten Sinz:
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. ICTAI 2017: 1029-1036
2016
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/BalyoBIS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/BalyoBIS16
Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz:
SAT Race 2015. Artif. Intell. 241: 45-65 (2016)
2015
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/BalintBJS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/BalintBJS15
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz:
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223: 120-155 (2015)
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isse/MerzSPGK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isse/MerzSPGK15
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Bridging the gap between test cases and requirements by abstract testing. ISSE 11(4): 233-242 (2015)
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BalyoSS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BalyoSS15
Tomás Balyo, Peter Sanders, Carsten Sinz:
HordeSat: A Massively Parallel Portfolio SAT Solver. SAT 2015: 156-172
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/IserMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/IserMS15
Markus Iser, Norbert Manthey, Carsten Sinz:
Recognition of Nested Gates in CNF Formulas. SAT 2015: 255-271
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BalyoSS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BalyoSS15
Tomás Balyo, Peter Sanders, Carsten Sinz:
HordeSat: A Massively Parallel Portfolio SAT Solver. CoRR abs/1505.03340 (2015)
2014
[j13]
- view
  - electronic edition @ uni-siegen.de
- export record
  dblp key:
  - journals/stt/FaragoMS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/stt/FaragoMS14
David Faragó, Florian Merz, Carsten Sinz:
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Softwaretechnik-Trends 34(3) (2014)
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/2014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/2014
Carsten Sinz, Uwe Egly:
Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Lecture Notes in Computer Science 8561, Springer 2014, ISBN 978-3-319-09283-6 [contents]
[i2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/CousotKS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/CousotKS14
Patrick Cousot, Daniel Kroening, Carsten Sinz:
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (2014)
2013
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/kbse/FalkeMS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
The bounded model checker LLBMC. ASE 2013: 706-709
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/IserST13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/IserST13
Markus Iser, Carsten Sinz, Mana Taghdiri:
Minimizing Models for Tseitin-Encoded SAT Instances. SAT 2013: 224-232
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/FalkeMS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS 2013: 623-626
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/FalkeMS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vstte/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE 2013: 108-128
2012
[c40]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/MerzSF12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/MerzSF12
Florian Merz, Carsten Sinz, Stephan Falke:
Challenges in Comparing Software Verification Tools for C. COMPARE 2012: 60-65
[c39]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/FalkeSM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/FalkeSM12
Stephan Falke, Carsten Sinz, Florian Merz:
A Theory of Arrays with set and copy Operations. SMT@IJCAR 2012: 98-108
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/IserTS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/IserTS12
Markus Iser, Mana Taghdiri, Carsten Sinz:
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). SAT 2012: 483-484
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/SinzMF12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/SinzMF12
Carsten Sinz, Florian Merz, Stephan Falke:
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS 2012: 542-544
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/MerzFS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vstte/MerzFS12
Florian Merz, Stephan Falke, Carsten Sinz:
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE 2012: 146-161
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/FalkeKS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vstte/FalkeKS12
Stephan Falke, Deepak Kapur, Carsten Sinz:
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE 2012: 261-277
2011
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/bis/MendtST11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bis/MendtST11
Tamara Mendt, Carsten Sinz, Olga Tveretina:
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS 2011: 1-12
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/bis/MendtST11a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bis/MendtST11a
Tamara Mendt, Carsten Sinz, Olga Tveretina:
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. BIS (Workshops) 2011: 18-29
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/foveoos/BeckertBMS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/foveoos/BeckertBMS11
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/FalkeKS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/FalkeKS11
Stephan Falke, Deepak Kapur, Carsten Sinz:
Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA 2011: 41-50
2010
[j12]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/TveretinaSZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/TveretinaSZ10
Olga Tveretina, Carsten Sinz, Hans Zantema:
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. JSAT 7(1): 35-58 (2010)
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip1-7/TaghdiriSS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip1-7/TaghdiriSS10
Mana Taghdiri, Gregor Snelting, Carsten Sinz:
Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79
[c29]
- no documents available
- export record
  dblp key:
  - conf/kit/Sinz10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kit/Sinz10
Carsten Sinz:
Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium 2010: 69-77
[c28]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/quatic/MerzSPGK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/quatic/MerzSPGK10
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96
[c27]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/ssv/SinzFM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ssv/SinzFM10
Carsten Sinz, Stephan Falke, Florian Merz:
A Precise Memory Model for Low-Level Bounded Model Checking. SSV 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/PostSK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/stvr/PostSK09
Hendrik Post, Carsten Sinz, Wolfgang Küchlin:
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test., Verif. Reliab. 19(2): 155-172 (2009)
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/PostS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/PostS09
Hendrik Post, Carsten Sinz:
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. ICST 2009: 31-40
[c25]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/re/PostSMGK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/re/PostSMGK09
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf:
Linking Functional Requirements and Software Verification. RE 2009: 295-302
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/SinzI09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/SinzI09
Carsten Sinz, Markus Iser:
Problem-Sensitive Restart Heuristics for the DPLL Procedure. SAT 2009: 356-362
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0909-5038
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0909-5038
Olga Tveretina, Carsten Sinz, Hans Zantema:
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. ACAC 2009: 13-21
[i1]
- view
  - electronic edition @ hpi-web.de
- export record
  dblp key:
  - journals/eccc/TveretinaSZ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eccc/TveretinaSZ09
Olga Tveretina, Carsten Sinz, Hans Zantema:
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electronic Colloquium on Computational Complexity (ECCC) 16: 87 (2009)
2008
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tnsm/GencaySKS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tnsm/GencaySKS08
Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer:
SANchk: SQL-based SAN configuration checking. IEEE Trans. Network and Service Management 5(2): 91-104 (2008)
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/PostSKG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/PostSKG08
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges:
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/PostS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/PostS08
Hendrik Post, Carsten Sinz:
Configuration Lifting: Verification meets Software Configuration. ASE 2008: 347-350
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/noms/GencaySK08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/noms/GencaySK08
Eray Gençay, Carsten Sinz, Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/KottlerKS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/KottlerKS08
Stephan Kottler, Michael Kaufmann, Carsten Sinz:
Computation of Renameable Horn Backdoors. SAT 2008: 154-160
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/KottlerKS08a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/KottlerKS08a
Stephan Kottler, Michael Kaufmann, Carsten Sinz:
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT 2008: 161-167
2007
[j9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/expert/SinzHNWGSJORDGLFN07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/expert/SinzHNWGSJORDGLFN07
Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus:
Configuration. IEEE Intelligent Systems 22(1): 78-90 (2007)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/Sinz07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/Sinz07
Carsten Sinz:
Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Autom. Reasoning 39(2): 219-243 (2007)
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurocast/Sinz07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurocast/Sinz07
Carsten Sinz:
Compressing Propositional Proofs by Common Subproof Extraction. EUROCAST 2007: 547-555
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/JussilaBSKW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/JussilaBSKW07
Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger:
A First Step Towards a Unified Proof Checker for QBF. SAT 2007: 201-214
2006
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/SinzKFG06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/SinzKFG06
Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals. J. Autom. Reasoning 37(1-2): 45-66 (2006)
[j6]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/BiereS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/BiereS06
Armin Biere, Carsten Sinz:
Decomposing SAT Problems into Connected Components. JSAT 2(1-4): 201-208 (2006)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/SinzB06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/SinzB06
Carsten Sinz, Armin Biere:
Extended Resolution Proofs for Conjoining BDDs. CSR 2006: 600-611
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/JussilaSB06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/JussilaSB06
Toni Jussila, Carsten Sinz, Armin Biere:
Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60
2005
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/Sinz05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/Sinz05
Carsten Sinz:
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. CP 2005: 827-831
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/SinzD05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/SinzD05
Carsten Sinz, Edda-Maria Dieringer:
DPvis - A Tool to Visualize the Structure of SAT Instances. SAT 2005: 257-268
2004
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/SinzK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/SinzK04
Carsten Sinz, Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402
[c10]
- view
  - electronic edition @ satisfiability.org
- export record
  dblp key:
  - conf/sat/Sinz04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/Sinz04
Carsten Sinz:
Visualizing the Internal Structure of SAT Instances (Preliminary Report). SAT 2004
[c9]
- view
  - electronic edition @ satisfiability.org
- export record
  dblp key:
  - conf/sat/SinzK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/SinzK04
Carsten Sinz, Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract). SAT 2004
2003
[b1]
- view
- export record
  dblp key:
  - phd/de/Sinz2004
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/de/Sinz2004
Carsten Sinz:
Verifikation regelbasierter Konfigurationssysteme. University of Tübingen, Germany 2003, pp. 1-227
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aiedam/SinzKK03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aiedam/SinzKK03
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Formal methods for the validation of automotive product configuration data. AI EDAM 17(1): 75-97 (2003)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/pc/BlochingerSK03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pc/BlochingerSK03
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7): 969-994 (2003)
[c8]
- no documents available
- export record
  dblp key:
  - conf/pdpta/BlochingerSK03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdpta/BlochingerSK03
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/qsic/SinzKKM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qsic/SinzKKM03
Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski:
Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297
2002
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/infsof/SinzLSK02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/infsof/SinzLSK02
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin:
Detection of dynamic execution errors in IBM system automation's rule-based expert system. Information & Software Technology 44(14): 857-873 (2002)
2001
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/endm/SinzBK01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/endm/SinzBK01
Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin:
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electronic Notes in Discrete Mathematics 9: 205-216 (2001)
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/apaqs/SinzKL01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apaqs/SinzKL01
Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp:
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. APAQS 2001: 367-374
[c5]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/flairs/SinzKK01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/flairs/SinzKK01
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS Conference 2001: 645-649
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppam/SinzDAK01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppam/SinzDAK01
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832
2000
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/KuchlinS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/KuchlinS00
Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reasoning 24(1/2): 145-163 (2000)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/Sinz00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/Sinz00
Carsten Sinz:
System Description: ARA - An Automatic Theorem Prover for Relation Algebras. CADE 2000: 177-182
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hpcn/SchimkatBSFK00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hpcn/SchimkatBSFK00
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin:
A Service-Based Agent Framework for Distributed Symbolic Computation. HPCN Europe 2000: 644-656

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BundgenSW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BundgenSW96
Reinhard Bündgen, Carsten Sinz, Jochen Walter:
ReDuX 1.5: New Facets of Rewriting. RTA 1996: 412-415

Coauthor Index

see FAQ

maintained by

, founded at