


Остановите войну!
for scientists:


default search action
Stefano Bistarelli
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j56]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) - [j55]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) - [j54]Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33(4): 712-737 (2023) - [c177]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 - [c176]Stefano Bistarelli
, Carlo Taticchi
:
Deriving Dependency Graphs from Abstract Argumentation Frameworks. AI*IA 2023: 17-29 - [c175]Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi:
Temporal Probabilistic Argumentation Frameworks. CILC 2023 - [c174]Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan:
Modeling Carne PRI supply chain with the *-Chain Platform. DLT 2023 - [c173]Stefano Bistarelli, Ivan Mercanti, Francesco Santini:
Enforcing Confidentiality in Tornado Cash-based E-voting Systems. DLT 2023 - [c172]Stefano Bistarelli
, Victor David, Francesco Santini
, Carlo Taticchi
:
Towards a Temporal Probabilistic Argumentation Framework. FLAIRS 2023 - [c171]Stefano Bistarelli, Francesco Micheli, Francesco Santini:
A Survey on Decentralized Identifier Methods for Self Sovereign Identity. ITASEC 2023 - [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]