Associate professor (professor agregat - profesor contratado doctor)
Technical University of Catalonia
CS Department, Building Omega, room 114
Member of the LOGPROG research group
Jordi Girona 1
E-08034 Barcelona
CATALONIA
E-mail: oliveras AT(NSPAM) cs.upc.edu
Phone: (34) 93 413 77 92
Fax: (34) 93 413 78 33
Education:
[Slides]
Research:
The research developed by our group is related to Logic in Computer Science.
More specifically, I have worked on:
Publications (in reverse chronological order):
CONFERENCE PAPERS:
Lorenzo Candeago,
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
19th International Conference on Theory and Applications of Satisfiability Testing (SAT),
July 2016, Bordeaux (France).
[ Paper
]
Marc Brockschmidt,
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
Formal Methods in Computer-Aided Design 2015 (FMCAD),
September 2015, Austin, Texas (USA).
[ Paper
]
Daniel Larraz,
Kaustubh Nimkar,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
26th International Conference on Computer Aided Verification (CAV),
July 2014, Vienna (Austria).
[ Paper
]
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
17th International Conference on Theory and Applications of Satisfiability Testing (SAT),
July 2014, Vienna (Austria).
[ Paper
]
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
Formal Methods in Computer-Aided Design 2013 (FMCAD),
October 2013, Portland (USA).
[ Paper
]
Ignasi Abío,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Peter Stuckey.
19th International Conference on Principles and Practice of Constraint Programming (CP). September 2013, Uppsala (Sweden)
[ Paper
]
Ignasi Abío,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
19th International Conference on Principles and Practice of Constraint Programming (CP). September 2013, Uppsala (Sweden)
[ Paper
]
Ignasi Abío,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
14th International Conference on Theory and Applications of Satisfiability Testing (SAT). June 2011, Ann Arbor (USA)
[ Paper
| BibTeX
]
Javier Larrosa,
Albert Oliveras and
Enric Rodríguez-Carbonell.
16th International Conference on Logic for Programming, Artificial Intelligence
and Reasoning (LPAR). April 2010, Senegal (Dakar).
[ Paper
| BibTeX
]
Javier Larrosa,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT). July 2009, Swansea (Wales).
[ Paper
| BibTeX
]
Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT). July 2009, Swansea (Wales).
[ Paper
| BibTeX
]
Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
15th International Conference on Logic for Programming, Artificial Intelligence
and Reasoning (LPAR). November 2008, Doha (Qatar).
[ Paper
| BibTeX
]
Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio
Formal Methods in Computer-Aided Design 2008 (FMCAD),
November 2008, Portland (USA).
[ Paper
]
Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio
20th International Conference on Computer Aided Verification (CAV),
July 2008, Princeton (USA).
[ Paper
| BibTeX
]
Germain Faure,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell
11th International Conference on Theory and Applications of Satisfiability Testing (SAT). May 2008, Guangzhou (China).
[ Paper
| Slides
| BibTeX
]
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio
18th International Conference on Rewriting Techniques and Applications (RTA). June 2007, Paris (France).
[ Paper
| BibTeX
]
Federico Heras,
Javier Larrosa and
Albert Oliveras.
10th International Conference on Theory and Applications of Satisfiability Testing (SAT). May 2007, Lisbon (Portugal).
[ Paper
| BibTeX
]
Clark Barrett,
Robert Nieuwenhuis,
Albert Oliveras and
Cesare Tinelli.
13th International Conference on Logic for Programming, Artificial Intelligence
and Reasoning (LPAR). November 2006, Phnom Penh (Cambodia).
[ Paper
| Slides
| BibTeX
]
Robert Nieuwenhuis and Albert Oliveras.
9th International Conference on Theory and Applications of Satisfiability Testing (SAT),
August 2006, Seattle (USA).
[ Paper
| BibTeX
]
Shuvendu K. Lahiri, Robert Nieuwenhuis and Albert Oliveras.
18th International Conference on Computer Aided Verification (CAV),
August 2006, Seattle (USA).
[ Paper
| Slides
| BibTeX
]
Robert Nieuwenhuis, Albert Oliveras.
12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). December 2005, Montego Bay (Jamaica).
[ Paper
| BibTeX
]
Robert Nieuwenhuis, Albert Oliveras.
17th International Conference on Computer Aided Verification (CAV),
July 2005, Edinburgh (Scotland).
[ Paper
| Detailed experimental results
| BibTeX
]
Robert Nieuwenhuis,
Albert Oliveras.
16th International Conference on Rewriting Techniques and Applications (RTA). April 2005, Nara (Japan).
[ Paper
| BibTeX
]
Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli
11th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). March 2005, Montevideo (Uruguay).
[ Paper
| Slides
| BibTeX
]
Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli
16th International Conference on Computer Aided Verification (CAV), July 2004, Boston (USA).
[ Paper
| Detailed experimental results
| Slides
| BibTeX
]
Robert Nieuwenhuis,
Albert Oliveras.
10th International Conference on Logic for Programming, Artificial Intelligence
and Reasoning (LPAR). September 2003, Almaty (Kazakhstan).
[ Paper
| Slides
| BibTeX
]
JOURNAL ARTICLES:
Ignasi Abío,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Valentin Mayer-Eichberger.
Journal of Artificial Intelligence Research (JAIR), 45: 443-480, 2012.
[ Paper |
BibTeX
]
Clark Barrett, Morgan Deters,
Leonardo de Moura,
Albert Oliveras and
Aaron Stump.
Journal of Automated Reasoning (JAR), to appear.
[ Paper |
BibTeX
]
Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
Constraints, 16(2):195-221.
[ Paper |
BibTeX
]
Cristina Borralleras,
Salvador Lucas,
Albert Oliveras,
Enric Rodríguez-Carbonell and
Albert Rubio.
Journal of Automated Reasoning (JAR) 48(1): 107-131.
[ Paper |
BibTeX
]
Javier Larrosa,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
Journal of Automated Reasoning (JAR), 46(1):81-102.
[ Paper |
BibTeX
]
Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras and
Enric Rodríguez-Carbonell.
AI Communications (AICOM), 23(2-3):145-157, 2010.
[ Paper |
BibTeX
]
Federico Heras,
Javier Larrosa,
Albert Oliveras.
Journal of Artificial Intelligence Research (JAIR), 31:1-32, January 2008.
[ Paper |
BibTeX
]
Clark Barrett,
Morgan Deters,
Albert Oliveras,
Aaron Stump.
International Journal on Artificial Intelligence Tools (IJAIT), 17(4):569-606, August 2008.
Robert Nieuwenhuis,
Albert Oliveras.
Information and Computation, 205(4):557-580, April 2007.
[ Paper |
BibTeX
]
Robert Nieuwenhuis,
Albert Oliveras and
Cesare Tinelli.
Journal of the ACM, 53(6): 937-977, November 2006.
[ Paper
| BibTeX
]
Professional activities (in reverse chronological order):
Barcelogic:
All previous implementations were merged into our system Barcelogic for SMT. It won all four categories of the 2005 SMT-Competition in which it participated. In the 2006 SMT-Competition it came second in all categories in which it participated. You can visit the Barcelogic for SMT website.
Photographs and others:
Some photographs:
Others: