| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini |
Evaluation of complex security scenarios using defense trees and economic indexes.  |
J. Exp. Theor. Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini |
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. |
Expert Syst. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable |
Uncertainty in bipolar preference problems. |
J. Exp. Theor. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
Modeling and Solving AFs with a Constraint-Based Tool: ConArg. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Paola Campli, Francesco Santini |
Finding partitions of arguments with Dung's properties via SCSPs. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giorgio Gosti, Francesco Santini |
Solving Fuzzy DCSPs with Naming Games. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
ConArg: A Constraint-Based Computational Framework for Argumentation Systems. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable |
From soft constraints to bipolar preferences: modelling framework and solving issues. |
J. Exp. Theor. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini |
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. |
Security and Communication Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giorgio Gosti |
Solving Distributed CSPs Probabilistically. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini |
Unicast and multicast QoS routing with soft-constraint logic programming. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
A Common Computational Framework for Semiring-based Argumentation Systems. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini |
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. |
MICAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. |
ATC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee |
Solving finite domain constraint hierarchies by local consistency and tree search. |
J. Exp. Theor. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
Soft Constraints for Quality Aspects in Service Oriented Architectures |
YR-SOC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Paola Campli |
Fairness as a QoS Measure for Web Services |
YR-SOC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marco Bottalico, Stefano Bistarelli |
Constraint Based Languages for Biological Reactions. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Campli, Stefano Bistarelli |
Capturing Fair Computations on Concurrent Constraint Language. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Daniele Pirolandi, Francesco Santini |
Solving Weighted Argumentation Frameworks with Soft Constraints. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna |
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
A Soft Approach to Multi-objective Optimization. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
Timed Soft Concurrent Constraint Programs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
Propagating multitrust within trust networks. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
and-or graphs, soft constraint logic programming, trust propagation, trust network |
| 1 | Stefano Bistarelli, Francesco Santini |
A Formal and Practical Framework for Constraint-Based Routing. |
ICN |
2008 |
DBLP DOI BibTeX RDF |
Soft Constraint Logic Programming, Constraint-Based Routing |
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini |
From Marriages to Coalitions: A Soft CSP Approach. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giorgio Gosti |
Solving CSPs with Naming Games. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. |
ATC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
C-semiring Frameworks for Minimum Spanning Tree Problems. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon N. Foley, Giampaolo Bella, Stefano Bistarelli |
Security Protocol Deployment Risk. |
Security Protocols Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesca Rossi |
Semiring-Based Soft Constraints. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
Weighted Datalog and Levels of Trust. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
Soft Constraints for Dependable Service Oriented Architectures. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Bonchi |
Soft constraint based pattern mining. |
Data Knowl. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini |
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene |
Augmented Risk Analysis. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini |
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti |
Using CP-nets as a guide for countermeasure selection. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
SCLP for Trust Propagation in Small-World Networks. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
Constraint Symmetry for the Soft CSP. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna |
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable |
Uncertainty in Bipolar Preference Problems. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Simon N. Foley |
Soft Constraints for Security. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesca Rossi |
Editorial. |
J. Heuristics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Soft concurrent constraint programming. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Constraints, soft constraints, concurrent constraint programming |
| 1 | Stefano Bistarelli, Francesco Santini, Anna Vaccarelli |
An asymmetric fingerprint matching algorithm for Java Card TM. |
Pattern Anal. Appl. |
2006 |
DBLP DOI BibTeX RDF |
Match on Card, Java CardTM, Biometrics, Smartcard, Fingerprint matching |
| 1 | Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart |
Multilevel Security and Quality of Protection. |
Quality of Protection |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Gadducci |
Enhancing Constraints Manipulation in Semiring-Based Formalisms. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable |
Bipolar Preference Problems. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Bonchi |
Extending the Soft Constraint Based Mining Paradigm. |
KDID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan |
Special track editorial: constraint solving and programming. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti |
Strategic Games on Defense Trees. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
Security, Game Theory, Risk Analysis |
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable |
Bipolar Preference Problems: Framework, Properties and Solving Techniques. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú |
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. |
IPOM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti |
Defense trees for economic evaluation of security investments. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating multiset rewriting and process algebras for security protocol analysis. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
A soft constraint-based approach to the cascade vulnerability problem. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli |
Information Assurance for security protocols. |
Computers & Security |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Bonchi |
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. |
PKDD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan |
Editorial: special track on constraint solving and programming. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli |
MOC via TOC Using a Mobile Agent Framework. |
AVBPA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini, Anna Vaccarelli |
An Asymmetric Fingerprint Matching Algorithm for Java Card. |
AVBPA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi |
Soft Constraint Propagation and Solving in Constraint Handling Rules. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli |
Soft Constraint Programming to Analysing Security Protocols. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli |
Semirings for Soft Constraint Solving and Programming |
|
2004 |
DOI RDF |
|
| 1 | Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli |
Editorial message: special track on artificial intelligence, computational logic and image analysis. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
Modeling and detecting the cascade vulnerability problem using soft constraints. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
security, constraints, multilevel security, soft constraints |
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
Reasoning about Secure Interoperation Using Soft Constraints. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction, Secure interoperation |
| 1 | Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan |
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Rosella Gennari, Francesca Rossi |
General Properties and Termination Conditions for Soft Constraint Propagation. |
Constraints |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli |
Soft Constraint Programming to Analysing Security Protocols |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley |
Analysis of Integrity Policies using Soft Constraints. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi |
Computer Algebra for Fingerprint Matching. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
zero-dimensional ideals, Gröbner basis, non-linear polynomial systems, Sturm sequences, affine transformations, Fingerprint matching, point pattern matching |
| 1 | Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli |
AI and Computational Science Track Editorial. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
Tradeoff Generation Using Soft Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesca Rossi, Isabella Pilan |
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoleta Neagu, Stefano Bistarelli, Boi Faltings |
Experimental Evaluation of Interchangeability in Soft CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley |
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Fabio Massacci |
A Protocol's Life After Attacks.... |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli |
Biometrics to Enhance Smartcard Security. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli |
On Representing Biological Systems through Multiset Rewriting. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoleta Neagu, Stefano Bistarelli, Boi Faltings |
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. |
FLAIRS Conference |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Soft Constraint Logic Programming and Generalized Shortest Path Problems. |
J. Heuristics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Soft Concurrent Constraint Programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Francesca Rossi |
Abstracting soft constraints: Framework, properties, examples. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Thom W. Frühwirth, Michael Marte |
Soft constraint propagation and solving in CHRs. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
constraint reasoning algorithms, constraint programming |
| 1 | Stefano Bistarelli, Boi Faltings, Nicoleta Neagu |
Interchangeability in Soft CSPs. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli |
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. |
Security Protocols Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Soft Concurrent Constraint Programming. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Boi Faltings, Nicoleta Neagu |
Interchangeability in Soft CSPs. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Semiring-based contstraint logic programming: syntax and semantics. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
semantics, constraints, soft constraints |
| 1 | Giampaolo Bella, Stefano Bistarelli |
Soft Constraints for Security Protocol Analysis: Confidentiality. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi |
Labeling and Partial Local Consistency for Soft Constraint Programming. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Francesca Rossi |
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")