The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carsten Sinz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:367-374 [Conf]
  2. Carsten Sinz
    System Description: ARA - An Automatic Theorem Prover for Relation Algebras. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:177-182 [Conf]
  3. Carsten Sinz
    Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:827-831 [Conf]
  4. Carsten Sinz, Armin Biere
    Extended Resolution Proofs for Conjoining BDDs. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:600-611 [Conf]
  5. Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
    Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:645-649 [Conf]
  6. Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin
    A Service-Based Agent Framework for Distributed Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 2000, pp:644-656 [Conf]
  7. Carsten Sinz, Wolfgang Küchlin
    Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:391-402 [Conf]
  8. Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
    A Universal Parallel SAT Checking Kernel. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1720-1725 [Conf]
  9. Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin
    Combining Parallel and Distributed Search in Automated Equational Deduction. [Citation Graph (0, 0)][DBLP]
    PPAM, 2001, pp:819-832 [Conf]
  10. Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski
    Verifying CIM Models of Apache Web-Server Configurations. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:290-297 [Conf]
  11. Reinhard Bündgen, Carsten Sinz, Jochen Walter
    ReDuX 1.5: New Facets of Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:412-415 [Conf]
  12. Toni Jussila, Carsten Sinz, Armin Biere
    Extended Resolution Proofs for Symbolic SAT Solving with Quantification. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:54-60 [Conf]
  13. Carsten Sinz
    Visualizing the Internal Structure of SAT Instances (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  14. Carsten Sinz, Edda-Maria Dieringer
    DPvis - A Tool to Visualize the Structure of SAT Instances. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:257-268 [Conf]
  15. Carsten Sinz, Wolfgang Küchlin
    Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  16. Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
    Formal methods for the validation of automotive product configuration data. [Citation Graph (0, 0)][DBLP]
    AI EDAM, 2003, v:17, n:1, pp:75-97 [Journal]
  17. 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. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:14, pp:857-873 [Journal]
  18. Wolfgang Küchlin, Carsten Sinz
    Proving Consistency Assertions for Automotive Product Data Management. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:24, n:1/2, pp:145-163 [Journal]
  19. Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler
    Checking Consistency and Completeness of On-Line Product Manuals. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:45-66 [Journal]
  20. Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
    Parallel propositional satisfiability checking with distributed dynamic learning. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2003, v:29, n:7, pp:969-994 [Journal]
  21. Carsten Sinz
    Compressing Propositional Proofs by Common Subproof Extraction. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:547-555 [Conf]
  22. Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
    A First Step Towards a Unified Proof Checker for QBF. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:201-214 [Conf]
  23. Carsten Sinz
    Visualizing SAT Instances and Runs of the DPLL Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:2, pp:219-243 [Journal]

  24. Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. [Citation Graph (, )][DBLP]


  25. Configuration Lifting: Verification meets Software Configuration. [Citation Graph (, )][DBLP]


  26. Linking Functional Requirements and Software Verification. [Citation Graph (, )][DBLP]


  27. Problem-Sensitive Restart Heuristics for the DPLL Procedure. [Citation Graph (, )][DBLP]


  28. Computation of Renameable Horn Backdoors. [Citation Graph (, )][DBLP]


  29. A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. [Citation Graph (, )][DBLP]


  30. Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. [Citation Graph (, )][DBLP]


  31. Towards SLA-based optimal workload distribution in SANs. [Citation Graph (, )][DBLP]


  32. An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002