Publikationen 1986

Equational Completion by Proof Simplification
 

Publikationen 2017

Constraint-based and SAT-based diagnosis of automotive configuration problems
Rouven Walter and Alexander Felfernig and Wolfgang Küchlin
in: Journal of Intelligent Information Systems, Volume 49, pp. 87-118 ()
doi = 10.1007/s10844-016-0422-7, Paper


Adapting Binary Decision Diagrams for Visualizing Product Configuration Data,
in: 47. Jahrestagung der Gesellschaft für Informatik 2017, pp.: 1499-1509 (2017)
doi = {10.18420/in2017\_149}, Paper

Publikationen 2015

Different solving strategies on PBO Problems from automotive industry
, ,

in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 67-72 (2015)
Paper

, ,
in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 97-104 (2015)
Paper

Formal analysis of the Linux kernel configuration with SAT solving
, ,
in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 131-138 (2015)
Paper

Optimal Coverage in Automotive Configuration, ,
in: Mathematical Aspects of Computer and Information Sciences - 6th International Conference, Berlin, Germany, November 11-13, 2015,
Revised Selected Papers, pp.: 611-626 (2015)
doi: 10.1007/978-3-319-32859-1\_52 

Publikationen 2014

,
in: Proceedings of the 16th International Configuration Workshop, Novi Sad, Serbia, September 25-26, pp.:59-66 (2014)
Paper

Publikationen 2013

Applications of MaxSAT in Automotive Configuration, ,
in: Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August 29-30, pp.: 21-28 (2013)
Paper

Boolean Quantifier Elimination for Automotive Configuration - A Case Study,
in: Formal Methods for Industrial Critical Systems - 18th International Workshop, (FMICS) 2013, Madrid, Spain, September 23-24,.pp.: 48-62. Proceedings (2013)
doi:10.1007/978-3-642-41010-9\_4

Publikationen 2012

An Improved Constraint Ordering Heuristics for Compiling Configuration Problems, ,
in: Proceedings of the Workshop on Configuration at (ECAI) 2012, Montpellier, France, August 27,  pp.: 36-40 (2012)
Paper

Publikationen 2011

New approaches to boolean quantifier elimination, ,
in:
ACM Communications in Computer Algebra, Vol. 45, No. 2, Issue 176, pp.:139-140 ()
doi: 10.1145/2016567.2016595,  Paper

,
in: ACM Communications in Computer Algebra, Vol. 45, No. 2, Issue 176, pp.:141-142 ()
doi: 10.1145/2016567.2016596, Paper

, , pp.: 67-78 ()
doi: 10.4018/IJSSMET.2011100107

Publikationen 2010

,
in: Computer Algebra in Scientific Computing - 12th International Workshop, (CASC) 2010, Tsakhkadzor, Armenia, September 6-12, Proceedings, pp.: 293-302 (2010)
doi: 10.1007/978-3-642-15274-0\_26

,
Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, 27.09. - 1.10., Leipzig, Deutschland, : 347-352 (2010)
Paper

Model Counting in Product Configuration, ,
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July, pp.: 44-53 (2010)
doi: 10.4204/EPTCS.29.5, Paper

Publikationen 2009

, ,
Software Testing, Verification and Reliability 19 (2), pp.:155-172 ()
doi: 10.1002/stvr.399, Paper

Publikationen 2008

, , , :
IEEE Transactions on Network and Service Management, Volume: 5, Issue: 2, June, pp.: 91-104 ()
doi: 10.1109/TNSM.2008.021102

Towards SLA-based optimal workload distribution in SANs, , :
(IEEE/IFIP) Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, (NOMS), 7-11 April 2008, Salvador, Bahia, Brazil, pp.: 755-758 (2008)
doi:
10.1109/NOMS.2008.4575206

Publikationen 2007

Integrated Static Analysis for Linux Device Driver Verification,
Integrated Formal Methods, 6th International Conference, (IFM) 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp.: 518-537, (2007)
doi: 10.1007/978-3-540-73210-5\_27

, ,
Integrated Network Management, (IM) 2007
10th (IFIP/IEEE) International Symposium on Integrated Network Management, Munich, Germany, 21-25 May, 2007, pp.: 333-342, (2007)
doi: 10.1109/INM.2007.374798

Publikationen 2006

Checking Consistency and Completeness of On-Line Product Manuals, , ,
Journal of Automated Reasoning,
August 2006, Volume 37, Issue 1–2, pp.: 45–66()
doi: 10.1007/s10817-006-9037-y, Paper:

Publikationen 2005


Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany, pp.: 147-154 (2005)

ZetaSAT - Boolean SATisfiability solving on Desktop Grids
, , ,
5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, (UK), pp.: 1079-1086, (2005)

MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften
,

DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, der Gesellschaft für Informatik e.V. (GI), 13.-16. September 2005 in Rostock, pp.: 201-212 (2005)
Paper:

Publikationen 2004

, ,
Springer , ISBN 978-3-540-20521-0, pp. I-XVIII, 1-516 (2004)
doi: 10.1007/3-540-35003-9

, , ,
Mobile Agents: A Construction Kit for Mobile Device Applications
in: Proceedings of the International Conference on Internet Computing, (IC) '04, Las Vegas, Nevada, USA, June 21-24, 2004, Volume 1, pp.:186-194 (2004)

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
,

in: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp.: 391-402 (2004)
doi: 10.1007/978-3-540-30482-1\_33,

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
,
(SAT) The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings (2004)  Paper:

Publikationen 2003

Einführung in die Informatik - objektorientiert mit Java (2. Aufl.)

Springer-Lehrbuch, Springer ()
ISBN 978-3-540-43608-9, pp. I-XVIII, 1-440

Formal methods for the validation of automotive product configuration data
, ,

Artificial Intelligence for Engineering Design, Analysis and Manufacturing (17/1), pp.:75-97 ()
doi: 10.1017/S0890060403171065, Paper:

Parallel propositional satisfiability checking with distributed dynamic learning
, ,

Parallel Computing 29 (7): pp.: 969-994 ()
doi:10.1016/S0167-8191(03)00068-1, Paper:

The Design of an API for Strict Multithreading in C++
,

Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp.: 722-731 (2003)
doi:
10.1007/978-3-540-45209-6\_101

A Universal Parallel SAT Checking Kernel
, , :

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA) '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4, pp.:1720-1725 (2003)

Verifying CIM Models of Apache Web-Server Configurations
, , ,

3rd International Conference on Quality Software (QSIC) 2003, 6-7 November, Dallas, TX, USA, pp.: 290-297 (2003)
doi: 10.1109/QSIC.2003.1319113

Publikationen 2002

Detection of dynamic execution errors in IBM system automation's rule-based expert system
, , ,

Information & Software Technology 44 (14), pp.: 857-873 ()
doi: 10.1016/S0950-5849(02)00120-9, Paper:

,
XML-Based Data Management and Multimedia Engineering - (EDBT) 2002 Workshops, Revised Papers, pp.: 512-525
doi: 10.1007/3-540-36128-6\_32


18th International Conference on Software Maintenance {(ICSM} 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002,
Montreal, Quebec, Canada 10.1109/ICSM.2002.1167830

Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information
, ,

Innovative Internet Computing Systems, Second International Workshop, {IICS} 2002, K{\"{u}}hlungsborn, Germany, June 20-22, 2002, Proceedings, pp.: 1-14 (2002)
doi:
10.1007/3-540-48080-3\_1

Publikationen 2001

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
, ,
Electronic Notes in Discrete Mathematics 9, pp.: 205-216 ()
doi: 10.1016/S1571-0653(04)00323-3, Paper:

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager
, ,

2nd Asia-Pacific Conference on Quality Software (APAQS} 2001, 10-11 December 2001, Hong Kong, China, Proceedings, pp.: 367-374 (2001)
doi:
10.1109/APAQS.2001.990042

Deploying Distributed State Information in Mobile Agent Systems
, ,

Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings: 80-94 (2001)
doi:
10.1007/3-540-44751-2\_8

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking
, ,
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, (USA),
pp.: 645-649 (2001)

Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection,
Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA/AIE) 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp.: 175-186 (2001)
doi:
10.1007/3-540-45517-5\_21

Automotive Product Documentation
,

Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA/AIE) 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp.: 465-475
doi:
10.1007/3-540-45517-5\_51

The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices
, , ,

4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp.:153-
doi:
10.1109/ISORC.2001.922831

Combining Parallel and Distributed Search in Automated Equational Deduction
, , ,

Parallel Processing and Applied Mathematics, 4th International Conference, (PPAM 2001) Naleczow, Poland, September 9-12, 2001, Revised Papers, pp.: 819-832
doi:
10.1007/3-540-48086-2\_92

Publikationen 2000

Proving Consistency Assertions for Automotive Product Data Management
, :

Journal of Automated Reasoning 24 (1/2), pp.: 145-163 ()
doi: 10.1023/A:1006370506164,

, , ,
7th IEEEInternational Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, (UK),
pp.:156-164
doi:
10.1109/ECBS.2000.839873

A Service-Based Agent Framework for Distributed Symbolic Computation
, , , ,

High-Performance Computing and Networking, 8th International Conference, {HPCN} Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings,
pp.:
644-656
doi:
10.1007/3-540-45492-6\_80

A Lightweight, Message-Oriented Application Server for the WWW
, , :

Applied Computing 2000, Proceedings of the 2000 (ACM) Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 2, pp.: 934-941
doi:
10.1145/338407.338694,  Paper:

Publikationen 1998

