default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAniello Murano
Person information
- affiliation: University of Naples Federico II, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j50]Munyque Mittelmann
, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Formal verification and synthesis of mechanisms for social choice. Artif. Intell. 339: 104272 (2025)- 2024
- [j49]Laura Bozzelli, Bastien Maubert, Aniello Murano:
On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. 25(1): 8:1-8:42 (2024) - [c145]Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano:
Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI 2024: 17308-17316 - [c144]Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano:
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS 2024: 160-169 - [c143]Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano:
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS 2024: 271-280 - [c142]Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli:
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS 2024: 926-934 - [c141]Aniello Murano:
Formal Aspects of Strategic Reasoning. KoDis+CAKR+SYNERGY@KR 2024 - [c140]Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher:
Verification of General Games with Imperfect Information Using Strategy Logic. KR 2024 - [c139]David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge:
Incentive Design for Rational Agents. KR 2024 - [c138]Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano:
Theory and Practice of Quantitative ATL. PRIMA 2024: 231-247 - [c137]Marco Aruta, Vadim Malvone, Aniello Murano:
Development of Natural Strategies in Strategic Logics (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c136]Michal Tomasz Godziszewski, Davide Catta, Aniello Murano:
Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [e7]Aniello Murano, Alexandra Silva:
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. LIPIcs 288, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-310-2 [contents] - [i34]Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano:
Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR abs/2401.12170 (2024) - [i33]Marco Aruta, Vadim Malvone, Aniello Murano:
A Model Checker for Natural Strategic Ability. CoRR abs/2410.14374 (2024) - 2023
- [j48]Bastien Maubert, Aniello Murano, Sasha Rubin:
Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91(4): 373-374 (2023) - [j47]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24(3): 21:1-21:38 (2023) - [c135]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Formal Verification of Bayesian Mechanisms. AAAI 2023: 11621-11629 - [c134]Aniello Murano, Mimmo Parente, Silvia Stranieri:
A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA 2023 - [c133]Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano:
A Game Theoretic Approach to Attack Graphs. ICAART (1) 2023: 347-354 - [c132]Aniello Murano, Silvia Stranieri, Munyque Mittelmann:
Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) 2023: 484-492 - [c131]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54 - [c130]Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Discounting in Strategy Logic. IJCAI 2023: 225-233 - [c129]Aniello Murano, Daniel Neider, Martin Zimmermann:
Robust Alternating-Time Temporal Logic. JELIA 2023: 796-813 - [c128]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731 - [c127]Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri:
Parking Problem with Multiple Gates. PAAMS 2023: 213-224 - [c126]Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri:
HYASM: A Tool to Verify Hierarchical Systems. WETICE 2023: 1-6 - [c125]Davide Catta, Vadim Malvone, Aniello Murano:
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI 2023: 42-48 - [e6]Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. CEUR Workshop Proceedings 3345, CEUR-WS.org 2023 [contents] - [e5]Vadim Malvone, Aniello Murano:
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Lecture Notes in Computer Science 14282, Springer 2023, ISBN 978-3-031-43263-7 [contents] - [i32]Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Discounting in Strategy Logic. CoRR abs/2305.15256 (2023) - [i31]Aniello Murano, Daniel Neider, Martin Zimmermann:
Robust Alternating-Time Temporal Logic. CoRR abs/2307.10885 (2023) - [i30]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023) - [i29]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023) - 2022
- [j46]Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger:
Verification of agent navigation in partially-known environments. Artif. Intell. 308: 103724 (2022) - [j45]Laura Bozzelli, Aniello Murano, Adriano Peron:
Context-free timed formalisms: Robust automata and linear temporal logics. Inf. Comput. 283: 104673 (2022) - [c124]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71 - [c123]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Synthesis of Mechanisms with Strategy Logic. ICTCS 2022: 47-52 - [c122]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Automated Synthesis of Mechanisms. IJCAI 2022: 426-432 - [c121]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Public and Private Affairs in Strategic Reasoning. KR 2022 - [i28]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - [i27]Giuseppe Calise, Aniello Murano, Silvia Stranieri:
The Parking Problem: A Game-Theoretic Solution. CoRR abs/2204.01395 (2022) - 2021
- [j44]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58(6): 585-610 (2021) - [j43]Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino:
Improving parity games in practice. Ann. Math. Artif. Intell. 89(5-6): 551-574 (2021) - [j42]Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti:
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. Concurr. Comput. Pract. Exp. 33(4) (2021) - [j41]Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin:
Preface. Inf. Comput. 276: 104551 (2021) - [j40]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22(1): 5:1-5:51 (2021) - [j39]Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre:
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22(1): 7:1-7:24 (2021) - [c120]Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin:
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI 2021: 1787-1793 - [c119]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51 - [c118]Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR 2021: 227-236 - [c117]Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Strategic Reasoning in Automated Mechanism Design. KR 2021: 487-496 - 2020
- [j38]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285: 103302 (2020) - [j37]Dario Della Monica, Aniello Murano, Luigi Sauro:
Preface. Fundam. Informaticae 176(3-4) (2020) - [j36]Aniello Murano, Patricia Bouyer, Pierluigi San Pietro, Andrea Orlandini:
Preface. Inf. Comput. 272: 104497 (2020) - [j35]Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino:
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806: 577-586 (2020) - [j34]Laura Bozzelli, Aniello Murano, Loredana Sorrentino:
Alternating-time temporal logics with linear past. Theor. Comput. Sci. 813: 199-217 (2020) - [j33]Aniello Murano, Sasha Rubin:
Preface. Theor. Comput. Sci. 815: 246 (2020) - [j32]Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Hierarchical cost-parity games. Theor. Comput. Sci. 847: 147-174 (2020) - [c116]Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri:
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. AINA Workshops 2020: 1418-1427 - [c115]Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri:
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI 2020: 155-162 - [c114]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI 2020: 2887-2888 - [c113]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi:
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI 2020: 117-123 - [c112]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680 - [c111]Laura Bozzelli, Aniello Murano, Adriano Peron:
Module Checking of Pushdown Multi-agent Systems. KR 2020: 162-171 - [c110]Giuseppe De Giacomo, Bastien Maubert, Aniello Murano:
Nondeterministic Strategies and their Refinement in Strategy Logic. KR 2020: 294-303 - [c109]Aniello Murano, Sasha Rubin, Martin Zimmermann:
Optimal Strategies in Weighted Limit Games. GandALF 2020: 114-130 - [i26]Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri:
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR abs/2001.07141 (2020) - [i25]Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre:
Alternating Tree Automata with Qualitative Semantics. CoRR abs/2002.03664 (2020) - [i24]Laura Bozzelli, Aniello Murano, Adriano Peron:
Module checking of pushdown multi-agent systems. CoRR abs/2003.04728 (2020) - [i23]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/2003.04730 (2020) - [i22]Bastien Maubert, Aniello Murano, Olivier Serre:
Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR abs/2007.15458 (2020) - [i21]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR abs/2008.05643 (2020) - [i20]Aniello Murano, Sasha Rubin, Martin Zimmermann:
Optimal Strategies in Weighted Limit Games (full version). CoRR abs/2008.11562 (2020)
2010 – 2019
- 2019
- [j31]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural strategic ability. Artif. Intell. 277 (2019) - [c108]Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri:
A Smart Compact Traffic Network Vision Based on Wave Representation. AINA Workshops 2019: 870-879 - [c107]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning under LTL Environment Specifications. ICAPS 2019: 31-39 - [c106]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural Strategic Ability under Imperfect Information. AAMAS 2019: 962-970 - [c105]Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin:
Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS 2019: 971-979 - [c104]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c103]Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano:
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS 2019: 229-234 - [c102]Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin:
Probabilistic Strategy Logic. IJCAI 2019: 32-38 - [c101]Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94 - [c100]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI 2019: 1588-1594 - [c99]Laura Bozzelli, Bastien Maubert, Aniello Murano:
The Complexity of Model Checking Knowledge and Time. IJCAI 2019: 1595-1601 - [c98]Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri:
Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. M&N 2019: 1-6 - [c97]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA 2019: 469-477 - [i19]Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin:
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR abs/1901.04349 (2019) - [i18]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR abs/1905.11537 (2019) - [i17]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using An Automata-Based Algorithm. CoRR abs/1910.13765 (2019) - [i16]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed Context-Free Temporal Logics. CoRR abs/1911.08406 (2019) - 2018
- [j30]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Additional Winning Strategies in Reachability Games. Fundam. Informaticae 159(1-2): 175-195 (2018) - [j29]Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
Reasoning about graded strategy quantifiers. Inf. Comput. 259(3): 390-411 (2018) - [j28]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261: 588-614 (2018) - [j27]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Graded modalities in Strategy Logic. Inf. Comput. 261: 634-649 (2018) - [j26]Benjamin Aminof, Aniello Murano, Sasha Rubin:
CTL* with graded path modalities. Inf. Comput. 262: 1-21 (2018) - [j25]Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle detection in computation tree logic. Inf. Comput. 262: 265-279 (2018) - [j24]Walter Balzano, Aniello Murano, Fabio Vitale:
SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting. J. High Speed Networks 24(1): 79-87 (2018) - [c96]Dario Della Monica, Aniello Murano:
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS 2018: 1441-1449 - [c95]Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano:
Dynamic Escape Game. AAMAS 2018: 1806-1808 - [c94]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS 2018: 1865-1867 - [c93]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin:
Quantifying Bounds in Strategy Logic. CSL 2018: 23:1-23:23 - [c92]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed Context-Free Temporal Logics. GandALF 2018: 235-249 - [c91]Loredana Sorrentino, Sasha Rubin, Aniello Murano:
Graded CTL* over Finite Paths. ICTCS 2018: 152-161 - [c90]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Alternating-time Temporal Logic on Finite Traces. IJCAI 2018: 77-83 - [c89]Francesco Belardinelli, Catalin Dima, Aniello Murano:
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR 2018: 425-434 - [c88]Bastien Maubert, Aniello Murano:
Reasoning about Knowledge and Strategies under Hierarchical Information. KR 2018: 530-540 - [c87]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Synthesis under Assumptions. KR 2018: 615-616 - [c86]Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin:
Changing Observations in Epistemic Temporal Logic. KR 2018: 621-622 - [c85]Laura Bozzelli, Aniello Murano, Adriano Peron:
Event-Clock Nested Automata. LATA 2018: 80-92 - [c84]Laura Bozzelli, Aniello Murano, Loredana Sorrentino:
Results on Alternating-Time Temporal Logics with Linear Past. TIME 2018: 6:1-6:22 - [c83]Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi:
Solving Parity Games: Explicit vs Symbolic. CIAA 2018: 159-172 - [i15]Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin:
Changing Observations in Epistemic Temporal Logic. CoRR abs/1805.06881 (2018) - [i14]Raphaël Berthon, Bastien Maubert, Aniello Murano:
Decidability results for ATL* with imperfect information and perfect recall. CoRR abs/1805.12582 (2018) - [i13]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/1805.12592 (2018) - [i12]Bastien Maubert, Aniello Murano:
Reasoning about Knowledge and Strategies. CoRR abs/1806.00028 (2018) - [i11]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning and Synthesis Under Assumptions. CoRR abs/1807.06777 (2018) - [i10]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed context-free temporal logics (extended version). CoRR abs/1808.04271 (2018) - 2017
- [j23]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13(1) (2017) - [j22]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. Inf. Comput. 254: 141-142 (2017) - [j21]Walter Balzano, Aniello Murano, Silvia Stranieri:
Logic-based clustering approach for management and improvement of VANETs. J. High Speed Networks 23(3): 225-236 (2017) - [c82]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Reasoning about Natural Strategic Ability. AAMAS 2017: 714-722 - [c81]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Hiding Actions in Multi-Player Games. AAMAS 2017: 1205-1213 - [c80]Raphaël Berthon, Bastien Maubert, Aniello Murano:
Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS 2017: 1250-1258 - [c79]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS 2017: 1268-1276 - [c78]Walter Balzano, Aniello Murano, Fabio Vitale:
EENET: Energy Efficient Detection of NETwork Changes Using a Wireless Sensor Network. CISIS 2017: 1009-1018 - [c77]Vadim Malvone, Aniello Murano:
Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT 2017: 163-171 - [c76]Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino:
Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. ICCS 2017: 525-534 - [c75]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI 2017: 91-97 - [c74]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge:
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI 2017: 1067-1073 - [c73]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy logic with imperfect information. LICS 2017: 1-12 - [c72]Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Hierarchical Cost-Parity Games. TIME 2017: 6:1-6:17 - [c71]Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c70]Laura Bozzelli, Aniello Murano:
On the Complexity of ATL and ATL* Module Checking. GandALF 2017: 268-282 - [e4]Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro:
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. CEUR Workshop Proceedings 1949, CEUR-WS.org 2017 [contents] - [i9]Laura Bozzelli, Aniello Murano, Adriano Peron:
Event-Clock Nested Automata. CoRR abs/1711.08314 (2017) - 2016
- [j20]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j19]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26(5): 1663-1695 (2016) - [j18]Dario Carotenuto, Aniello Murano, Adriano Peron:
Ordered multi-stack visibly pushdown automata. Theor. Comput. Sci. 656: 1-26 (2016) - [c69]Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano, Silvia Stranieri:
A Logic-based Clustering Approach for Cooperative Traffic Control Systems. 3PGCIC 2016: 737-746 - [c68]Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano:
M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS. AINA Workshops 2016: 58-63 - [c67]Walter Balzano, Aniello Murano, Fabio Vitale:
WiFACT - Wireless Fingerprinting Automated Continuous Training. AINA Workshops 2016: 75-80 - [c66]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Concurrent Multi-Player Parity Games. AAMAS 2016: 689-697 - [c65]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS 2016: 698-706 - [c64]Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger:
Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS 2016: 1190-1199 - [c63]Vadim Malvone, Aniello Murano, Marco Tafuto:
NWin: A Tool for Counting Winning Strategies (Demonstration). AAMAS 2016: 1501-1503 - [c62]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Hiding Actions in Concurrent Games. ECAI 2016: 1686-1687 - [c61]Walter Balzano, Aniello Murano, Fabio Vitale:
V2V-EN - Vehicle-2-Vehicle Elastic Network. EUSPN/ICTH 2016: 497-502 - [c60]Vadim Malvone, Aniello Murano:
Additional Winning Strategies in Two-Player Games. ICTCS 2016: 251-256 - [c59]Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. IJCAI 2016: 1037-1043 - [c58]Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala:
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - [c57]Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger:
Prompt Alternating-Time Epistemic Logics. KR 2016: 258-267 - [c56]Salvatore Cuomo, Rosanna Campagna, Pasquale De Michele, Aniello Murano, Serena Crisci, Ardelio Galletti, Livia Marcellino:
A novel Split Bregman algorithm for MRI denoising task in an e-Health system. PETRA 2016: 78 - [c55]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76 - [c54]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Extended Graded Modalities in Strategy Logic. SR 2016: 1-14 - [c53]Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle Detection in Computation Tree Logic. GandALF 2016: 164-177 - [i8]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. CoRR abs/1601.03195 (2016) - [i7]Raphaël Berthon, Bastien Maubert, Aniello Murano:
Quantified CTL with imperfect information. CoRR abs/1611.03524 (2016) - 2015
- [j17]Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
On Promptness in Parity Games. Fundam. Informaticae 139(3): 277-305 (2015) - [j16]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. Inf. Comput. 242: 1 (2015) - [j15]Massimo Benerecetti, Fabio Mogavero, Aniello Murano:
Reasoning About Substructures and Games. ACM Trans. Comput. Log. 16(3): 25:1-25:51 (2015) - [c52]Petr Cermák, Alessio Lomuscio, Aniello Murano:
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI 2015: 2038-2044 - [c51]Wojciech Jamroga, Aniello Murano:
Module Checking of Strategic Ability. AAMAS 2015: 227-235 - [c50]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Games with additional winning strategies. CILC 2015: 175-180 - [c49]Aniello Murano, Giuseppe Perelli:
Pushdown Multi-Agent System Verification. IJCAI 2015: 1090-1097 - [c48]Benjamin Aminof, Aniello Murano, Sasha Rubin:
On CTL* with Graded Path Modalities. LPAR 2015: 281-296 - [c47]Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof:
Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA 2015: 185-200 - [c46]Aniello Murano, Giuseppe Perelli, Sasha Rubin:
Multi-agent Path Planning in Known Dynamic Environments. PRIMA 2015: 218-231 - [c45]Wojciech Jamroga, Aniello Murano:
Module Checking for Uncertain Agents. PRIMA 2015: 232-247 - [c44]Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
On the Counting of Strategies. TIME 2015: 170-179 - [c43]Aniello Murano, Loredana Sorrentino:
A Game-based Model for Human-robots Interaction. WOA 2015: 146-150 - 2014
- [j14]Benjamin Aminof, Fabio Mogavero, Aniello Murano:
Synthesis of hierarchical systems. Sci. Comput. Program. 83: 56-79 (2014) - [j13]Marco Faella, Salvatore La Torre, Aniello Murano:
Automata-theoretic decision of timed games. Theor. Comput. Sci. 515: 46-63 (2014) - [j12]Marco Faella, Aniello Murano:
Preface to the special issue on GandALF 2012. Theor. Comput. Sci. 560: 217-218 (2014) - [j11]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014) - [c42]Wojciech Jamroga, Aniello Murano:
On module checking and strategies. AAMAS 2014: 701-708 - [c41]Fabio Mogavero, Aniello Murano, Luigi Sauro:
Strategy games: a renewed framework. AAMAS 2014: 869-876 - [c40]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV 2014: 525-532 - [c39]Fabio Mogavero, Aniello Murano, Luigi Sauro:
A Behavioral Hierarchy of Strategy Logic. CLIMA 2014: 148-165 - [c38]Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino:
Solving Parity Games in Scala. FACS 2014: 145-161 - [c37]Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. TIME 2014: 59-68 - [e3]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents] - [i6]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR abs/1402.2948 (2014) - [i5]Benjamin Aminof, Aniello Murano, Sasha Rubin:
Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR abs/1410.7551 (2014) - 2013
- [j10]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi:
Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) - [c36]Fabio Mogavero, Aniello Murano, Luigi Sauro:
On the Boundary of Behavioral Strategies. LICS 2013: 263-272 - [c35]Massimo Benerecetti, Fabio Mogavero, Aniello Murano:
Substructure Temporal Logic. LICS 2013: 368-377 - [c34]Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
On Promptness in Parity Games. LPAR 2013: 601-618 - [e2]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents] - 2012
- [j9]Benjamin Aminof, Orna Kupferman, Aniello Murano:
Improved model checking of hierarchical systems. Inf. Comput. 210: 68-86 (2012) - [j8]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012) - [j7]Alessandro Bianco, Fabio Mogavero, Aniello Murano:
Graded computation tree logic. ACM Trans. Comput. Log. 13(3): 25:1-25:53 (2012) - [c33]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208 - [c32]Salvatore Cuomo, Vittorio Fuccella, Aniello Murano:
Slide Test Maker An Educational Software Tool for Test Composition. ICWL 2012: 249-257 - [c31]Salvatore Cuomo, Aniello Murano, Francesco Piccialli, Ennio Del Giudice:
A social network framework for the Carolina software. PETRA 2012: 34 - [e1]Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents] - [i4]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012) - 2011
- [j6]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011) - [c30]Salvatore Cuomo, Aniello Murano, Francesco Piccialli:
The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome. HEALTHINF 2011: 180-185 - [c29]Gennaro Costagliola, Salvatore Cuomo, Vittorio Fuccella, Aniello Murano:
A Sketch-Based System for Teaching Geometry. DMS 2011: 246-249 - [c28]Benjamin Aminof, Fabio Mogavero, Aniello Murano:
Synthesis of Hierarchical Systems. FACS 2011: 42-60 - [i3]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011) - 2010
- [j5]Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown module checking. Formal Methods Syst. Des. 36(1): 65-95 (2010) - [c27]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185 - [c26]Alessandro Bianco, Fabio Mogavero, Aniello Murano:
Graded Computation Tree Logic with Binary Coding. CSL 2010: 125-139 - [c25]Salvatore Cuomo, Vittorio Fuccella, Aniello Murano:
Full Formative Assessment based on Educational Video Games. DMS 2010: 228-231 - [c24]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Reasoning About Strategies. FSTTCS 2010: 133-144 - [c23]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386 - [c22]Benjamin Aminof, Orna Kupferman, Aniello Murano:
Improved Model Checking of Hierarchical Systems. VMCAI 2010: 61-77 - [c21]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Quantitative Fairness Games. QAPL 2010: 48-63
2000 – 2009
- 2009
- [c20]Fabio Mogavero, Aniello Murano:
Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409 - [c19]Biagio D'Aniello, Salvatore Cuomo, Aniello Murano:
The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. ICALT 2009: 604-605 - [c18]Alessandro Bianco, Fabio Mogavero, Aniello Murano:
Graded Computation Tree Logic. LICS 2009: 342-351 - [c17]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Balanced Paths in Colored Graphs. MFCS 2009: 149-161 - [c16]Aniello Murano:
A technological infrastructure design for a pediatric oncology network. PETRA 2009 - 2008
- [j4]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. 4(3) (2008) - [j3]Alessandro Ferrante, Aniello Murano, Mimmo Parente:
Enriched µ-Calculi Module Checking. Log. Methods Comput. Sci. 4(3) (2008) - [c15]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre:
µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348 - [c14]Aniello Murano, Margherita Napoli, Mimmo Parente:
Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332 - [i2]Alessandro Ferrante, Aniello Murano, Mimmo Parente:
Enriched MU-Calculi Module Checking. CoRR abs/0805.3462 (2008) - [i1]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008) - 2007
- [c13]Benjamin Aminof, Aniello Murano, Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475 - [c12]Dario Carotenuto, Aniello Murano, Adriano Peron:
2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144 - [c11]Alessandro Ferrante, Aniello Murano:
Enriched µ-Calculi Module Checking. FoSSaCS 2007: 183-197 - [c10]Alessandro Ferrante, Aniello Murano, Mimmo Parente:
Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453 - 2006
- [j2]Orna Kupferman, Gila Morgenstern, Aniello Murano:
Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006) - [c9]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551 - 2005
- [j1]Salvatore La Torre, Aniello Murano, Margherita Napoli:
Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005) - [c8]Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown Module Checking. LPAR 2005: 504-518 - 2004
- [c7]Orna Kupferman, Gila Morgenstern, Aniello Murano:
Typeness for omega-Regular Automata. ATVA 2004: 324-338 - [c6]Salvatore La Torre, Aniello Murano:
Reasoning About Co-Büchi Tree Automata. ICTAC 2004: 527-542 - 2003
- [c5]Salvatore La Torre, Aniello Murano, Mimmo Parente:
Model-checking the Secure Release of a Time-locked Secret over a Network. MEFISTO 2003: 229-243 - 2002
- [b1]Aniello Murano:
Decision problems on tree automata and synthesis of open timed systems. University of Salerno, Italy, 2002 - [c4]Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano:
Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497 - [c3]Marco Faella, Salvatore La Torre, Aniello Murano:
Dense Real-Time Games. LICS 2002: 167-176 - [c2]Marco Faella, Salvatore La Torre, Aniello Murano:
Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108 - [c1]Salvatore La Torre, Aniello Murano, Margherita Napoli:
Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
Coauthor Index
Wojciech Jamroga
aka: Wojtek Jamroga
aka: Wojtek Jamroga
[j48] [j46] [c121] [j44] [j41] [j40] [j39] [c120] [c119] [j38] [j35] [j33] [c112] [c109] [i25] [i23] [i21] [i20] [c107] [c105] [c103] [c102] [c97] [i19] [j27] [j26] [c94] [c93] [c91] [c90] [c87] [c86] [i15] [i13] [i11] [c79] [c75] [c74] [c73] [e4] [c65] [c64] [c59] [c57] [c54] [c48] [c47] [c46] [i5]
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 2025-03-04 22:10 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:
