Papers
2008
-
From soft constraints to bipolar preferences: modelling framework and solving issues
bista, pini, rossi, venable
JETAI
ACCETTATO
-
"C-semiring Frameworks for Minimum Spanning Tree Problems",
S. Bistarelli, F. Santini,
International Workshop on Algebraic Development Techniques (WADT 2008),
to appear in WADT'08 LNCS post-proceedings
-
A soft approach to multi-objective optimization, Stefano Bistarelli, Fabio Gadducci. Javier Larrosa and Emma Rollon,
International Conference on Logic Programming (ICLP 2008), Udine, Italy
Springer, Lecture Notes in Computer Science, Vol. , pp. , To appear
-
JOURNAL papero journal CH jimmy
accepted JETAI
-
A semiring-based approach to multi-objective optimization, Stefano Bistarelli, Fabio Gadducci. Javier Larrosa and Emma Rollon,
Principles and Practice of Constraint Programming CP2008. 10th Workshop on Preferences and Soft Constraints,
-
C-semiring Frameworks for MST and ST problems, S. Bistarelli,
F. Santini, International Workshop on Algebraic Development Techniques (WADT 2008), to appear in a
Technical Report of the Department of Computer Science - Pisa.
- Stefano Bistarelli and Francesco Santini,
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation,
VODCA 2008, to appear as ENTCS proceedings
- Stefano Bistarelli and Francesco Santini,
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation,
23-esimo Convegno Italiano di Logica Computazionale, CILC08,
- Stefano Bistarelli, fabio Fioravanti, Pamela Peretti and Irina Trubitsyna,
Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming,
23-esimo Convegno Italiano di Logica Computazionale, CILC08,
-
S.N. Foley, G. Bella, S. Bistarelli,
Security Protocol Deployment Risk
Security Protocols: 16th International Workshop, Revised Papers, Cambridge, England -- 16-18 April 2008
Springer, Lecture Notes in Computer Science, Vol. , pp. , To appear
ISBN
-
G.Bella, S.Bistarelli, F.Massacci,
Retaliation Against Protocol Attacks
Journal of Information Assurance and Security Accepted for publication Dynamic Publisher Inc., Atlanta, GA, USA To appear by end of 2008
ISSN: 1554-1010
- Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini,
Timed Soft Concurrent Constraint Programs,
Proceedings of Coordination 2008, Oslo, Norway, June 4-6, 2008
Springer, Lecture Notes in Computer Science, Vol.5052, pp. 50-66, 2008
ISBN: 978-3-540-68264-6
- Stefano Bistarelli, Fabio Martinelli, Francesco Santini,
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily,
Proceedings of Autonomic and Trusted Computing, 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008
Springer, Lecture Notes in Computer Science, Vol.5060, pp. 481-495, 2008
ISBN: 978-3-540-69294-2
- Stefano Bistarelli, Francesca Rossi,
Semiring-Based Soft Constraints,
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday,
Springer, Lecture Notes in Computer Science, Vol.5065, pp. 155-173, 2008
ISBN: 978-3-540-68676-7
-
Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management, S. Bistarelli, F.Santini Technical Report n.18-2007 , Institute of Informatics and Telematics, CNR Pisa.
-
SCLP for Trust Propagation in Small-World Networks, S. Bistarelli, F. Santini,
"Recent Advances in Constraints" post-proceedings of CSCLP'07, Springer-Verlag, LNAI series number 5129.
-
Formal and Practical Framework for Constraint-Based Routing, S. Bistarelli, F. Santini, Best Paper Award at ICN 2008, Proc. IEEE
-
Weighted Datalog and Levels of Trust, S. Bistarelli, F. martinelli, F. Santini, To appear, APE workshop @ ARES2008, Proc. IEEE
-
Propagating Multitrust within Trust Networks, S. Bistarelli, F. Santini, To appear, SAC 2008
2007
- Analyzing security scenarios using Defence Trees and Answer Set Programming
Stefano Bistarelli, Pamela Peretti and Irina Trubitsyna, in
Proc. 3rd International Workshop on Security and Trust Management. Dresden, Germany, 27 September 2007. Short paper. ENTCS
Vol 197/2 pp. 121-129,
- Answer Set Optimization for and/or composition of CP-nets:a security scenario
Stefano Bistarelli, Pamela Peretti and Irina Trubitsyna, in
Proc. CP 2007 (Providence, RH, September 2007), Springer LNCS
- Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli and Barry O'Sullivan, in
Proc. CP 2007 (Providence, RH, September 2007), Springer LNCS
- Uncertainty in bipolar preference problems
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, in
Proc. CP 2007 (Providence, RH, September 2007), Springer LNCS
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi and Francesco Santini, in
Proc. Fifth Workshop on Quantitative Aspects
of Programming Languages
QAPL'07, ENTCS
- An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem
C. Servin, M. Ceberio, S. Bistarelli, in
Proceedings of the North American Fuzzy Information Processing Society (NAFIPS07), IEEE, 2007.
- Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli and Barry OSullivan, in
Proceedings of the International Symmetry Conference, Edinburgh, 2007.
- Bipolar Preference Problems:
Framework, Properties and Solving Techniques
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Stefano Bistarelli, in
'Recent Advances in Constraints', Selected papers from 2006 ERCIM workshop on constraints, Lisbon, June 2006.
Springer, LNAI, 4651, pp. 78-92, 2007
- Using CP-nets as a guide for countermeasure selection
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, in
22nd ACM Symposium on Applied Computing (SAC2007), Track on Computer Security (6th edition),
To appear.
2006
- An Asymmetric Fingerprint Matching Algorithm for Java Card
S. Bistarelli, F. Santini, A. Vaccarelli, in
Pattern Analysis and Application Journal,
Springer, Volume 9, Issue 4 (October 2006), Pages 359-376, ISSN: 1433-7541
- Strategic games on defense trees
Stefano Bistarelli, Pamela Peretti and Marco Dall'Aglio, in
4th International Workshop in Formal Aspects in Security and Trust
(FAST 2006),
???
- Extending the Soft Constraint Based Mining Paradigm
Stefano Bistarelli and Francesco Bonchi, in
Proceedings of The 5th International Workshop on Knowledge Discovery in Inductive Databases (KDID'06), 18 September, 2006,
Lecture Notes in Computer Science, Volume ????, Springer Berlin, Germany.
- Augmented Risk Analysis
Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene, in
Proc. Second International Workshop on Views on Designing Complex Architectures (VODCA 2006),
Bertinoro, Italy
16-17 September 2006.
Electronic Notes in Theoretical Computer Science
Volume 168, Pages 1-248 (8 February 2007)
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi and Francesco Santini, in
Proc. 8th International Workshop on Preferences and Soft Constraints,
CP 2006
Twelfth International Conference on Principles and Practice of Constraint Programming
September 24-29, 2006 - Cité des Congrès - Nantes, France
- Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration
Simon N. Foley, William Fitzgerald, Stefano Bistarelli, Barry O'Sullivan and Mìcheàl Ò Foghlù, in
Proc. IPOM 2006,
6th IEEE International Workshop on
IP Operations and Management
October 23-25, Dublin, Ireland - held as part of Manweek 2006
- Soft Constraint Based Pattern Mining
Stefano Bistarelli and Francesco Bonchi, to appear in
Data &
Knowledge Engineering, Volume 62, Issue 1, July 2007
,
- Enhancing constraints manipulation in semiring-based formalisms
Stefano Bistarelli and Fabio Gadducci, in
Proc. ECAI 2006, Riva del Garda, August 28-September 1, 2006,
- Bipolar preference problems
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi and K. Brent Venable, in
Proc. ECAI 2006 (poster paper), Riva del Garda, August 28-September 1, 2006,
- Retaliation: Can We Live with Flaws?
G. Bella, S. Bistarelli, F. Massacci, in
NATO ARW Information Security Assurance and Security 2005 (ARWIAS'05) 3 Jun 2005 - 4 Jun 2005 : Tetuan, Morocco
,
IOS Press
- Defense trees for economic evaluation of security investments
S. Bistarelli, F. Fioravanti, P. Peretti, in
Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International
Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria,
IEEE Computer Society 2006, pages 416-423
-
Soft Constraints for Security,
G. Bella, S. Bistarelli, S. N.Foley,
in Proc. First International Workshop on Views On Designing Complex Architectures (VODCA 2004)
in Electronic Notes in Theoretical Computer Science (ENTCS), Volume 142, Pages 11-29, 2006
-
Soft
Concurrent Constraint Programming,
S. Bistarelli, U. Montanari and F. Rossi,
in ACM Transactions on Computational Logic (TOCL), Vol 7, N. 3, July 2006, pages 1--27
- Multilevel Security and Quality of Protection
S.N. Foley, S. Bistarelli, B. O'Sullivan, J. Herbert and G. Swart, in
Proc. First Workshop on Quality of Protection, Como, Italy, September 2005.
Quality Of Protection
Security Measurements and Metrics, Series: Advances in Information Security, Vol. 23, October 2006, Springer.
2005
-
Positive and negative preferences,
S. Bistarelli, M. S. Pini, F. Rossi, K. B. Venable, in
Proc. CP 2005 workshop on preferences and soft constraints (Soft 2005), Sitges, Spain, October 1st, 2005.
-
Interestingness is not a Dichotomy:
Introducing Softness in Constrained Pattern Mining,
S. Bistarelli and F. Bonchi, in
Proceedings of the Ninth European Conference on Principles and Practice of
Knowledge Discovery in Databases (PKDD'05)
Lecture Notes in Computer Science, Volume 3721, Springer, October 3-7, 2005, Porto, Portugal
-
A soft constraint-based approach to the cascade
vulnerability problem,
S. Bistarelli, S. N. Foley and B. O’Sullivan
Journal of Computer Security, Volume 13, N. 5, pp. 699 - 720; Special Issue: Security Track at ACM Symposium on
Applied Computing 2004
-
MOC via TOC Using a Mobile Agent Framework,
S. Bistarelli, S. Frassi, A. Vaccarelli
in
Proceedings of Audio- and Video-based Biometric Person Authentication 2005 (AVBPA2005),
Springer, LNCS
-
An Asymmetric Fingerprint Matching Algorithm for
Java CardTM,
S. Bistarelli, F. Santini, A. Vaccarelli
in
Proceedings of Audio- and Video-based Biometric Person Authentication 2005 (AVBPA2005),
Springer, LNCS
-
Information Assurance for Security Protocols,
G.Bella, S. Bistarelli,
Computers
& Security, , 24(4):322-333, 2005, Elsevier.
2004
-
Reasoning about Secure Interoperation using Soft Constraints,
Stefano Bistarelli, Simon N. Foley and Barry O’Sullivan,
in Proc. IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress,
August 22-27, 2004, Toulouse, France,
Series: IFIP International Federation for Information Processing, Vol. 173,
2005,
Kluwer,
ISBN: 0-387-24050-0
-
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints,
Stefano Bistarelli, Eugene C. Freuder, Barry O’Sullivan,
in 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004),
15-17 November 2004, Boca Raton, FL, USA. IEEE Computer Society 2004, ISBN 0-7695-2236-X,
pag 240-245
-
Combining Branch &
Bound and SBDD to solve Soft CSPs,
S. Bistarelli, B. O'Sullivan,
in Proc. CP2004 Fourth International Workshop
on Symmetry and Constraint Satisfaction Problems (SymCon'04)
-
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis,
S. Bistarelli, I. Cervesato, G. lenzini, F. Martinelli,
Journal of Computer Security, Volume 13, issue 1, 2005
-
Advancing Assurance for Secure Distributed Communications,
G.Bella, S. Bistarelli,
in 5th Annual IEEE Information Assurance Workshop,
"The West Point Workshop",
10-11 June 2004,
United States Military Academy,
West Point, New York
-
Detecting and Eliminating the Cascade
Vulnerability Problem from Multi-level Security Networks using Soft Constraints,
S. Bistarelli, S.N.Foley, B. O'Sullivan,
in Proc. Innovative Applications of Artificial Intelligence Conference
(IAAI-04), July 25-29, 2004, San Jose, California. AAAI Press New York, NY, USA
-
Semirings for Soft Constraint Solving and Programming,
S. Bistarelli,
Springer Lecture Notes in Computer Science, Vol. 2962,
2004, XII, 279 p. ISBN: 3-540-21181-0
-
Soft Constraint Programming to Analysing Security Protocol,
G. Bella and S. Bistarelli, in
Theory
and Practice of Logic Programming (TPLP), Cambridge University Press, (to appear).
-
Soft
Constraint Propagation and Solving in Constraint Handling Rules,
S. Bistarelli, T. Fruewirth, M. Marte, F. Rossi,
Computational
Intelligence, Special Issue on Preferences in AI and CP,
Blackwell Publishing, (to appear).
-
Modelling and Detecting the
Cascade Vulnerabiliy Problem using Soft Constraints,
S. Bistarelli, S.N.Foley, B. O'Sullivan,
in Proc. ACM Symposium on Applied Computing (SAC 2004),
March 14-17, 2004, Nicosia, Cyprus. ACM Press New York, NY, USA
"© ACM, YYYY. This is the author's
version of the work. It is posted here by permission of ACM for your personal
use. Not for redistribution. The definitive version was published in
Proceedings of the 19th symposium on Proceedings of the 2004 ACM symposium on
applied computing, {(March 2004)}
..."
-
Experimental Evaluation of Interchangeability in Soft CSPs,
N. Neagu, S. Bistarelli, B. Faltings,
"Recent Advances in Constraints, 2003" edited by K.R. Apt, F. Fages, F.
Rossi, P. Szeredi and J. Vancza,
Joint ERCIM/CoLogNET
International Workshop on Constraint Solving and Constraint Logic
Programming, CSCLP'03, Budapest, Hungary, June 30-July 2, 2003,
Selected Papers.
Springer Lecture Notes in Artificial Intelligence, Vol. 3010, 2004.
-
Tradeoff Generation using Soft Constraints,
S. Bistarelli, J. Kelleher, B. O'Sullivan,
"Recent Advances in Constraints, 2003" edited by K.R. Apt, F. Fages, F.
Rossi, P. Szeredi and J. Vancza,
Joint ERCIM/CoLogNET
International Workshop on Constraint Solving and Constraint Logic
Programming, CSCLP'03, Budapest, Hungary, June 30-July 2, 2003,
Selected Papers.
Springer Lecture Notes in Artificial Intelligence, Vol. 3010, 2004.
-
Abstracting Soft Constraints:
Some experimental results on Fuzzy CSPs,
S. Bistarelli, F. Rossi, I. Pilan,
"Recent Advances in Constraints, 2003" edited by K.R. Apt, F. Fages, F.
Rossi, P. Szeredi and J. Vancza,
Joint ERCIM/CoLogNET
International Workshop on Constraint Solving and Constraint Logic
Programming, CSCLP'03, Budapest, Hungary, June 30-July 2, 2003,
Selected Papers.
Springer Lecture Notes in Artificial Intelligence, Vol. 3010, 2004.
-
Symmetry Breaking in Soft CSPs,
S. Bistarelli, J. Keleher, B. O'Sullivan,
in
Proceedings of AI-2003, the Twenty-third SGAI International Conference on Knowledge-Based Systems and Applied Artificial Intelligence, 2004,
Springer,
BCS Conference Series "Research and Development in Intelligent Systems xx",
ISBN: 1-85233-780-X
-
A Theoretical Framework for Tradeoff Generation using Soft Constraints,
S. Bistarelli, B. O'Sullivan,
in
Proceedings of AI-2003, the Twenty-third SGAI International Conference on Knowledge-Based Systems and Applied Artificial Intelligence, 2004,
Springer,
BCS Conference Series "Research and Development in Intelligent Systems xx",
ISBN: 1-85233-780-X
2003
-
A Constraint-based Framework for the Cascade Vulnerability Problem,
S. Bistarelli, S.N.Foley, B. O'Sullivan,
in Proc. ICLP2003 Workshop on Constraint and Logic Programming
in Security (COLOPS2003),
9 December, Tata Institute of Fundamental Research (TIFR), Mumbay, India.
-
A local search framework for
semiring-based constraint satisfaction problems, S. Bistarelli,
S. K. L. Fung, J.H.M. Lee, H.F. Leung,
in Proc. CP2003 Workshop on Soft Constraints (Soft-2003),
29 September, Actons Hotel, Kinsale, County Cork, Ireland.
-
Symmetry breaking in soft csps,
S. Bistarelli, J. Kelleber, B. O'Sullivan,
in Proc. CP2003 Workshop on Soft Constraints (Soft-2003),
29 September, Actons Hotel, Kinsale, County Cork, Ireland.
-
Experimental Evaluation of Interchangeability in Soft CSPs,
N. Neagu, S. Bistarelli, B. Faltings,
Proc. Joint workshop of the ERCIM Working Group on Constraints
and the CoLogNET area on Constraint and Logic Programming
-
Modelling Tradeoffs Using Soft Constraints,
S. Bistarelli, B. O'Sullivan,
Proc. Joint workshop of the ERCIM Working Group on Constraints
and the CoLogNET area on Constraint and Logic Programming
-
Solving
Finite Domain Constraint Hierarchies by Local Consistency and Tree Search,
S. Bistarelli, Jimmy, codognet,
Proc. 9th International Conference Principles and Practice of Constraint Programming (CP 2003),
Kinsale, Ireland, September 29 - October 3, 2003
Proceedings Springer LNCS vol. 2833, ISBN 3-540-20202-1.
-
Relating Process Algebras and Multiset Rewriting for
Immediate Decryption Protocols,
S. Bistarelli, I. cervesato, G. Lenzini, F. martinelli,
Proc. Second International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security - MMM'03,
(V.I. Gorodetski, V.A. Skormin and L.J. Popyack, editors), pp. 88-101, Springer-Verlag LNAI 2776, St. Petersburg, Russia, 20-24 September 2003.
-
A Constraint Based
Framework for Dependability Goals: Integrity,
Stefano Bistarelli and Simon N Foley,
Proc. of the 22nd International Conference
on Computer Safety, Reliability and Security
(SAFECOMP2003), 23-26 September 2003, Edinburgh, Scotland, United Kingdom
Proceedings Springer LNCS vol. 2788.
-
On representing biological systems through multiset rewriting (extended version),
F. Martinelli, S. Bistarelli, I. Cervesato, G. Lenzini, and R. Marangoni
Proc. Workshop on
Computational Methods in Biomathematics - CMB'03 - Ninth International Conference on
Computer Aided Systems Theory (EUROCAST 2003), Las Palmas de Gran Canaria, Spain,
26 February 2003, Selected papers.
Proceedings Springer LNCS vol. 2809.
- Solving
Finite Domain Constraint Hierarchies by Local Consistency and Tree Search,
S. Bistarelli, P. Codognet, J. Lee, H.K.C. Hui,
in Proc. IJCAI2003, 2003
-
A protocol's life after attacks...,
G.Bella, S. Bistarelli, F. Massacci,
Proc. 11th International Workshop on Security Protocols
Cambridge, England
2-4 April 2003.
LNCS n.??
Also available slides of the talk.
-
Biometrics to Enhance Smartcard Security
(Simulating MOC using TOC),
G.Bella, S. Bistarelli, F. Martinelli,
Proc. 11th International Workshop on Security Protocols
Cambridge, England
2-4 April 2003.
LNCS n.??
Also available slides of the talk.
-
Analysis of Integrity Policies using Soft Constraints,
Stefano Bistarelli and Simon N Foley,
Proc. IEEE 4th International Workshop on Policies for Distributed Systems and Networks
(POLICY2003), Lake Como,Italy, June 4-6, 2003.
-
Computer Algebra for Fingerprint Matching,
S. Bistarelli, G. Boffi, F. Rossi,
Proc. International Workshop on Computer Algebra Systems and Their Applications,
CASA'2003, Saint Petersburg, June 2-4 2003. Part of the 2003 International Conference on Computational Science ICCS'03.
Springer Lecture Notes in Computer Science,
vols. 2657
-
Relating Process
Algebras and Multiset Rewriting for Security Protocol Analysis,
S. Bistarelli, I. Cervesato, G. Lenzini, F. Martinelli,
Proc. Workshop on Issues in the Theory of Security (WITS'03),
April 5 - 6, 2003, Warsaw, Poland
-
Representing biological systems through multiset rewriting,
F. Martinelli, S. Bistarelli, I. Cervesato, G. Lenzini, and R. Marangoni
Proc. Workshop on
Computational Methods in Biomathematics - CMB'03 - Ninth International Conference on
Computer Aided Systems Theory (EUROCAST 2003), Las Palmas de Gran Canaria, Spain, 26 February 2003
-
On the Computation of
Local Interchangeability in Soft Constraint Satisfaction Problems,
N.Neagu, S. Bistarelli, B. Faltings,
Special Track on Constraint Solving and Programming at the 16th International FLAIRS
Conference, 2003 (FLAIR2003), Casa Monica Hotel, St. Augustine, Florida,
USA - May 12-14, 2003,
AAAI Press
-
General Properties and Termination Conditions for Soft Constraint
Propagation, S. Bistarelli, R. Gennari, F. Rossi,
CONSTRAINTS: An international journal, Kluwer Academic Publishers,
January 2003,
Volume 8, Issue 1
2002
-
Interchangeability in Soft CSPs,
S. Bistarelli, B. Faltings, N. Neagu
Recent Advances in Constraints,
Joint ERCIM/CologNet International Workshop on Constraint
Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002.
Selected Papers.
Springer Lecture Notes in Artificial Intelligence, Vol.2627, 2003.
-
Interchangeability in Soft CSPs,
S. Bistarelli, B. Faltings, N. Neagu,
in
Proc. CP2002,
LNCS vol. 2470 Springer
-
Confidentiality levels
and deliberate/indeliberate protocol attacks,
G. Bella, S. Bistarelli, to appear in
Proc. Security Protocols 10th International Workshop,
Cambridge, UK, April, 2002, Revised Papers. LNCS vol.?? Springer
Also available slides of the talk.
-
Certificati per impronte digitali memorizzati su smartcard
L. Bechelli, S. Bistarelli, A. Vaccarelli
Technical Report n. 09-2002, Istituto di Informatica e Telematica, CNR Pisa.
-
Biometrics authentication with smartcard
L. Bechelli, S. Bistarelli, A. Vaccarelli
Technical Report n. 08-2002, Istituto di Informatica e Telematica, CNR Pisa.
-
Interchangeability in Soft CSPs
S. Bistarelli, B. Faltings, N. Neagu
Technical Report n. 07-2002, Istituto di Informatica e Telematica, CNR Pisa.
-
A Definition of Interchangeability for Soft CSPs,
S. Bistarelli, B. Faltings, N. Neagu
Proc. Joint Workshop of the
ERCIM Working Group on Constraints
and the
CologNet area on Constraint and Logic Programming
on
Constraint Solving and Constraint Logic Programming
Cork Constraint Computation Centre
University College Cork, Ireland.
19th-21st of June, 2002
-
CHR to model Soft Constraint Propagation,
S. Bistarelli, T. Fruwirth, M. Marte, F. Rossi, in
Proc. 11th International Workshop on Functional and (constraint) Logic Programming (WFLP2001),
Grado, Italy, June 20-22, 2002
-
Integrating Biometric Techniques with Electronic Signature for Remote Authentication,
L. Bechelli, S. Bistarelli, F. Martinelli, M. Petrocchi and A. Vaccarelli,
ERCIM News No. 49, April 2002
-
Security: Formal Methods at Work,
S. Bistarelli, F. Martinelli and M. Petrocchi,
ERCIM News No. 49, April 2002
-
Abstracting
Soft Constraints: Framework, Properties, Examples, S. Bistarelli,
P. Codognet, F. Rossi, in Artificial Intelligence vol. 139, n. 2, (2002), pp.175-211
elsevier
-
Soft Concurrent Constraint Programming, S. Bistarelli,
U. Montanari, F. Rossi, in Proc. ESOP, April 6 - 14, 2002, Grenoble,
France
Proceedings Springer LNCS vol. 2305.
-
Soft Constraint
logic Programming and Generalized Shortest Path Problems, S. Bistarelli,
U. Montanari, F. Rossi, in Journal
of Heuristics Kluwer Academic Publishers, 8(1): 25-41; Jan 2002.
-
Soft
Constraint Propagation and Solving in CHR, S. Bistarelli, T. Fruwirth,
M. Marte, F. Rossi, in Proc. ACM Symposium on Applied Computing (SAC 2002),
MArch 10-14, 2002, Madrid, Spain. ACM Press New York, NY, USA
"© ACM, YYYY. This is the author's
version of the work. It is posted here by permission of ACM for your personal
use. Not for redistribution. The definitive version was published in
Proceedings of the 17th symposium on Proceedings of the 2002 ACM symposium on
applied computing, {(March 2002)}
http://doi.acm.org/10.1145/508791.508793"
2001
-
Tecniche di Programmazione con Vincoli per la Validazione di una Base Dati Sul Sistema Fognario
S. Bistarelli, G. Ciardi, F. Moroni
Atti 5a Conferenza Nazionale ASITA: La Qualità nell’Informazione Geografica
Palacongressi di Rimini, 2001
-
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.
-
Soft Concurrent Constraint Programming, S. Bistarelli, U. Montanari, F.
Rossi, in on-line Proc. CP/ICLP'01 Post-Conference Workshop on
Modelling and Solving Problems with Soft Constraints, December 1, 2001, Paphos,
Cyprus.
-
Soft
Constraint Propagation and Solving in CHR (extended version), S. Bistarelli, T. Fruwirth,
M. Marte, F. Rossi, in on-line Proc. CP/ICLP'01 Post-Conference Workshop on
Rule-based Constraint Reasoning and Programming, December 1, 2001, Paphos,
Cyprus.
-
Soft Constraint
Solving and Programming: a general framework, S. Bistarelli, Ph.D.
Thesis TD-2-01, Computer Science Department, University of Pisa, 2001.
-
Semiring-Based
Constraint Logic Programming: Syntax and Semantics, S. Bistarelli,
U. Montanari, F. Rossi, in TOPLAS ACM Press New York, NY, USA,
Pages: 1 - 29 Vol. 23, issue 1, 2001ISSN:0164-0925
"© ACM, YYYY. This is the author's
version of the work. It is posted here by permission of ACM for your personal
use. Not for redistribution. The definitive version was published in
ACM Transactions on Programming Languages and Systems (TOPLAS), {VOL23, ISS1, (January 2001)}
http://doi.acm.org/10.1145/383721.383725"
-
Soft
Constraints for Security Protocol Analysis: Confidentiality, G. Bella,
S. Bistarelli, in Proc. PADL 2001, Las Vegas, Nevada, March 11-12, 2001,
Proceedings Springer LNCS vol. 1990.
2000
-
Higher-Order
Semiring Based Constraints, S. Bistarelli, U. Montanari, F. Rossi,
in on-line
Proc. CP2000 Post-Conference Workshop on MODELLING AND SOLVING SOFT
CONSTRAINTS, September 22, 2000, Singapore.
-
SCSPs
for modelling attacks to security protocols, G. Bella, S. Bistarelli,
in on-line Proc. CP2000 Post-Conference Workshop on MODELLING AND SOLVING SOFT
CONSTRAINTS, September 22, 2000, Singapore.
-
Constraint
Propagation for Soft Constraint Satisfaction Problems: Generalization and
Termination Conditions , S. Bistarelli, R. Gennari, F. Rossi, in Proc.
CP
2000 (Int. Conf. on Principles and Practice of Constraint Programming),
Springer, LNCS n. 1894.
-
An Abstraction
Framework for Soft Constraint and Its Relationship with Constraint Propagation,
S. Bistarelli, P. Codognet, F. Rossi, in Proc.
SARA2000
Symposium on Abstraction, Reformulation and Approximation, Springer
LNAI vol. 1864, 2000.
-
Abstracting
Soft Constraints, S. Bistarelli, P. Codognet, Y. Georget, F. Rossi,
to appear in Proc. Cyprus ERCIM/COMPULOG workshop, Cyprus, October
1999, Springer-Verlag LNAI n. 1865.
-
Labeling
and Partial Local Consistency for Soft Constraint Programming, S. Bistarelli,
P. Codognet, Y. Georget, F. Rossi, in Proc. Second
International Worksho on Practical Aspects of Declarative Languages (PADL'00),
Boston, January 2000, Springer-Verlag LNCS 1753, 2000, pp. 230-248.
1999
-
Abstracting
Soft Constraints, S. Bistarelli, P. Codognet, Y. Georget, F. Rossi,
in on-line
Proc. CP99 Post-Conference Workshop on MODELLING AND SOLVING SOFT CONSTRAINTS.
-
Labeling and Partial Arc Consistency for Soft Constraints, S. Bistarelli, P. Codognet,
Y. Georget, F. Rossi, in Proc. 1999
Joint Conference on Declarative Programming - AGP99.
-
SCLP
Semantics for (Multi-Criteria) Shortest Path Problems, S. Bistarelli,
U. Montanari, F. Rossi, in on-line
Proc. CP-AI-OR'99 Workshop on Integration of AI and OR techniques in Constraint
Programming for Combinatorial Optimization Problems.
-
Semiring-Based
CSPs and Valued CSPs: Frameworks, Properties, and Comparison, Stefano
Bistarelli, Helene Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex,
Gerard Verfaillie, in CONSTRAINTS: An international journal, Kluwer,
Vol.4, N.3, Kluwer, September 1999.
1998
-
Semiring-based
Constraint Logic Programming: Syntax and Semantics , S. Bistarelli,
U. Montanari, F. Rossi, in
Proc. Workshop del Progetto Cofinanziato Tecniche formali per la specifica,
l'analisi, la verifica, la sintesi e la trasformazione di sistemi software.
-
About arc-consistency
in semiring-based constraint problems, S. Bistarelli, F. Rossi, in
on-line
Proc. AI & Math Symposium 1998.
1997
- Semiring-based
Constraint Satisfaction and Optimization, Stefano Bistarelli, Ugo Montanari
and Francesca Rossi, in Journal of ACM, vol.44, n.2, pp. 201-236,
March 1997.
"© ACM, YYYY. This is the author's
version of the work. It is posted here by permission of ACM for your personal
use. Not for redistribution. The definitive version was published in
Journal of the ACM (JACM), {VOL44, ISS2, (March 1997)}
http://doi.acm.org/10.1145/256303.256306"
-
Semiring-based
Constraint Logic Programming, Stefano Bistarelli, Ugo Montanari, Francesca
Rossi, in Proc. IJCAI97, Morgan Kaufmann, 1997.
-
Constraints
and Agents for a Decentralized Network Infrastructure, Jean Marc Andreoli,
Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca
Rossi, in Proc. AAAI97
workshop on Constraints and Agents, 1997, AAAI Technical Report
WS-97-05, ISBN 1-57735-032-4.
-
An operational
model for the SCLP Language, S. Bistarelli and E. Riccobene, in on-line
Proc. ILPS97 workshop
on Tools and Environments for (Constraint) Logic Programming.
1996
-
Semiring-based
CSPs and Valued CSPs: Basic Properties and Comparison, Stefano Bistarelli,
Helene Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gerard Verfaillie,
in Over-Constrained Systems, Michael Jampel ed., Springer-Verlang,
LNCS 1106, 1996.
1995
Last update: