11573/1746356 - 2025 -
Agent-based modeling in Economics by Process Algebra Tschaikowski, M. - 04b Atto di convegno in volume
conference: 39th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation, ACM SIGSIM PADS 2025 (Santa Fe; USA)
book: ACM SIGSIM PADS 2025 - Proceedings of the 39th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation - (9798400715914)
11573/1746360 - 2025 -
Optimality-Preserving Reduction of Chemical Reaction Networks Larsen, K. G.; Toller, D.; Tribastone, M.; Tschaikowski, M.; Vandin, A. - 04b Atto di convegno in volume
conference: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 (grc)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-75107-3; 978-3-031-75106-6)
11573/1746365 - 2025 -
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining Casaluce, R.; Tschaikowski, M.; Vandin, A. - 04b Atto di convegno in volume
conference: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 (grc)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-73709-1; 978-3-031-73708-4)
11573/1746366 - 2025 -
Coarse-Graining Complex Networks for Control Equivalence Toller, D.; Tribastone, M.; Tschaikowski, M.; Vandin, A. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON AUTOMATIC CONTROL (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 1169-1175 - issn: 0018-9286 - wos: (0) - scopus: 2-s2.0-85201758719 (2)
11573/1746368 - 2025 -
Approximate regular equivalence by partition refinement Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea - 01a Articolo in rivista
paper: APPLIED NETWORK SCIENCE (Cham: Springer Internat. Publ., 2016-) pp. - - issn: 2364-8228 - wos: (0) - scopus: 2-s2.0-105014218561 (4)
11573/1746369 - 2025 -
Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams Burgholzer, L.; Jimenez-Pastor, A.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Wille, R. - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON QUANTUM COMPUTING (New York NY: Association for Computing Machinery (ACM), [2020]-) pp. - - issn: 2643-6817 - wos: (0) - scopus: 2-s2.0-105002833941 (2)
11573/1746370 - 2025 -
Approximate constrained lumping of chemical reaction networks Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A. - 01a Articolo in rivista
paper: PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON. SERIES A (London: Royal Society, London) pp. - - issn: 1364-5021 - wos: WOS:001520597300004 (1) - scopus: 2-s2.0-105010725521 (1)