DBLP XML Requests Appendix to the paper “DBLP — Some Lessons Learned” (June 17, 2009) Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier

Source URL: dblp.org

• Computing
• Software engineering
• Programming language comparisons
• Control flow
• DBLP
• University of Trier
• Constructor
• Entry point
• Foreach loop

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• Boolean algebra
• NP-complete problems
• Combinatorial optimization
• Maximum satisfiability problem
• Boolean satisfiability problem
• Resolution
• Unit propagation

DBLP — Some Lessons Learned ∗ Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier Germany

Source URL: dblp.org

• DBLP
• University of Trier
• Computer science
• VLDB
• BibTeX
• Michael Ley
• Information science
• Computing

Probabilistic Counterexamples Albert-Ludwigs-Universität Freiburg Ralf Wimmer Albert-Ludwigs-Universität Freiburg, Germany

Source URL: www.avacs.org

• Markov models
• Probability
• Markov processes
• Dynamic programming
• Markov decision process
• Stochastic control
• Markov chain
• Stochastic matrix
• Model checking

Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗ Leibniz Universität Hannover

Source URL: etc.leif.me

• Software engineering
• Computing
• Software development
• Version control
• Software testing
• Extreme programming
• Git
• Agile software development
• GitHub
• Test automation
• Continuous integration
• Open-source software

A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Mathematics
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Array data type
• Literal
• Matrix

Proving Termination of Imperative Programs Using Max-SMT Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract—We show how Max-SMT

Source URL: www.lsi.upc.edu

29899-EPPDE-EPPKA3-ECHE TECHNISCHE UNIVERSITÄT BERLIN -gezeichnet-

Source URL: www.auslandsamt.tu-berlin.de

Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Amtliche Bekanntmachung 2015

Source URL: www.sle.kit.edu