Marcello M. Bonsangue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
54
Venues
28
Active years
1993–2025
Best venue rank
A*
Where they publish
- MulticonferenceSAC5 papers
- BFOSSACS5 papers
- BMFCS4 papers
- NationalTASE3 papers
- CICFEM3 papers
- CICTAC3 papers
- BMPC3 papers
- CCoordination3 papers
- BCALCO2 papers
- BCONCUR2 papers
- A*LICS2 papers
- BEDOC2 papers
- CISoLA2 papers
- A*KDD1 paper
- A*CAV1 paper
- AIJCAR1 paper
- A*AAAI1 paper
- ADIS1 paper
- BFM1 paper
- NationalSYNASC1 paper
- A*ICALP1 paper
- CMODELSWARD1 paper
- CLATA1 paper
- BSOFSEM1 paper
- ACADE1 paper
- BSEFM1 paper
- NationalIRI1 paper
- BCOMPSAC1 paper
Papers
54 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | KDD | Improving Open-world Continual Learning under the Constraints of Scarce Labeled Data. | Yujie Li, Xiangkun Wang, Xin Yang, Marcello M. Bonsangue, Junbo Zhang, Tianrui Li |
| 2024 | CAV | Simulating Quantum Circuits by Model Counting. | Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | IJCAR | Equivalence Checking of Quantum Circuits by Model Counting. | Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | SAC | Concurrent NetKAT with Ports. | Hui Feng, Marcello M. Bonsangue |
| 2023 | AAAI | Using a Novel Capsule Network For an Innovative Approach to Image Captioning. | Shima Javanmardi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek |
| 2023 | TASE | Approximately Learning Quantum Automata. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi |
| 2022 | ICFEM | Non-linear Optimization Methods for Learning Regular Distributions. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2022 | TASE | A Language-Based Causal Model for Safety. | Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hnkar Can Tun |
| 2021 | DIS | Automatic Human-Like Detection of Code Smells. | Chitsutha Soomlek, Jan N. van Rijn, Marcello M. Bonsangue |
| 2021 | ICTAC | Learning Probabilistic Automata Using Residuals. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2020 | TASE | Learning Probabilistic Languages by k-Testable Machines. | Wenjing Chu, Marcello M. Bonsangue |
| 2019 | FM | On the Nature of Symbolic Execution. | Frank S. de Boer, Marcello M. Bonsangue |
| 2019 | ICFEM | A Reo Model of Software Defined Networks. | Hui Feng, Farhad Arbab, Marcello M. Bonsangue |
| 2019 | ICFEM | PDNet: A Programming Language for Software-Defined Networks with VLAN. | Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu |
| 2019 | MPC | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2019 | SYNASC | On the Nature of Symbolic Execution. | Frank S. de Boer, Marcello M. Bonsangue |
| 2015 | MFCS | Equations and Coequations for Weighted Automata. | Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2015 | MPC | Regular Varieties of Automata and Coequations. | Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llpez, Jan J. M. M. Rutten |
| 2014 | FOSSACS | Combining Bialgebraic Semantics and Equations. | Jurriaan Rot, Marcello M. Bonsangue |
| 2014 | ICALP | A Coalgebraic Foundation for Coinductive Union Types. | Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten |
| 2014 | MODELSWARD | Integrating Testing into Agile Software Development Processes. | R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode |
| 2013 | CALCO | Presenting Distributive Laws. | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2013 | LATA | Coinductive Proof Techniques for Language Equivalence. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | SOFSEM | Coalgebraic Bisimulation-Up-To. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2012 | CADE | Automated Verification of Recursive Programs with Pointers. | Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot |
| 2011 | CALCO | Context-Free Languages, Coalgebraically. | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2009 | CONCUR | Deriving Syntax and Axioms for Quantitative Regular Behaviours. | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | Coordination | Automata for Context-Dependent Connectors. | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
| 2009 | FOSSACS | A Kleene Theorem for Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | LICS | An Algebra for Kripke Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2008 | FOSSACS | Coalgebraic Logic and Synthesis of Mealy Machines. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2008 | ICTAC | Recasting Constraint Automata into Bchi Automata. | Mohammad Izadi, Marcello M. Bonsangue |
| 2008 | SEFM | Modeling Component Connectors: Synchronisation and Context-Dependency. | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
| 2007 | LICS | Pi-Calculus in Logical Form. | Marcello M. Bonsangue, Alexander Kurz |
| 2006 | FOSSACS | Presenting Functors by Operations and Equations. | Marcello M. Bonsangue, Alexander Kurz |
| 2005 | FOSSACS | Duality for Logics of Transition Systems. | Marcello M. Bonsangue, Alexander Kurz |
| 2005 | IRI | Change impact analysis of enterprise architectures. | Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre |
| 2005 | SAC | MoCha-pi, an exogenous coordination calculus based on mobile channels. | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2004 | EDOC | A Logical Viewpoint on Architectures. | Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre |
| 2004 | ICTAC | Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. | Erika brahm, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
| 2004 | ISoLA | Using XML Transformations for Enterprise Architectures. | Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre |
| 2004 | ISoLA | Using XML Transformations for Enterprise Architectures. | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
| 2003 | EDOC | Towards a Language for Coherent Enterprise Architecture Descriptions. | Henk Jonkers, Ren van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten |
| 2002 | COMPSAC | MoCha: A Middleware Based on Mobile Channels. | Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue |
| 2000 | Coordination | A Logical Interface Description Language for Components. | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | MFCS | A Compositional Model for Confluent Dynamic Data-Flow Networks. | Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | SAC | A Coordination Lanuage for Mobile Components. | Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer |
| 1999 | Coordination | Comparing Software Architectures for Coordination Languages. | Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro |
| 1999 | SAC | Comparing Coordination Models Based on Shared Distributed Replicated Data. | Marcello M. Bonsangue, Joost N. Kok |
| 1998 | MPC | An Approach to Object-Orientation in Action Systems. | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
| 1998 | SAC | A software architecture for distributed control systems and its transition system semantics. | Marcello M. Bonsangue, Joost N. Kok, Maarten Boasson, Edwin D. de Jong |
| 1997 | MFCS | Specifying Computations Using Hyper Transition Systems. | Marcello M. Bonsangue, Joost N. Kok |
| 1995 | CONCUR | Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
| 1993 | MFCS | Isomorphisms between Predicates and State Transformers. | Marcello M. Bonsangue, Joost N. Kok |