default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefano Bistarelli
Person information
SPARQL queries 
🛈 Please note that only 70% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j60]Stefano Bistarelli, Carlo Taticchi:
A concurrent language for modelling agents arguing on a shared argumentation space. Argument Comput. 15(1): 21-48 (2024)- [j59]Stefano Bistarelli, Andrea Imparato, Francesco Santini:
A TCP-based covert channel with integrity check and retransmission. Int. J. Inf. Sec. 23(6): 3481-3512 (2024) - [c190]Stefano Bistarelli, Marco Cuccarini:
BERT-based Questions Answering on Close Domains: Preliminary Report. CILC 2024 - [c189]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Preserving Privacy in a (Timed) Concurrent Language for Argumentation. CILC 2024 - [c188]Stefano Bistarelli, Carlo Taticchi:
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks. CILC 2024 - [c187]Stefano Bistarelli, Francesco Santini, Luca Maria Tutino:
A Short Survey on Bitcoin Price Prediction. DLT 2024 - [c186]Stefano Bistarelli, Marco Fiore, Antonio Ignazio Lazzizera, Ivan Mercanti, Marina Mongiello:
Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages. DLT 2024 - [c185]Stefano Bistarelli, Gianlorenzo Giuliani, Ivan Mercanti, Francesco Santini:
An In-depth Analysis of Mining Pools Revenue. DLT 2024 - [c184]Stefano Bistarelli, Chiara Luchini, Francesco Santini:
Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control. DLT 2024 - [c183]Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Analyzing the Fairness of Proof of Stake Ethereum. DLT 2024 - [c182]Stefano Bistarelli
, Francesco Santini:
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security. ISoLA (1) 2024: 373-391 - [c181]Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini:
A Preliminary Study on the Creation of a Covert Channel with HTTP Headers. ITASEC 2024 - [c180]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Modelling Dialogues in a Concurrent Language for Argumentation. LPNMR 2024: 290-303 - 2023
- [j58]Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35(16) (2023) - [j57]Stefano Bistarelli, Francesco Faloci, Paolo Mori:
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems. Future Gener. Comput. Syst. 149: 679-700 (2023) - [j56]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33(4): 712-737 (2023) - [j55]Stefano Bistarelli, Carlo Taticchi:
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. J. Log. Comput. 33(8): 1872-1897 (2023) - [j54]Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo:
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Theory Pract. Log. Program. 23(6): 1307-1333 (2023) - [c179]Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini:
A Survey of Steganography Tools at Layers 2-4 and HTTP. ARES 2023: 81:1-81:9 - [c178]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. AI³@AI*IA 2023 - [c177]Stefano Bistarelli, Carlo Taticchi:
Deriving Dependency Graphs from Abstract Argumentation Frameworks. AI*IA 2023: 17-29 - [c176]Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi:
Temporal Probabilistic Argumentation Frameworks. CILC 2023 - [c175]Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan:
Modeling Carne PRI supply chain with the *-Chain Platform. DLT 2023 - [c174]Stefano Bistarelli, Ivan Mercanti, Francesco Santini:
Enforcing Confidentiality in Tornado Cash-based E-voting Systems. DLT 2023 - [c173]Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi:
Towards a Temporal Probabilistic Argumentation Framework. FLAIRS 2023 - [c172]Stefano Bistarelli, Francesco Micheli, Francesco Santini:
A Survey on Decentralized Identifier Methods for Self Sovereign Identity. ITASEC 2023 - [c171]Stefano Bistarelli, Andrea Imparato, Francesco Santini:
A TCP-based Covert Channel with Integrity Check and Retransmission. PST 2023: 1-7 - [c170]Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti:
Towards automated verification of Bitcoin-based decentralised applications. SAC 2023: 262-269 - [e7]Paolo Mori, Ivan Visconti, Stefano Bistarelli:
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023. CEUR Workshop Proceedings 3460, CEUR-WS.org 2023 [contents] - [i12]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. CoRR abs/2306.07675 (2023) - 2022
- [j53]Stefano Bistarelli, Carlo Taticchi:
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. J. Log. Comput. 32(2): 281-306 (2022) - [c169]Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi:
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time. AI³@AI*IA 2022 - [c168]Stefano Bistarelli, Carlo Taticchi:
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report. AI³@AI*IA 2022 - [c167]Stefano Bistarelli, Marco Marcozzi, Gianmarco Mazzante, Leonardo Mostarda, Alfredo Navarra, Davide Sestili:
Blockchain and IoT Integration for Pollutant Emission Control. AINA (3) 2022: 255-264 - [c166]Stefano Bistarelli, Carlo Taticchi:
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. CILC 2022: 279-293 - [c165]Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi:
An Argumentative Explanation of Machine Learning Outcomes. COMMA 2022: 347-348 - [c164]Stefano Bistarelli, Bruno Lazo La Torre Montalvo, Ivan Mercanti, Francesco Santini:
An E-Voting System Based on Tornado Cash. ETAA 2022: 120-135 - [c163]Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi:
Arg-XAI: a Tool for Explaining Machine Learning Results. ICTAI 2022: 205-212 - [c162]Stefano Bistarelli, Emanuele Bosimini, Francesco Santini:
On Identifying Repeated Patterns of OT Attacks with LOGistICS. ITASEC 2022: 17-29 - [c161]Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi:
Olive Oil as Case Study for the *-Chain Platform. DLT@ITASEC 2022: 94-102 - [c160]Stefano Bistarelli, Francesco Santini:
A Definition of Sceptical Semantics in the Constellations Approach. LPNMR 2022: 62-74 - [c159]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL 2022: 101-116 - 2021
- [j52]Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi:
Summary Report for the Third International Competition On Computational Models of Argumentation. AI Mag. 42(3): 70-73 (2021) - [j51]Stefano Bistarelli, Francesco Santini:
Weighted Argumentation. FLAP 8(6): 1589-1622 (2021) - [j50]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs. Inf. Process. Lett. 169: 106107 (2021) - [j49]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
ConArgLib: an argumentation library with support to search strategies and parallel search. J. Exp. Theor. Artif. Intell. 33(6): 891-918 (2021) - [c158]Stefano Bistarelli, Emanuele Bosimini, Francesco Santini:
A Medium-Interaction Emulation and Monitoring System for Operational Technology. ARES 2021: 118:1-118:7 - [c157]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Concurrent Argumentation with Time: an Overview. AI³@AI*IA 2021 - [c156]Stefano Bistarelli, Carlo Taticchi, Francesco Santini:
A Chatbot Extended with Argumentation. AI³@AI*IA 2021 - [c155]Stefano Bistarelli, Francesco Faloci, Paolo Mori:
*.chain: automatic coding of smart contracts and user interfaces for supply chains. BCCA 2021: 164-171 - [c154]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation. CILC 2021: 1-15 - [c153]Stefano Bistarelli, Francesco Faloci, Paolo Mori:
Towards a Graphical DSL for Tracing Supply Chains on Blockchain. Euro-Par Workshops 2021: 219-229 - [c152]Carlo Taticchi, Stefano Bistarelli:
Extending Labelling Semantics to Weighted Argumentation Frameworks. FLAIRS 2021 - [c151]Stefano Bistarelli, Carlo Taticchi:
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. ICTCS 2021: 93-106 - [c150]Stefano Bistarelli, Carlo Taticchi:
Introducing a Tool for Concurrent Argumentation. JELIA 2021: 18-24 - [c149]Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini:
Highlighting poor anonymity and security practice in the blockchain of Bitcoin. SAC 2021: 265-272 - 2020
- [j48]Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai:
Energy allocation and payment: a game-theoretic approach. Ann. Math. Artif. Intell. 88(7): 793-816 (2020) - [j47]Stefano Bistarelli, Francesco Santini:
Abstract argumentation and (optimal) stable marriage problems. Argument Comput. 11(1-2): 15-40 (2020) - [j46]Theofrastos Mantadelis, Stefano Bistarelli:
Probabilistic abstract argumentation frameworks, a possible world view. Int. J. Approx. Reason. 119: 204-219 (2020) - [j45]Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi:
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Internet Things 11: 100198 (2020) - [c148]Stefano Bistarelli, Carlo Taticchi:
A Concurrent Language for Argumentation. AI³@AI*IA 2020: 75-89 - [c147]Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi:
A First Overview of ICCMA'19. AI³@AI*IA 2020: 90-102 - [c146]Stefano Bistarelli, Carlo Taticchi:
Towards an Implementation of a Concurrent Language for Argumentation. AI*IA 2020: 154-171 - [c145]Stefano Bistarelli, Carlo Taticchi:
A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift 2020: 9:1-9:22 - [c144]Stefano Bistarelli, Carlo Taticchi:
A Labelling Semantics for Weighted Argumentation Frameworks. CILC 2020: 263-277 - [c143]Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran:
Ranking-Based Semantics from the Perspective of Claims. COMMA 2020: 111-122 - [c142]Stefano Bistarelli, Emanuele Bosimini, Francesco Santini:
A Report on the Security of Home Connections with IoT and Docker Honeypots. ITASEC 2020: 60-70 - [p2]Stefano Bistarelli:
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems. Decision Making under Constraints 2020: 33-43 - [e6]Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi:
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020. Frontiers in Artificial Intelligence and Applications 326, IOS Press 2020, ISBN 978-1-64368-106-1 [contents]
2010 – 2019
- 2019
- [j44]Stefano Bistarelli, Ivan Mercanti, Francesco Santini:
An Analysis of Non-standard Transactions. Frontiers Blockchain 2: 7 (2019) - [j43]Stefano Bistarelli, Francesco Santini, Paolo Torroni:
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Fundam. Informaticae 166(2): 139-140 (2019) - [j42]Stefano Bistarelli, Ivan Mercanti, Paolo Santancini, Francesco Santini:
End-to-End Voting with Non-Permissioned and Permissioned Ledgers. J. Grid Comput. 17(1): 97-118 (2019) - [j41]Pierpaolo Dondio, Luca Longo, Stefano Bistarelli:
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence. Intelligenza Artificiale 13(2): 121-122 (2019) - [j40]Stefano Bistarelli, Carlo Taticchi:
Power index-based semantics for ranking arguments in abstract argumentation frameworks. Intelligenza Artificiale 13(2): 137-154 (2019) - [c141]Stefano Bistarelli, Carlo Taticchi:
Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks. AI³@AI*IA 2019: 45-49 - [c140]Stefano Bistarelli, Francesco Santini:
An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks. AI³@AI*IA 2019: 80-84 - [c139]Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi:
Analysis of Ethereum Smart Contracts and Opcodes. AINA 2019: 546-558 - [c138]Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi:
A Tool For Ranking Arguments Through Voting-Games Power Indexes. CILC 2019: 193-201 - [c137]Stefano Bistarelli, Claudio Pannacci, Francesco Santini:
CapBAC in Hyperledger Sawtooth. DAIS 2019: 152-169 - [c136]Stefano Bistarelli, Francesco Faloci, Carlo Taticchi:
Implementing Ranking-Based Semantics in ConArg. ICTAI 2019: 1180-1187 - [c135]Stefano Bistarelli, Gianna Figà-Talamanca, Francesco Lucarini, Ivan Mercanti:
Studying forward looking bubbles in Bitcoin/USD exchange rates. IDEAS 2019: 15:1-15:9 - [c134]Stefano Bistarelli, Theofrastos Mantadelis:
A Possible World View and a Normal Form for the Constellation Semantics. JELIA 2019: 58-68 - [c133]Stefano Bistarelli, Francesco Santini:
Well-Foundedness in Weighted Argumentation Frameworks. JELIA 2019: 69-84 - [c132]Ryuta Arisaka, Francesco Santini, Stefano Bistarelli:
Block Argumentation. PRIMA 2019: 618-626 - [e5]Paolo Mori, Massimo Bartoletti, Stefano Bistarelli:
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019. CEUR Workshop Proceedings 2334, CEUR-WS.org 2019 [contents] - [i11]Ryuta Arisaka, Stefano Bistarelli, Francesco Santini:
Block Argumentation. CoRR abs/1901.06378 (2019) - [i10]Stefano Bistarelli, Francesco Faloci, Carlo Taticchi:
Implementing Ranking-Based Semantics in ConArg: a Preliminary Report. CoRR abs/1908.07784 (2019) - 2018
- [j39]Stefano Bistarelli, Massimiliano Giacomin, Andrea Pazienza:
Special Issue: Selected Papers from AI∧3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence. Intelligenza Artificiale 12(2): 179-180 (2018) - [j38]Niko Mäkitalo, Francesco Nocera, Marina Mongiello, Stefano Bistarelli:
Architecting the Web of Things for the fog computing era. IET Softw. 12(5): 381-389 (2018) - [j37]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A novel weighted defence and its relaxation in abstract argumentation. Int. J. Approx. Reason. 92: 66-86 (2018) - [j36]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30(4): 479-480 (2018) - [j35]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. J. Log. Comput. 28(1): 85-117 (2018) - [c131]Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi:
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. AI³@AI*IA 2018: 6-10 - [c130]Stefano Bistarelli, Paolo Giuliodori, Francesco Santini, Carlo Taticchi:
A Cooperative-game Approach to Share Acceptability and Rank Arguments. AI³@AI*IA 2018: 86-90 - [c129]Stefano Bistarelli, Francesco Santini, Carlo Taticchi:
Local Expansion Invariant Operators in Argumentation Semantics. CLAR 2018: 45-62 - [c128]Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi:
Containerisation and Dynamic Frameworks in ICCMA'19. SAFA@COMMA 2018: 4-9 - [c127]Ryuta Arisaka, Stefano Bistarelli:
Defence Outsourcing in Argumentation. COMMA 2018: 353-360 - [c126]Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi:
Studying Dynamics in Argumentation with Rob. COMMA 2018: 451-452 - [c125]Ivan Mercanti, Stefano Bistarelli, Francesco Santini:
An Analysis of Non-standard Bitcoin Transactions. CVCBT 2018: 93-96 - [c124]Stefano Bistarelli, Ivan Mercanti, Francesco Santini:
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report. Euro-Par Workshops 2018: 329-341 - [c123]Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi:
A Matrix Approach for Weighted Argumentation Frameworks. FLAIRS 2018: 507-512 - [c122]Stefano Bistarelli, Francesco Santini, Carlo Taticchi:
On Looking for Invariant Operators in Argumentation Semantics. FLAIRS 2018: 537-540 - [c121]Stefano Bistarelli, Alessandra Cretarola, Gianna Figà-Talamanca, Ivan Mercanti, Marco Patacca:
Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper). GECON 2018: 243-251 - [c120]Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi:
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. ICTAI 2018: 675-679 - [c119]Stefano Bistarelli, Antonio Caruso:
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. ICTCS 2018: 179-190 - [c118]Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai:
A Fair Payment Scheme for Virtuous Community Energy Usage. ISAIM 2018 - [c117]Stefano Bistarelli, Matteo Parroccini, Francesco Santini:
Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later. ITASEC 2018 - [c116]Stefano Bistarelli, Francesco Santini:
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. KR 2018: 623-624 - [i9]Stefano Bistarelli, Francesco Santini, Carlo Taticchi:
On Looking for Local Expansion Invariants in Argumentation Semantics. CoRR abs/1802.08328 (2018) - [i8]Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi:
A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report. CoRR abs/1802.08445 (2018) - [i7]Theofrastos Mantadelis, Stefano Bistarelli:
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. CoRR abs/1810.00771 (2018) - 2017
- [j34]Irene Benedetti, Stefano Bistarelli:
From Argumentation Frameworks to Voting Systems and Back. Fundam. Informaticae 150(1): 25-48 (2017) - [j33]Stefano Bistarelli, Francesco Santini:
On merging two trust-networks in one with bipolar preferences. Math. Struct. Comput. Sci. 27(2): 215-233 (2017) - [c115]Stefano Bistarelli, Francesco Santini:
Go with the -Bitcoin- Flow, with Visual Analytics. ARES 2017: 38:1-38:6 - [c114]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A ConArg-based Library for Abstract Argumentation. AI³@AI*IA 2017: 7-21 - [c113]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A ConArg-Based Library for Abstract Argumentation. ICTAI 2017: 374-381 - [c112]Stefano Bistarelli, Tommaso Di Noia, Marina Mongiello, Francesco Nocera:
PrOnto: an Ontology Driven Business Process Mining Tool. KES 2017: 306-315 - [c111]Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR 2017: 319-337 - [c110]Stefano Bistarelli, Francesco Santini:
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. LPNMR 2017: 49-56 - [c109]Stefano Bistarelli, Marco Mantilacci, Paolo Santancini, Francesco Santini:
An end-to-end voting-system based on bitcoin. SAC 2017: 1836-1841 - [e4]Stefano Bistarelli, Massimiliano Giacomin, Andrea Pazienza:
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, AI³@AI*IA 2017, Bari, Italy, November 16-17, 2017. CEUR Workshop Proceedings 2012, CEUR-WS.org 2017 [contents] - 2016
- [j32]Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. Fundam. Informaticae 149(1-2): v-vii (2016) - [j31]Stefano Bistarelli, Andrea Formisano:
Theoretical Computer Science in Italy. Theor. Comput. Sci. 629: 1 (2016) - [c108]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
ConArg: A Tool for Classical and Weighted Argumentation. COMMA 2016: 463-464 - [c107]Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS 2016: 134-152 - [c106]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks. FLAIRS 2016: 638-643 - [c105]Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz:
A Mechanism Design Approach for Allocation of Commodities. ICTCS 2016: 275-279 - [c104]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. JELIA 2016: 127-143 - [c103]Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci:
Automated adaptation via quantitative partial model checking. SAC 2016: 1993-1996 - [e3]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016 [contents] - [i6]Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz:
Mechanism Design Approach for Energy Efficiency. CoRR abs/1608.07492 (2016) - 2015
- [j30]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. Fundam. Informaticae 140(3-4): 263-278 (2015) - [j29]Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Theory Pract. Log. Program. 15(6): 743-782 (2015) - [c102]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Testing Credulous and Sceptical Acceptance in Small-World Networks. RCRA@AI*IA 2015: 39-46 - [c101]Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi:
Towards visualising security with arguments. CILC 2015: 197-201 - [e2]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. CEUR Workshop Proceedings 1451, CEUR-WS.org 2015 [contents] - 2014
- [j28]Stefano Bistarelli, Francesco Santini:
A Secure Non-monotonic Soft Concurrent Constraint Language. Fundam. Informaticae 134(3-4): 261-285 (2014) - [c100]Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini:
An Improved Role-Based Access to Android Applications with JCHR. ARES 2014: 341-348 - [c99]Irene Benedetti, Stefano Bistarelli, Paolo Piersanti:
On Relating Voting Systems and Argumentation Frameworks. CILC 2014: 309-313 - [c98]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. CLIMA 2014: 70-86 - [c97]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics. COMMA 2014: 153-160 - [c96]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A First Comparison of Abstract Argumentation Reasoning-Tools. ECAI 2014: 969-970 - [c95]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics. ICTAI 2014: 800-804 - [c94]Stefano Bistarelli, Martine Ceberio, Joel A. Henderson, Francesco Santini:
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making. ICTCS 2014: 247-257 - [c93]Stefano Bistarelli, Andrea Formisano:
Preface. ICTCS 2014: i-v - [c92]Stefano Bistarelli, Francesco Santini:
Two trust networks in one: Using bipolar structures to fuse trust and distrust. PST 2014: 383-390 - [e1]Stefano Bistarelli, Andrea Formisano:
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. CEUR Workshop Proceedings 1231, CEUR-WS.org 2014 [contents] - [i5]Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. CoRR abs/1403.0461 (2014) - 2013
- [j27]Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability with thresholds and degradation factors for Soft CSPs. Ann. Math. Artif. Intell. 67(2): 123-163 (2013) - [j26]Stefano Bistarelli, Francesco Santini:
Coalitions of Arguments: An Approach with Constraint Programming. Fundam. Informaticae 124(4): 383-401 (2013) - [c91]Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. CILC 2013: 241-245 - 2012
- [j25]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Comput. Math. Appl. 64(4): 447-462 (2012) - [j24]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. 39(2): 1708-1717 (2012) - [j23]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini:
Evaluation of complex security scenarios using defense trees and economic indexes. J. Exp. Theor. Artif. Intell. 24(2): 161-192 (2012) - [c90]Stefano Bistarelli, Francesco Santini:
ConArg: Argumentation with Constraints. AT 2012: 197-198 - [c89]Stefano Bistarelli, Francesco Santini:
Semiring-based constraint models and frameworks for security-related scenarios. CRiSIS 2012: 1-4 - [c88]Stefano Bistarelli, Giorgio Gosti, Francesco Santini:
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. DALT 2012: 116-135 - [c87]Stefano Bistarelli, Paola Campli, Francesco Santini:
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming. SAC 2012: 1551-1553 - [c86]Stefano Bistarelli, Francesco Santini:
Securely Accessing Shared Resources with Concurrent Constraint Programming. SEFM 2012: 308-322 - [c85]Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi:
Towards a similarity-based web service discovery through soft constraint satisfaction problems. SSW@VLDB 2012: 2 - [i4]Stefano Bistarelli, Francesco Santini:
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints. CoRR abs/1212.2857 (2012) - 2011
- [j22]Stefano Bistarelli, Francesco Santini:
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. Fundam. Informaticae 111(3): 257-279 (2011) - [j21]Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Uncertainty in bipolar preference problems. J. Exp. Theor. Artif. Intell. 23(4): 545-575 (2011) - [c84]Stefano Bistarelli, Paola Campli, Francesco Santini:
Finding Partitions of Arguments with Dung's Properties via SCSPs. CILC 2011: 199-213 - [c83]Stefano Bistarelli, Francesco Santini:
ConArg: A Constraint-Based Computational Framework for Argumentation Systems. ICTAI 2011: 605-612 - [c82]Stefano Bistarelli, Giorgio Gosti, Francesco Santini:
Solving Fuzzy DCSPs with Naming Games. ICTAI 2011: 930-931 - [c81]Stefano Bistarelli, Paola Campli, Francesco Santini:
Finding partitions of arguments with Dung's properties via SCSPs. SAC 2011: 913-919 - [c80]Stefano Bistarelli, Francesco Santini:
Modeling and Solving AFs with a Constraint-Based Tool: ConArg. TAFA 2011: 99-116 - 2010
- [j20]Stefano Bistarelli, Giorgio Gosti:
Solving Distributed CSPs Probabilistically. Fundam. Informaticae 105(1-2): 57-78 (2010) - [j19]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. 22(2): 135-158 (2010) - [j18]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini:
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Secur. Commun. Networks 3(6): 595-610 (2010) - [j17]Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini:
Unicast and multicast QoS routing with soft-constraint logic programming. ACM Trans. Comput. Log. 12(1): 5:1-5:48 (2010) - [c79]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC 2010: 268-282 - [c78]Stefano Bistarelli, Daniele Pirolandi, Francesco Santini:
Solving Weighted Argumentation Frameworks with Soft Constraints. CILC 2010 - [c77]Stefano Bistarelli, Francesco Santini:
A Common Computational Framework for Semiring-based Argumentation Systems. ECAI 2010: 131-136 - [c76]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini:
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398
2000 – 2009
- 2009
- [j16]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. 21(4): 233-257 (2009) - [c75]Stefano Bistarelli, Daniele Pirolandi, Francesco Santini:
Solving Weighted Argumentation Frameworks with Soft Constraints. CSCLP 2009: 1-18 - [c74]Paola Campli, Stefano Bistarelli:
Capturing Fair Computations on Concurrent Constraint Language. ICLP 2009: 559-560 - [c73]Marco Bottalico, Stefano Bistarelli:
Constraint Based Languages for Biological Reactions. ICLP 2009: 561-562 - [c72]Stefano Bistarelli, Francesco Santini:
Soft Constraints for Quality Aspects in Service Oriented Architectures. YR-SOC 2009: 51-65 - [c71]Stefano Bistarelli, Paola Campli:
Fairness as a QoS Measure for Web Services. YR-SOC 2009: 115-127 - 2008
- [c70]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134 - [c69]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495 - [c68]Stefano Bistarelli, Francesca Rossi:
Semiring-Based Soft Constraints. Concurrency, Graphs and Models 2008: 155-173 - [c67]Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66 - [c66]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini:
From Marriages to Coalitions: A Soft CSP Approach. CSCLP 2008: 1-15 - [c65]Stefano Bistarelli, Giorgio Gosti:
Solving CSPs with Naming Games. CSCLP 2008: 16-32 - [c64]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon:
A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768 - [c63]Stefano Bistarelli, Francesco Santini:
A Formal and Practical Framework for Constraint-Based Routing. ICN 2008: 162-167 - [c62]Stefano Bistarelli, Francesco Santini:
Soft Constraints for Dependable Service Oriented Architectures. WADS 2008: 76-97 - [c61]Stefano Bistarelli, Francesco Santini:
Propagating multitrust within trust networks. SAC 2008: 1990-1994 - [c60]Simon N. Foley, Giampaolo Bella, Stefano Bistarelli:
Security Protocol Deployment Risk. Security Protocols Workshop 2008: 12-20 - [c59]Stefano Bistarelli, Francesco Santini:
C-semiring Frameworks for Minimum Spanning Tree Problems. WADT 2008: 56-70 - [c58]Stefano Bistarelli, Francesco Santini:
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. VODCA@FOSAD 2008: 147-162 - 2007
- [j15]Stefano Bistarelli, Francesco Bonchi:
Soft constraint based pattern mining. Data Knowl. Eng. 62(1): 118-137 (2007) - [c57]Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna:
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. CP 2007: 773-781 - [c56]Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Uncertainty in Bipolar Preference Problems. CP 2007: 782-789 - [c55]Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan:
Constraint Symmetry for the Soft CSP. CP 2007: 872-879 - [c54]Stefano Bistarelli, Francesco Santini:
SCLP for Trust Propagation in Small-World Networks. CSCLP 2007: 32-46 - [c53]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti:
Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304 - [c52]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. QAPL 2007: 111-127 - [c51]Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna:
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. STM@ESORICS 2007: 121-129 - [i3]Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini:
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming. CoRR abs/0704.1783 (2007) - 2006
- [j14]Stefano Bistarelli, Francesca Rossi:
Editorial. J. Heuristics 12(4-5): 239-240 (2006) - [j13]Stefano Bistarelli, Francesco Santini, Anna Vaccarelli:
An asymmetric fingerprint matching algorithm for Java Card TM. Pattern Anal. Appl. 9(4): 359-376 (2006) - [j12]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006) - [c50]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti:
Defense trees for economic evaluation of security investments. ARES 2006: 416-423 - [c49]Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Bipolar Preference Problems: Framework, Properties and Solving Techniques. CSCLP 2006: 78-92 - [c48]Stefano Bistarelli, Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67 - [c47]Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Bipolar Preference Problems. ECAI 2006: 705-706 - [c46]Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti:
Strategic Games on Defense Trees. Formal Aspects in Security and Trust 2006: 1-15 - [c45]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: 168-180 - [c44]Stefano Bistarelli, Francesco Bonchi:
Extending the Soft Constraint Based Mining Paradigm. KDID 2006: 24-41 - [c43]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Special track editorial: constraint solving and programming. SAC 2006: 392-393 - [c42]Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene:
Augmented Risk Analysis. VODCA@FOSAD 2006: 207-220 - [p1]Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart:
Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105 - 2005
- [j11]Giampaolo Bella, Stefano Bistarelli:
Information Assurance for security protocols. Comput. Secur. 24(4): 322-333 (2005) - [j10]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli:
Relating multiset rewriting and process algebras for security protocol analysis. J. Comput. Secur. 13(1): 3-47 (2005) - [j9]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
A soft constraint-based approach to the cascade vulnerability problem. J. Comput. Secur. 13(5): 699-720 (2005) - [c41]Stefano Bistarelli, Francesco Santini, Anna Vaccarelli:
An Asymmetric Fingerprint Matching Algorithm for Java Card™. AVBPA 2005: 279-288 - [c40]Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli:
MOC via TOC Using a Mobile Agent Framework. AVBPA 2005: 464-473 - [c39]Stefano Bistarelli, Francesco Bonchi:
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. PKDD 2005: 22-33 - [c38]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Editorial: special track on constraint solving and programming. SAC 2005: 364-365 - 2004
- [b1]Stefano Bistarelli:
Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science 2962, Springer 2004, ISBN 3-540-21181-0 - [j8]Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi:
Soft Constraint Propagation and Solving in Constraint Handling Rules. Comput. Intell. 20(2): 287-307 (2004) - [j7]Giampaolo Bella, Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols. Theory Pract. Log. Program. 4(5-6): 545-572 (2004) - [c37]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. AAAI 2004: 808-813 - [c36]Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan:
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI 2004: 240-245 - [c35]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Reasoning about Secure Interoperation Using Soft Constraints. Formal Aspects in Security and Trust 2004: 173-186 - [c34]Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli:
Editorial message: special track on artificial intelligence, computational logic and image analysis. SAC 2004: 3-4 - [c33]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Modeling and detecting the cascade vulnerability problem using soft constraints. SAC 2004: 383-390 - [c32]Giampaolo Bella, Stefano Bistarelli, Simon N. Foley:
Soft Constraints for Security. VODCA@FOSAD 2004: 11-29 - 2003
- [j6]Stefano Bistarelli, Rosella Gennari, Francesca Rossi:
General Properties and Termination Conditions for Soft Constraint Propagation. Constraints An Int. J. 8(1): 79-97 (2003) - [c31]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152 - [c30]Stefano Bistarelli, Francesca Rossi, Isabella Pilan:
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. CSCLP 2003: 107-123 - [c29]Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan:
Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139 - [c28]Nicoleta Neagu, Stefano Bistarelli, Boi Faltings:
Experimental Evaluation of Interchangeability in Soft CSPs. CSCLP 2003: 140-153 - [c27]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426 - [c26]Nicoleta Neagu, Stefano Bistarelli, Boi Faltings:
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. FLAIRS 2003: 187-191 - [c25]Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi:
Computer Algebra for Fingerprint Matching. International Conference on Computational Science 2003: 811-820 - [c24]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365 - [c23]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli:
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99 - [c22]Stefano Bistarelli, Simon N. Foley:
Analysis of Integrity Policies using Soft Constraints. POLICY 2003: 77-80 - [c21]Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli:
AI and Computational Science Track Editorial. SAC 2003: 1 - [c20]Stefano Bistarelli, Simon N. Foley:
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. SAFECOMP 2003: 130-143 - [c19]Stefano Bistarelli, Barry O'Sullivan:
A Theoretical Framework for Tradeoff Generation using Soft Constraints. SGAI Conf. 2003: 69-82 - [c18]Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan:
Symmetry Breaking in Soft CSPs. SGAI Conf. 2003: 199-212 - [c17]Giampaolo Bella, Stefano Bistarelli, Fabio Massacci:
A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10 - [c16]Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli:
Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332 - [i2]Giampaolo Bella, Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols. CoRR cs.CR/0312025 (2003) - 2002
- [j5]Stefano Bistarelli, Philippe Codognet, Francesca Rossi:
Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002) - [j4]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Constraint Logic Programming and Generalized Shortest Path Problems. J. Heuristics 8(1): 25-41 (2002) - [c15]Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability in Soft CSPs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 31-46 - [c14]Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability in Soft CSPs. CP 2002: 726-731 - [c13]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. ESOP 2002: 53-67 - [c12]Stefano Bistarelli, Thom W. Frühwirth, Michael Marte:
Soft constraint propagation and solving in CHRs. SAC 2002: 1-5 - [c11]Giampaolo Bella, Stefano Bistarelli:
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. Security Protocols Workshop 2002: 104-119 - [i1]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. CoRR cs.PL/0208008 (2002) - 2001
- [j3]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001) - [c10]Giampaolo Bella, Stefano Bistarelli:
Soft Constraints for Security Protocol Analysis: Confidentiality. PADL 2001: 108-122 - 2000
- [c9]Stefano Bistarelli, Rosella Gennari, Francesca Rossi:
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. CP 2000: 83-97 - [c8]Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248 - [c7]Stefano Bistarelli, Philippe Codognet, Francesca Rossi:
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA 2000: 71-86
1990 – 1999
- 1999
- [j2]Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier:
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints An Int. J. 4(3): 199-240 (1999) - [c6]Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi:
Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE 1999: 121-136 - [c5]Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Abstracting Soft Constraints. New Trends in Constraints 1999: 108-133 - 1997
- [j1]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based constraint satisfaction and optimization. J. ACM 44(2): 201-236 (1997) - [c4]Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraints and Agents for a Decentralized Network Infrastructure. AAAI Workshop: Constraints & Agents 1997: 39-44 - [c3]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based Constraint Logic Programming. IJCAI (1) 1997: 352-357 - 1995
- [c2]Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie:
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems 1995: 111-150 - [c1]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. IJCAI (1) 1995: 624-630
Coauthor Index
[j59] [c187] [c185] [c184] [c182] [c181] [c179] [c176] [c174] [c173] [c172] [c171] [c169] [c165] [c164] [c163] [c162] [c160] [j52] [j51] [j50] [j49] [c158] [c156] [c149] [j47] [c147] [c142] [e6] [j44] [j43] [j42] [c140] [c138] [c137] [c133] [c132] [i11] [j37] [j35] [c131] [c130] [c129] [c128] [c126] [c125] [c124] [c122] [c120] [c117] [c116] [i9] [j33] [c115] [c114] [c113] [c111] [c110] [c109] [c108] [c107] [c106] [c104] [c103] [j30] [j29] [c102] [c101] [j28] [c100] [c98] [c97] [c96] [c95] [c94] [c92] [i5] [j26] [c91] [j25] [j24] [j23] [c90] [c89] [c88] [c87] [c86] [c85] [i4] [j22] [c84] [c83] [c82] [c81] [c80] [j18] [j17] [c79] [c78] [c77] [c76] [c75] [c72] [c70] [c69] [c67] [c66] [c63] [c62] [c61] [c59] [c58] [c54] [c52] [i3] [j13] [c41]
[j60] [c189] [c188] [c180] [j56] [j55] [j54] [c178] [c177] [c176] [c175] [c173] [i12] [j53] [c169] [c168] [c166] [c165] [c163] [c161] [c159] [j52] [c157] [c156] [c154] [c152] [c151] [c150] [c148] [c147] [c146] [c145] [c144] [c143] [e6] [j40] [c141] [c138] [c136] [i10] [c131] [c130] [c129] [c128] [c126] [c123] [c122] [c120] [i9] [i8] [c101]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