Parallel Computer Algebra Software as a Web Component
, ,

Concurrency - Practice and Experience 10(11-13): pp.: 1179-1188 ()
doi: 10.1002/(SICI)1096-9128(199809/11)10:11/13\<1179::AID-CPE407\>3.0.CO;2-8, Paper:

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
,

International Workshop on Current Trends in Applied Formal Methods, FM-Trends Boppard, Germany, October 7-9, 1998, Proceedings, pp.: 92-106
doi:
10.1007/3-540-48257-1\_5

, ,
Solving Irregularly Structured Problems in Parallel, 5th International Symposium, IRREGULAR '98, Berkeley, California, USA, August 9-11, 1998, Proceedings, pp.:206-217
doi:
10.1007/BFb0018540

Publikationen 1997

, ,
Theoretical Computer Science 187 (1-2), pp.: 179-202 ()
doi: 10.1016/S0304-3975(97)00064-9, Paper:

HighRobot: Distributed Objekt-Oriented Real-Time Systems, , ,
Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends - Vorträge der 14. ITG/GI-Fachtagung (ARCS) '97, 8.-11. September 1997, Rostock, Germany: 95-104 (1997)

, , ,
Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, (USA), : 444-451 (1997)
doi: 10.1109/ECBS.1997.581927

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97
Maui, Hawaii, USA, July 21-23, 1997.
ACM , ISBN 0-89791-875-4

Publikationen 1996

, ,
Journal of Symbolic Computation 21(4), pp.: 475-505 ()
doi: 10.1006/jsco.1996.0027, Paper:

, ,
Design and Implementation of Symbolic Computation Systems, International Symposium, (DISCO '96), Karlsruhe, Germany, September 18-20, 1996, Proceedings,
pp: 150-161 (1996)
doi:
10.1007/3-540-61697-7\_14

, , :
Design and Implementation of Symbolic Computation Systems, International Symposium, (DISCO '96), Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp.:183-194
doi:
10.1007/3-540-61697-7\_17

, ,
, p.: 86
doi: 10.1109/ECBS.1996.494515

, , :
, pp.: 95-102
doi:
10.1145/236869.236908, Paper:

Publikationen 1995

, , , :
Parallel Algorithms for Irregularly Structured Problems, Second International Workshop, (IRREGULAR '95), Lyon, France, September 4-6, 1995, Proceedings, pp.:231-248
doi: 10.1007/3-540-60321-2\_19

, ,
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp.: 408-413
doi:
10.1007/3-540-59200-8\_74

Publikationen 1994

A Fine-Grained Parallel Completion Procedure, ,
Proceedings of the International Symposium on Symbolic and Algebraic Computation, (ISSAC '94), Oxford, UK, July 20-22, 1994, pp.: 269-277
doi:
10.1145/190347.190427

Publikationen 1992

,
Proceedings of the Fourth (IEEE) Symposium on Parallel and Distributed Processing, {SPDP} 1992, Arlington, Texas, USA, December 1-4, 1992, pp.: 50-55
doi:
10.1109/SPDP.1992.242764

Publikationen 1991

, ,
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings,
pp.: 206-217
doi:
10.1007/3-540-54522-0\_109


Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings, pp.: 369-384
doi: 10.1007/3-540-55437-8\_93


Proceedings of the 5th international conference on Supercomputing, {ICS} 1991, Cologne, Germany, June 17-21, 1991, pp.: 40-46
doi:
10.1145/109025.109039,


Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, (ISSAC '91), Bonn, Germany, July 15-17, 1991, pp.: 333-342
doi:
10.1145/120694.120747

,
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, (SPDP 1991), 2-5 December 1991, Dallas, Texas, (USA), pp.: 894-897
doi: 10.1109/SPDP.1991.218226

Publikationen 1990


Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp.:  341-353
doi:
10.1007/3-540-54195-0\_63


Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990, pp.: 1-18
doi: 10.1007/3-540-55328-2\_1

, ,
Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990, pp.: 71-87
doi:
10.1007/3-540-55328-2\_6

Publikationen 1989

Computing Ground Reducability and Inductively Complete Positions
,

Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings,
pp.: 59-75
doi: 10.1007/3-540-51081-8\_100

Publikationen 1987


ACM SIGSAM Bulletin 21(3): pp.: 69-73 ()
doi: 10.1145/29309.29320

Publikationen 1986

Equational completion by poof transformation
ETH Zurich, Zürich, Switzerland , pp. 1-40

Publikationen 1985


EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp.: 390-399
doi: 10.1007/3-540-15984-3\_294

Publikationen 1982


ACM SIGSAM Bulletin 16(4), pp.: 13-23 ()
doi:  10.1145/1089310.1089315


Computer Algebra, (EUROCAM '82), European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp.: 101-108
doi:
10.1007/3-540-11607-9\_12