Address
CNR, Istituto per l’Informatica e la Telematica
Area della Ricerca di Pisa
Via G. Moruzzi, 1
I-56124 Pisa - Italy
Stefano Bistarelli
Education
Teaching
Activities
Research Interest
Research
Activities
Web: www.di.unipi.it/~bista/
e-mail: [email protected]
phone: +39 050 315.3438 office
Fax: +39 050 315.2593
17 April 2002
1994: Laurea (equivalent to a BS plus an MS), Computer Science department, University of Pisa,
Pisa, Italy. Thesis awarded A with honors.
1996: Admitted to the Phd course in Computer science in Pisa.
1997-2000: Attended several Ph.D. schools
•
“SNDIS97” and “SNDIS98”, Bertinoro, Italy
•
”Architecture Design and Validation Methods”, “Distributed Systems and Security”, “ECommerce and On-Line Algorithms”, Lipari, Italy.
•
“Summer School in (Constraint) Logic Programming”, Las Cruces, USA
•
“International Summer School on Constraints in Computational Logics”, Paris, France
2001: I awarded my Ph.D. in Computer Science department, University of Pisa, Pisa, Italy.
2001: EATCS award for the best Italian Phd Thesis.
1998-2002: support for the laboratory course of “Elementi di Informatica e Informatica
Documentale”, “Informatica I”, “Laboratorio di programmazione concorrente”
Constraint Solving and Programming, Soft computing, Security.
1994-1995: contract for the study of the AKL language; study of several local consistency
technique for the soft framework – Dipartimento di Informatica - Pisa.
2000-2001: Contract for the study of the relationships between the soft and the concurrent
constraint programming framework – Dipartimento di Informatica - Pisa..
2001: Post-doc on the topic “Constraint and abstract interpretation to mobile code security
analysis” – Dipartimento di Matematica Pura ed Applicata, Padova.
2001 - now: Post-doc on the topic “New technologies for a deeper analysis of security protocols” –
Istituto per le Applicazioni Telematiche - CNR, Pisa.
Visits
December 1997: INRIA Roquencourt, Paris. Cooperative work with P. Codognet and Y. Georget
for the implementation of the Soft CLP framework.
January 2000: Institute for Logic, Language and Computation (ILLC), University of Amsterdam,
Amsterdam, Netherlands. Cooperative work with the group of prof. Maarten de Rijke, group leader
computational logic.
January and December 2001: Computer Science department Ludwig-Maximilians-University,
Monaco, Germany. Cooperative work with T. Fruewirth for the implementation in CHR of the soft
constraint solving framework.
Organizational
activities
International
Experiences
Publicity Chair of the 4th International Conference on Principles and Practice of Constraint
Programming, 1998.
Support and marker at the 13th International Summer School for Computer Science Researchers
of Lipari (CT), Italy: Wide Area Network Programming.
Chair for the Special Track on Artificial Intelligence and Computational Logic, 2002 ACM
SYMPOSIUM ON APPLIED COMPUTING
PC member of APPIA-GULP-PRODE 2002, 2002 JOINT CONFERENCE ON DECLARATIVE
PROGRAMMING, Madrid, Spain, 16 - 18 September 2002
Invited talk in several Universities (London, Barcelona, Milano, Paris, Amsterdam, Pisa, Padova,
Pescara, Cork (Ireland)) and research center (SRI San Francisco, CNR Roma and Pisa). Paper
presentations in several conferences and workshops (Dagstuhl (Germany), New York, Pisa,
Paderborn (Germany), Ferrara (Italy), Washington, Boston, Singapore, Las Vegas, Madrid,
Grenoble,Cambridge).
Publications
Journal Papers
1. Semiring-Based Constraint Satisfaction and Optimization
S. Bistarelli, U. Montanari, F. Rossi
Journal of the ACM, ACM Press New York, NY, USA
Vol. 44, n.2 (March 1997), pp.201-236.
ISSN:0004-5411
2. Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie, H. Fargier
Constraints: an International journal, Kluwer Academic publisher
4(3): 199-240, September 1999 (stampato a Dordrecht (Olanda))
3. Semiring-Based Constraint Logic Programming: Syntax and Semantics
S. Bistarelli, U. Montanari, F. Rossi
ACM Transactions on Programming Languages and Systems (TOPLAS),
ACM Press New York, NY, USA, Pages: 1 - 29 Vol. 23, issue 1, 2001
ISSN:0164-0925
4. Soft Constraint logic Programming and Generalized Shortest Path Problems
S. Bistarelli, U. Montanari, F. Rossi
Journal of Heuristics, Kluwer Academic publisher
Vol. 8, n.1 (January 2001), pp.25-41
5. General Properties and termination Conditions for Soft Constraint propagation
S. Bistarelli, R. Gennari, F. Rossi
Constraints: an International journal, Kluwer Academic publisher
To appear
6. Abstracting Soft Constraints: Framework, Properties, Examples
S. Bistarelli, P. Codognet, F. Rossi
Artificial Intelligence, Elsevier Science
To appear
Collections of Contributions
1. Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison
S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, et G. Verfaillie
In M. Jampel, E. Freuder, and M. Maher, editors, Over-Constrained Systems (LNCS 1106,
Selected papers from the Workshop on Over-Constrained Systems at CP'95, reprints and
background papers)
pages 111-150. Springer, 1996. (stampato nel 1996 ad Heidelkberg (Germania))
International Conferences and Workshops with published proceedings
1. Constraint Solving Over Semirings
S. Bistarelli, U. Montanari, F. Rossi
Proc. of the 14th IJCAI, 1995,
Montreal, Canada, pp.624-630 (ISBN 1-55860-363-8)
2. Semiring-based Constraint Logic Programming
S. Bistarelli, U. Montanari, F. Rossi
Proc. Of the 16thvIJCAI, 1997
Morgan Kaufmann, 1997 (ISBN 1-55860-480-4)
3. Constraints and Agents for a Decentralized Network Infrastructure
J. M. Andreoli, S. Bistarelli, U. M. Borghoff, U. Montanari, R. Pareschi, F. Rossi
Proc. AAAI97 workshop on Constraints and Agents, 1997.
AAAI Technical Report WS-97-05
ISBN 1-57735-032-4
4. Labeling and Partial Local Consistency for Soft Constraint Programming
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
Proc. Second International Worksho on Practical Aspects of Declarative Languages (PADL'00)
Springer LNCS vol. 1753, 2000, pp. 230-248., ISBN 3-540-66992-2
5. An Abstraction Framework for Soft Constraint
S. Bistarelli, P. Codognet, F. Rossi
Proc. SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation)
Springer LNAI vol. 1864, p. 71-86, 2000, ISBN 3-540-67839-5
6. Abstracting Soft Constraints
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
Proc. Cyprus ERCIM/COMPULOG workshop
7.
8.
9.
10.
Springer Special Issue LNAI vol. 1865, p. 108-133, 2000, ISBN 3-540-67865-9
Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and
Termination Conditions
S. Bistarelli, R. Gennari, F. Rossi
Proc. CP 2000 (Int. Conf. on Principles and Practice of Constraint Programming)
Springer LNCS n. 1894, p. 83-97, 2000, ISBN 3-540-41053-8
Soft Constraints for Security Protocol Analysis: Confidentiality
G. Bella, S. Bistarelli
Proc. 3rd International Worksho on Practical Aspects of Declarative Languages (PADL'01)
Springer LNCS n. 1990, p. 108-122, 2001, ISBN 3-540-41768-0
Soft Constraint propagation and Solving in CHR
S. Bistarelli, T. Fruwirth, M. Marte, F. Rossi
Proc. . ACM Symposium on Applied Computing (SAC 2002)
Soft Concurrent Constraint Programming
S. Bistarelli, U. Montanari, F. Rossi
Proc. . ESOP 2002
Springer LNCS n. ???
International Workshops with informal proceedings
1.
An operational model for the SCLP Language
S. Bistarelli, E. Riccobene
Proc. ILPS97 workshop on Tools and Environments for (Constraint) Logic Programming
on-line: http://www.clip.dia.fi.upm.es/Tools_Environ/proceedings.html
2.
About arc-consistency in semiring-based constraint problems
S. Bistarelli, F. Rossi
Proc. AI & Math Symposium 1998
on-line: http://rutcor.rutgers.edu/~amai/aimath98/Proceedings.html
3.
SCLP Semantics for (Multi-Criteria) Shortest Path Problems
S. Bistarelli, U. Montanari, F. Rossi
Proc. CP-AI-OR'99 Workshop on Integration of AI and OR techniques in Constraint Programming for
Combinatorial Optimization Problems
on-line: http://www.math.unipd.it/~frossi/cp99-soft/
Labeling and Partial Arc Consistency for Soft Constraint Programming
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
Proc. 1999 Joint Conference on Declarative Programming - AGP99
M. C. Meo and M. V. Ferro Eds.
Abstracting Soft Constraints
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
Proc. CP99 post conference workshop on Modeling And Solving Soft Constraints
http://www.math.unipd.it/~frossi/cp99-soft/
Higher-Order Semiring Based Constraints
S. Bistarelli, U. Montanari, F. Rossi
Proc. CP2000 post conforence workshop on Modeling And Solving Soft Constraints
4.
5.
6.
7.
8.
9.
http://www.math.unipd.it/~frossi/cp2000-soft/
SCSPs for modelling attacks to security protocols
G. Bella, S. Bistarelli
Proc. CP2000 post conforence workshop on Modeling And Solving Soft Constraints
http://www.math.unipd.it/~frossi/cp2000-soft/
Soft Concurrent Constraint programming
S. Bistarelli, U. Montanari, F. Rossi
in Proc. CP/ICLP'01 Post-Conference Workshop on Modelling and Solving Problems with Soft
Constraints
http://www.lsi.upc.es/~larrosa/Soft01.html
Soft Constraint propagation and Solving in CHR
S. Bistarelli, T. Fruwirth, M. Marte, F. Rossi
in Proc. CP/ICLP'01 Post-Conference Workshop on Rule-based Constraint Reasoning and
Programming
http://www.pms.informatik.uni-muenchen.de/ereignisse/iclpr2001.html
Technical Reports
1. Soft Constraint Solving and Programming: a general framework,
S. Bistarelli,
Ph.D. Thesis TD-2-01, Computer Science Department, University of Pisa, 2001.
2. Soft Constraint Programming to Analysing Security Protocols,
G. Bella, S. Bistarelli,
Technical Report TR-IAT-B4-2001-013, Istituto per le Applicazioni Telematiche, CNR Pisa.