2013 |
- BOOKTITLE:
- 13th International Conference on Application of Concurrency to System Design (ACSD)
- PAGES:
- 216--225
|
- BOOKTITLE:
- Logic Programming and Automated Reasoning, 19th International Conference, LPAR 2013, Stellenbosch, South Africa, December 15-19, 2013, Proceedings
- SERIES:
- Advanced Research in Computing and Software Science, LNCS ARCoSS
|
2012 |
- JOURNAL:
- Science of Computer Programming
- VOLUME:
- 77
- PAGES:
- 1095--1121
|
- BOOKTITLE:
- Formal Techniques for Distributed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7273
- PAGES:
- 84--100
|
- BOOKTITLE:
- Principles and Practice of Constraint Programming - CP 2012
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7514
- PAGES:
- 357--372
|
- BOOKTITLE:
- Theory and Applications of Satisfiability Testing - SAT 2012
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7317
- PAGES:
- 383--396
|
- BOOKTITLE:
- ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence
|
- BOOKTITLE:
- Formal Modeling and Analysis of Timed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7595
- PAGES:
- 171--187
|
2011 |
- BOOKTITLE:
- Theory and Practice of Algorithms in (Computer) Systems, First International ICST Conference, TAPAS 2011, Rome, Italy, April 18--20, 2011
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6595
- PAGES:
- 151--162
|
- JOURNAL:
- IET Computers and Digital Techniques
- VOLUME:
- 5
- PAGES:
- 479--492
|
- BOOKTITLE:
- ICTAI 2011 - 23rd IEEE International Conference on Tools with Artificial Intelligence
- PAGES:
- 649--658
|
- BOOKTITLE:
- Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6876
- PAGES:
- 385--399
|
- BOOKTITLE:
- 11th International Conference on Application of Concurrency to System Design (ACSD)
- PAGES:
- 185--194
|
- JOURNAL:
- Fundamenta Informatica
- VOLUME:
- 107
- PAGES:
- 289--311
|
2010 |
- BOOKTITLE:
- Tenth International Conference on Application of Concurrency to System Design (ACSD'2010)
- PAGES:
- 95--104
|
- BOOKTITLE:
- Proceedings of 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September 6-10)
- SERIES:
- Lecture Notes in Computer Science
- PAGES:
- 297--304
|
- BOOKTITLE:
- ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
- SERIES:
- Frontiers in Artificial Intelligence and Applications
- VOLUME:
- 215
- PAGES:
- 21--26
|
- BOOKTITLE:
- LPAR 2010
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6397
- PAGES:
- 372--386
|
- BOOKTITLE:
- Third International Workshop on Logic and Search
- PAGES:
- 1--16
|
2009 |
- JOURNAL:
- Journal on Satisfiability, Boolean Modeling and Computation
- VOLUME:
- 6
- PAGES:
- 223--244
|
- JOURNAL:
- Constraints
- VOLUME:
- 14
- PAGES:
- 325--356
|
|
- BOOKTITLE:
- AI*IA 2009
- SERIES:
- Lecture Notes in Artificial Intelligence
|
|
- AUTHORS:
- Cimatti Alessandro,
- Dubrovin Jori,
-
Junttila Tommi,
- Roveri Marco
- BOOKTITLE:
- FMCAD 2009
- PAGES:
- 9--16
|
2008 |
- BOOKTITLE:
- Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5330
- PAGES:
- 290--304
|
- BOOKTITLE:
- Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5253
- PAGES:
- 247--261
|
- BOOKTITLE:
- Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5330
- PAGES:
- 31--46
|
- BOOKTITLE:
- Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
- SERIES:
- Frontiers in Artificial Intelligence and Applications
- VOLUME:
- 178
- PAGES:
- 535--539
|
- BOOKTITLE:
- Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08)
- PAGES:
- 304--309
|
- BOOKTITLE:
- Intelligent Computer Mathematics (AISC/Calculemus/MKM 2008)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5144
- PAGES:
- 125--140
|
- BOOKTITLE:
- Proceedings of the 2008 8th International Conference on Application of Concurrency to System Design
- PAGES:
- 108--117
|
- BOOKTITLE:
- FMOODS 2008
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5051
- PAGES:
- 96--112
|
2007 |
- BOOKTITLE:
- Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics
|
- BOOKTITLE:
- Principles and Practice of Constraint Programming -- CP 2007
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4741
- PAGES:
- 348--363
|
|
|
|
|
2006 |
- BOOKTITLE:
- SAT 2006
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4121
- PAGES:
- 430--435
|
- BOOKTITLE:
- CAV 2006
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4144
- PAGES:
- 95--108
|
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- Ranise Silvio,
- van Rossum Peter,
- Sebastiani Roberto
- JOURNAL:
- Information and Computation
- VOLUME:
- 204
- PAGES:
- 1493--1525
|
- JOURNAL:
- Logical Methods in Computer Science
- VOLUME:
- 2
- PAGES:
- 1--64
|
- BOOKTITLE:
- MoDeV$^2$a: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006
- PAGES:
- 94--110
|
2005 |
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- van Rossum Peter,
- Schulz Stephan,
- Sebastiani Roberto
- BOOKTITLE:
- Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3440
- PAGES:
- 317--333
|
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- Ranise Silvio,
- van Rossum Peter,
- Sebastiani Roberto
- BOOKTITLE:
- CAV 2005
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3576
- PAGES:
- 335--349
|
- BOOKTITLE:
- CAV 2005
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3576
- PAGES:
- 98--111
|
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- van Rossum Peter,
- Schulz Stephan,
- Sebastiani Roberto
- JOURNAL:
- Journal of Automated Reasoning
- VOLUME:
- 35
- PAGES:
- 265--293
|
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- van Rossum Peter,
- Schulz Stephan,
- Sebastiani Roberto
|
|
- BOOKTITLE:
- Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3385
- PAGES:
- 380--395
|
- AUTHORS:
- Bozzano Marco,
- Bruttomesso Roberto,
- Cimatti Alessandro,
-
Junttila Tommi,
- van Rossum Peter,
- Schulz Stephan,
- Sebastiani Roberto
- BOOKTITLE:
- Automated Deduction -- CADE-20
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 3632
- PAGES:
- 315--321
|
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 44
- PAGES:
- 373--399
|
2004 |
- AUTHORS:
- Junttila Tommi A.
- BOOKTITLE:
- Application and Theory of Petri Nets 2004
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3099
- PAGES:
- 258--277
|
- AUTHORS:
- Junttila Tommi A.
- BOOKTITLE:
- Application of Concurrency to System Design 2004
- PAGES:
- 175--184
|
|
- BOOKTITLE:
- Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3312
- PAGES:
- 186--200
|
|
2003 |
|
2002 |
|
|
2001 |
|
- AUTHORS:
- Junttila Tommi A.
- JOURNAL:
- Journal of Universal Computer Science
- VOLUME:
- 7
- PAGES:
- 307--326
|
2000 |
|
- BOOKTITLE:
- Computational Logic -- CL 2000; First International Conference
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 1861
- PAGES:
- 553--567
|
1999 |
|
- AUTHORS:
- Junttila Tommi A.
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 37
- PAGES:
- 269-289
|
1998 |
- AUTHORS:
- Junttila Tommi A.
- BOOKTITLE:
- Workshop Concurrency, Specification & Programming
- SERIES:
- Informatik-Berichte
- PAGES:
- 116--127
|