General Properties and Termination Conditions for Soft Constraint Propagation.
Bistarelli, S.; Gennari, R.; and Rossi, F.
Constraints An Int. J., 8(1): 79–97. 2003.
Paper
doi
link
bibtex
@article{DBLP:journals/constraints/BistarelliGR03,
author = {Stefano Bistarelli and
Rosella Gennari and
Francesca Rossi},
title = {General Properties and Termination Conditions for Soft Constraint
Propagation},
journal = {Constraints An Int. J.},
volume = {8},
number = {1},
pages = {79--97},
year = {2003},
url = {https://doi.org/10.1023/A:1021950728713},
doi = {10.1023/A:1021950728713},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BistarelliGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
Bistarelli, S.; Codognet, P.; Hui, K. C.; and Lee, J. H.
In Rossi, F., editor(s),
Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, volume 2833, of
Lecture Notes in Computer Science, pages 138–152, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/cp/BistarelliCHL03,
author = {Stefano Bistarelli and
Philippe Codognet and
Kin Chuen Hui and
Jimmy Ho{-}Man Lee},
editor = {Francesca Rossi},
title = {Solving Finite Domain Constraint Hierarchies by Local Consistency
and Tree Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {138--152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_10},
doi = {10.1007/978-3-540-45193-8\_10},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/BistarelliCHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.
Bistarelli, S.; Rossi, F.; and Pilan, I.
In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s),
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of
Lecture Notes in Computer Science, pages 107–123, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/csclp/BistarelliRP03,
author = {Stefano Bistarelli and
Francesca Rossi and
Isabella Pilan},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {107--123},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_6},
doi = {10.1007/978-3-540-24662-6\_6},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BistarelliRP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Tradeoff Generation Using Soft Constraints.
Bistarelli, S.; Kelleher, J.; and O'Sullivan, B.
In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s),
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of
Lecture Notes in Computer Science, pages 124–139, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/csclp/BistarelliKO03,
author = {Stefano Bistarelli and
Jerome Kelleher and
Barry O'Sullivan},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Tradeoff Generation Using Soft Constraints},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {124--139},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_7},
doi = {10.1007/978-3-540-24662-6\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csclp/BistarelliKO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Experimental Evaluation of Interchangeability in Soft CSPs.
Neagu, N.; Bistarelli, S.; and Faltings, B.
In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s),
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of
Lecture Notes in Computer Science, pages 140–153, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/csclp/NeaguBF03,
author = {Nicoleta Neagu and
Stefano Bistarelli and
Boi Faltings},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Experimental Evaluation of Interchangeability in Soft CSPs},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {140--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_8},
doi = {10.1007/978-3-540-24662-6\_8},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csclp/NeaguBF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
On Representing Biological Systems through Multiset Rewriting.
Bistarelli, S.; Cervesato, I.; Lenzini, G.; Marangoni, R.; and Martinelli, F.
In Moreno-Díaz, R.; and Pichler, F., editor(s),
Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers, volume 2809, of
Lecture Notes in Computer Science, pages 415–426, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/eurocast/BistarelliCLMM03,
author = {Stefano Bistarelli and
Iliano Cervesato and
Gabriele Lenzini and
Roberto Marangoni and
Fabio Martinelli},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler},
title = {On Representing Biological Systems through Multiset Rewriting},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2003, 9th International
Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 24-28, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2809},
pages = {415--426},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45210-2\_38},
doi = {10.1007/978-3-540-45210-2\_38},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BistarelliCLMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems.
Neagu, N.; Bistarelli, S.; and Faltings, B.
In Russell, I.; and Haller, S. M., editor(s),
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA, pages 187–191, 2003. AAAI Press
Paper
link
bibtex
@inproceedings{DBLP:conf/flairs/NeaguBF03,
author = {Nicoleta Neagu and
Stefano Bistarelli and
Boi Faltings},
editor = {Ingrid Russell and
Susan M. Haller},
title = {On the Computation of Local Interchangeability in Soft Constraint
Satisfaction Problems},
booktitle = {Proceedings of the Sixteenth International Florida Artificial Intelligence
Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
{USA}},
pages = {187--191},
publisher = {{AAAI} Press},
year = {2003},
url = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-037.php},
timestamp = {Wed, 26 Oct 2022 08:35:31 +0200},
biburl = {https://dblp.org/rec/conf/flairs/NeaguBF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Computer Algebra for Fingerprint Matching.
Bistarelli, S.; Boffi, G.; and Rossi, F.
In Sloot, P. M. A.; Abramson, D.; Bogdanov, A. V.; Dongarra, J. J.; Zomaya, A. Y.; and Gorbachev, Y. E., editor(s),
Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, volume 2657, of
Lecture Notes in Computer Science, pages 811–820, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/iccS/BistarelliBR03,
author = {Stefano Bistarelli and
Giandomenico Boffi and
Fabio Rossi},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {Computer Algebra for Fingerprint Matching},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2657},
pages = {811--820},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44860-8\_84},
doi = {10.1007/3-540-44860-8\_84},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/BistarelliBR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
Bistarelli, S.; Codognet, P.; Hui, K. C.; and Lee, J. H.
In Gottlob, G.; and Walsh, T., editor(s),
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pages 1364–1365, 2003. Morgan Kaufmann
Paper
link
bibtex
@inproceedings{DBLP:conf/ijcai/BistarelliCHL03,
author = {Stefano Bistarelli and
Philippe Codognet and
Kin Chuen Hui and
Jimmy Ho{-}Man Lee},
editor = {Georg Gottlob and
Toby Walsh},
title = {Solving Finite Domain Constraint Hierarchies by Local Consistency
and Tree Search},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1364--1365},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/200.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BistarelliCHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Analysis of Integrity Policies using Soft Constraints.
Bistarelli, S.; and Foley, S. N.
In
4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pages 77–80, 2003. IEEE Computer Society
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/policy/BistarelliF03,
author = {Stefano Bistarelli and
Simon N. Foley},
title = {Analysis of Integrity Policies using Soft Constraints},
booktitle = {4th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2003), 4-6 June 2003, Lake Como, Italy},
pages = {77--80},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/POLICY.2003.1206959},
doi = {10.1109/POLICY.2003.1206959},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BistarelliF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
AI and Computational Science Track Editorial.
Hung, C.; Rosa, A. C.; and Bistarelli, S.
In Lamont, G. B.; Haddad, H.; Papadopoulos, G. A.; and Panda, B., editor(s),
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1, 2003. ACM
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/sac/HungRB03,
author = {Chih{-}Cheng Hung and
Agostinho C. Rosa and
Stefano Bistarelli},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {{AI} and Computational Science Track Editorial},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {1},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952534},
doi = {10.1145/952532.952534},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/HungRB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.
Bistarelli, S.; and Foley, S. N.
In Anderson, S.; Felici, M.; and Littlewood, B., editor(s),
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, volume 2788, of
Lecture Notes in Computer Science, pages 130–143, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/safecomp/BistarelliF03,
author = {Stefano Bistarelli and
Simon N. Foley},
editor = {Stuart Anderson and
Massimo Felici and
Bev Littlewood},
title = {A Constraint Framework for the Qualitative Analysis of Dependability
Goals: Integrity},
booktitle = {Computer Safety, Reliability, and Security, 22nd International Conference,
{SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2788},
pages = {130--143},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39878-3\_11},
doi = {10.1007/978-3-540-39878-3\_11},
timestamp = {Sun, 02 Jun 2019 21:26:43 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BistarelliF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A Theoretical Framework for Tradeoff Generation using Soft Constraints.
Bistarelli, S.; and O'Sullivan, B.
In Coenen, F.; Preece, A. D.; and Macintosh, A., editor(s),
Research and Development in Intelligent Systems XX, Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 15-17 December, 2003, pages 69–82, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/sgai/BistarelliO03,
author = {Stefano Bistarelli and
Barry O'Sullivan},
editor = {Frans Coenen and
Alun D. Preece and
Ann Macintosh},
title = {A Theoretical Framework for Tradeoff Generation using Soft Constraints},
booktitle = {Research and Development in Intelligent Systems XX, Proceedings of
AI2003, the Twenty-third {SGAI} International Conference on Innovative
Techniques and Applications of Artificial Intelligence, Cambridge,
UK, 15-17 December, 2003},
pages = {69--82},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-0-85729-412-8\_6},
doi = {10.1007/978-0-85729-412-8\_6},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sgai/BistarelliO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Symmetry Breaking in Soft CSPs.
Bistarelli, S.; Kelleher, J.; and O'Sullivan, B.
In Coenen, F.; Preece, A. D.; and Macintosh, A., editor(s),
Research and Development in Intelligent Systems XX, Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 15-17 December, 2003, pages 199–212, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/sgai/BistarelliKO03,
author = {Stefano Bistarelli and
Jerome Kelleher and
Barry O'Sullivan},
editor = {Frans Coenen and
Alun D. Preece and
Ann Macintosh},
title = {Symmetry Breaking in Soft CSPs},
booktitle = {Research and Development in Intelligent Systems XX, Proceedings of
AI2003, the Twenty-third {SGAI} International Conference on Innovative
Techniques and Applications of Artificial Intelligence, Cambridge,
UK, 15-17 December, 2003},
pages = {199--212},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-0-85729-412-8\_15},
doi = {10.1007/978-0-85729-412-8\_15},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sgai/BistarelliKO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A Protocol's Life After Attacks...
Bella, G.; Bistarelli, S.; and Massacci, F.
In Christianson, B.; Crispo, B.; Malcolm, J. A.; and Roe, M., editor(s),
Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers, volume 3364, of
Lecture Notes in Computer Science, pages 3–10, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/spw/BellaBM03,
author = {Giampaolo Bella and
Stefano Bistarelli and
Fabio Massacci},
editor = {Bruce Christianson and
Bruno Crispo and
James A. Malcolm and
Michael Roe},
title = {A Protocol's Life After Attacks...},
booktitle = {Security Protocols, 11th International Workshop, Cambridge, UK, April
2-4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3364},
pages = {3--10},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11542322\_2},
doi = {10.1007/11542322\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spw/BellaBM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Biometrics to Enhance Smartcard Security.
Bella, G.; Bistarelli, S.; and Martinelli, F.
In Christianson, B.; Crispo, B.; Malcolm, J. A.; and Roe, M., editor(s),
Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers, volume 3364, of
Lecture Notes in Computer Science, pages 324–332, 2003. Springer
Paper
doi
link
bibtex
@inproceedings{DBLP:conf/spw/BellaBM03a,
author = {Giampaolo Bella and
Stefano Bistarelli and
Fabio Martinelli},
editor = {Bruce Christianson and
Bruno Crispo and
James A. Malcolm and
Michael Roe},
title = {Biometrics to Enhance Smartcard Security},
booktitle = {Security Protocols, 11th International Workshop, Cambridge, UK, April
2-4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3364},
pages = {324--332},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11542322\_39},
doi = {10.1007/11542322\_39},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spw/BellaBM03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Soft Constraint Programming to Analysing Security Protocols.
Bella, G.; and Bistarelli, S.
CoRR, cs.CR/0312025. 2003.
Paper
link
bibtex
@article{DBLP:journals/corr/cs-CR-0312025,
author = {Giampaolo Bella and
Stefano Bistarelli},
title = {Soft Constraint Programming to Analysing Security Protocols},
journal = {CoRR},
volume = {cs.CR/0312025},
year = {2003},
url = {http://arxiv.org/abs/cs/0312025},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CR-0312025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}