Semantics, Orderings and Recursion in the Weakest Precondition Calculus. - Marcello M. Bonsangue; Joost N. Kok (REX Workshop, 1992)

Isomorphisms between Predicates and State Transformers. - Marcello M. Bonsangue; Joost N. Kok (MFCS, 1993)

Relating Multifunctions and Predicate Transformers through Closure Operators. - Marcello M. Bonsangue; Joost N. Kok (TACS, 1994)

The Weakest Precondition Calculus: Recursion and Duality. - Marcello M. Bonsangue; Joost N. Kok (Formal Aspects Comput., 1994)

Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. - Marcello M. Bonsangue; Joost N. Kok; Erik P. de Vink (CONCUR, 1995)

Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. - Marcello M. Bonsangue; Bart Jacobs 001; Joost N. Kok (Theor. Comput. Sci., 1995)

Specifying Computations Using Hyper Transition Systems. - Marcello M. Bonsangue; Joost N. Kok (MFCS, 1997)

Infinitary Domain Logic for Finitary Transition Systems. - Marcello M. Bonsangue; Joost N. Kok (TACS, 1997)

An Approach to Object-Orientation in Action Systems. - Marcello M. Bonsangue; Joost N. Kok; Kaisa Sere (MPC, 1998)

A software architecture for distributed control systems and its transition system semantics. - Marcello M. Bonsangue; Joost N. Kok; Maarten Boasson; Edwin D. de Jong (SAC, 1998)

Topological Duality in Semantics. - Marcello M. Bonsangue (1998)

Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. - Marcello M. Bonsangue; Franck van Breugel; Jan J. M. M. Rutten (Theor. Comput. Sci., 1998)

Comparing Software Architectures for Coordination Languages. - Marcello M. Bonsangue; Joost N. Kok; Gianluigi Zavattaro (COORDINATION, 1999)

Developing Object-based Distributed Systems. - Marcello M. Bonsangue; Joost N. Kok; Kaisa Sere (FMOODS, 1999)

Comparing Coordination Models Based on Shared Distributed Replicated Data. - Marcello M. Bonsangue; Joost N. Kok (SAC, 1999)

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. - Marcello M. Bonsangue; Joost N. Kok (Inf. Comput., 1999)

A Logical Interface Description Language for Components. - Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (COORDINATION, 2000)

A Compositional Model for Confluent Dynamic Data-Flow Networks. - Frank S. de Boer; Marcello M. Bonsangue (MFCS, 2000)

A Coordination Lanuage for Mobile Components. - Farhad Arbab; Marcello M. Bonsangue; Frank S. de Boer (SAC (1), 2000)

A transition system semantics for the control-driven coordination language MANIFOLD. - Marcello M. Bonsangue; Farhad Arbab; J. W. de Bakker; Jan J. M. M. Rutten; A. Secutella; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

Infinite Intersection and Union Types for the Lazy Lambda Calculus. - Marcello M. Bonsangue; Joost N. Kok (TACS, 2001)

MoCha: A Middleware Based on Mobile Channels. - Farhad Arbab; Frank S. de Boer; Juan Guillen Scholten; Marcello M. Bonsangue (COMPSAC, 2002)

A Channel-based Coordination Model for Components. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (FOCLASA, 2002)

Mobile Channels, Implementation Within and Outside Components. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Formal Methods and Component Interaction @ ICALP, 2002)

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; et al. (EDOC, 2003)

Investigating the mapping of an Enterprise Description Language into UML 2.0. - Martijn J. Wiering; Marcello M. Bonsangue; René van Buuren; Luuk Groenewegen; Henk Jonkers; Marc M. Lankhorst (CVUML, 2003)

Infinite intersection types. - Marcello M. Bonsangue; Joost N. Kok (Inf. Comput., 2003)

Comparing coordination models and architectures using embeddings. - Marcello M. Bonsangue; Joost N. Kok; Gianluigi Zavattaro (Sci. Comput. Program., 2003)

A Logical Viewpoint on Architectures. - Frank S. de Boer; Marcello M. Bonsangue; Joost Jacob; Andries Stam; Leendert W. N. van der Torre (EDOC, 2004)

Observability, Connectivity, and Replay in a Sequential Calculus of Classes. - Erika Ábrahám; Marcello M. Bonsangue; Frank S. de Boer; Andreas Grüner; Martin Steffen (FMCO, 2004)

A Fully Abstract Semantics for UML Components. - Frank S. de Boer; Marcello M. Bonsangue; Martin Steffen; Erika Ábrahám (FMCO, 2004)

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. - Erika Ábrahám; Marcello M. Bonsangue; Frank S. de Boer; Martin Steffen (ICTAC, 2004)

Using XML Transformations for Enterprise Architectures. - Joost Jacob; Frank S. de Boer; Marcello M. Bonsangue; Andries Stam; Leendert W. N. van der Torre (ISoLA (Preliminary proceedings), 2004)

Concepts For Modeling Enterprise Architectures. - Henk Jonkers; Marc M. Lankhorst; René van Buuren; Stijn Hoppenbrouwers; Marcello M. Bonsangue; Leendert W. N. van der Torre (Int. J. Cooperative Inf. Syst., 2004)

Duality for Logics of Transition Systems. - Marcello M. Bonsangue; Alexander Kurz 001 (FoSSaCS, 2005)

Enterprise Architecture Analysis with XML. - Frank S. de Boer; Marcello M. Bonsangue; Joost Jacob; Andries Stam; Leendert W. N. van der Torre (HICSS, 2005)

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 (IRI, 2005)

MoCha-pi, an exogenous coordination calculus based on mobile channels. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (SAC, 2005)

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (FOCLASA, 2005)

Presenting Functors by Operations and Equations. - Marcello M. Bonsangue; Alexander Kurz 001 (FoSSaCS, 2006)

A Component Coordination Model Based on Mobile Channels. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Fundam. Informaticae, 2006)

Preface. - Frank S. de Boer; Marcello M. Bonsangue (Theor. Comput. Sci., 2006)

Pi-Calculus in Logical Form. - Marcello M. Bonsangue; Alexander Kurz 001 (LICS, 2007)

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. - Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue; Marc M. Lankhorst; Erik Proper; Leendert W. N. van der Torre (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007)

Coalgebraic Logic and Synthesis of Mealy Machines. - Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva 001 (FoSSaCS, 2008)

Recasting Constraint Automata into Büchi Automata. - Mohammad Izadi; Marcello M. Bonsangue (ICTAC, 2008)

Modeling Component Connectors: Synchronisation and Context-Dependency. - Mohammad Izadi; Marcello M. Bonsangue; Dave Clarke 001 (SEFM, 2008)

Java Test Driver Generation from Object-Oriented Interaction Traces. - Frank S. de Boer; Marcello M. Bonsangue; Andreas Grüner; Martin Steffen (TTSS, 2008)

Deriving Syntax and Axioms for Quantitative Regular Behaviours. - Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva 001 (CONCUR, 2009)

Automata for Context-Dependent Connectors. - Marcello M. Bonsangue; Dave Clarke 001; Alexandra Silva 001 (COORDINATION, 2009)

A Kleene Theorem for Polynomial Coalgebras. - Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva 001 (FoSSaCS, 2009)

Automata Based Model Checking for Reo Connectors. - Marcello M. Bonsangue; Mohammad Izadi (FSEN, 2009)

An Algebra for Kripke Polynomial Coalgebras. - Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva 001 (LICS, 2009)

Preface. - Marcello M. Bonsangue; Einar Broch Johnsen; Amy L. Murphy; Jan Vitek (Theor. Comput. Sci., 2009)

Monitoring Method Call Sequences Using Annotations. - Behrooz Nobakht; Marcello M. Bonsangue; Frank S. de Boer; Stijn de Gouw (FACS, 2010)

Decomposition of Constraint Automata. - Bahman Pourvatan; Marjan Sirjani; Farhad Arbab; Marcello M. Bonsangue (FACS, 2010)

Generalizing the powerset construction, coalgebraically. - Alexandra Silva 001; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten (FSTTCS, 2010)

A Decision Procedure for Bisimilarity of Generalized Regular Expressions. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (SBMF, 2010)

Non-Deterministic Kleene Coalgebras - Alexandra Silva 001; Marcello M. Bonsangue; Jan J. M. M. Rutten (Log. Methods Comput. Sci., 2010)

Context-Free Languages, Coalgebraically. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (CALCO, 2011)

Quantitative Kleene coalgebras. - Alexandra Silva 001; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten (Inf. Comput., 2011)

Büchi automata for modeling component connectors. - Mohammad Izadi; Marcello M. Bonsangue; Dave Clarke 001 (Softw. Syst. Model., 2011)

Brzozowski's Algorithm (Co)Algebraically. - Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva 001 (Logic and Program Semantics, 2012)

Automated Verification of Recursive Programs with Pointers. - Frank S. de Boer; Marcello M. Bonsangue; Jurriaan Rot (IJCAR, 2012)

Defining Context-Free Power Series Coalgebraically. - Marcello M. Bonsangue; Jan J. M. M. Rutten; Joost Winter (CMCS, 2012)

Bounded Model Checking of Recursive Programs with Pointers in K. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (WADT, 2012)

On the specification of operations on the rational behaviour of systems - Marcello M. Bonsangue; Stefan Milius; Jurriaan Rot (EXPRESS/SOS, 2012)

Interacting via the Heap in the Presence of Recursion - Jurriaan Rot; Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu (ICE, 2012)

Final Semantics for Decorated Traces. - Filippo Bonchi; Marcello M. Bonsangue; Georgiana Caltais; Jan J. M. M. Rutten; Alexandra Silva 001 (MFPS, 2012)

A coalgebraic perspective on linear weighted automata. - Filippo Bonchi; Marcello M. Bonsangue; Michele Boreale; Jan J. M. M. Rutten; Alexandra Silva 001 (Inf. Comput., 2012)

A model of context-dependent component connectors. - Marcello M. Bonsangue; Dave Clarke 001; Alexandra Silva 001 (Sci. Comput. Program., 2012)

Unbounded Allocation in Bounded Heaps. - Jurriaan Rot; Frank S. de Boer; Marcello M. Bonsangue (FSEN, 2013)

Coinductive Proof Techniques for Language Equivalence. - Jurriaan Rot; Marcello M. Bonsangue; Jan J. M. M. Rutten (LATA, 2013)

Coalgebraic Bisimulation-Up-To. - Jurriaan Rot; Marcello M. Bonsangue; Jan J. M. M. Rutten (SOFSEM, 2013)

Coalgebraic Characterizations of Context-Free Languages. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (Log. Methods Comput. Sci., 2013)

Generalizing determinization from automata to coalgebras - Alexandra Silva 001; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten (Log. Methods Comput. Sci., 2013)

Rational Operational Models. - Stefan Milius; Marcello M. Bonsangue; Robert S. R. Myers; Jurriaan Rot (MFPS, 2013)

Automatic equivalence proofs for non-deterministic coalgebras. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (Sci. Comput. Program., 2013)

Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. - Marcello M. Bonsangue; Stefan Milius; Alexandra Silva 001 (ACM Trans. Comput. Log., 2013)

(Co)Algebraic Characterizations of Signal Flow Graphs. - Henning Basold; Marcello M. Bonsangue; Helle Hvid Hansen; Jan Rutten (Horizons of the Mind, 2014)

Combining Bialgebraic Semantics and Equations. - Jurriaan Rot; Marcello M. Bonsangue (FoSSaCS, 2014)

A Coalgebraic Foundation for Coinductive Union Types. - Marcello M. Bonsangue; Jurriaan Rot; Davide Ancona; Frank S. de Boer; Jan J. M. M. Rutten (ICALP (2), 2014)

Integrating Testing into Agile Software Development Processes. - R. van den Broek; Marcello M. Bonsangue; M. Chaudron; H. van Merode (MODELSWARD, 2014)

Coalgebraic Semantics of Heavy-Weighted Automata. - Marie Fortin; Marcello M. Bonsangue; Jan Rutten (WADT, 2014)

Monitoring method call sequences using annotations. - Behrooz Nobakht; Frank S. de Boer; Marcello M. Bonsangue; Stijn de Gouw; Mohammad Mahdi Jaghoori (Sci. Comput. Program., 2014)

Algebra-coalgebra duality in Brzozowski's minimization algorithm. - Filippo Bonchi; Marcello M. Bonsangue; Helle Hvid Hansen; Prakash Panangaden; Jan J. M. M. Rutten; Alexandra Silva 001 (ACM Trans. Comput. Log., 2014)

Equations and Coequations for Weighted Automata. - Julian Salamanca; Marcello M. Bonsangue; Jan J. M. M. Rutten (MFCS (1), 2015)

Regular Varieties of Automata and Coequations. - Julian Salamanca; Adolfo Ballester-Bolinches; Marcello M. Bonsangue; Enric Cosme-Llópez; Jan J. M. M. Rutten (MPC, 2015)

Presenting Distributive Laws. - Marcello M. Bonsangue; Helle Hvid Hansen; Alexander Kurz 001; Jurriaan Rot (Log. Methods Comput. Sci., 2015)

Context-free coalgebras. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (J. Comput. Syst. Sci., 2015)

Model checking recursive programs interacting via the heap. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (Sci. Comput. Program., 2015)

It is pointless to point in bounded heaps. - Frank S. de Boer; Marcello M. Bonsangue; Jurriaan Rot (Sci. Comput. Program., 2015)

Preface. - Marcello M. Bonsangue (Theor. Comput. Sci., 2015)

Action Systems for Pharmacokinetic Modeling. - Marcello M. Bonsangue; Michiel Helvensteijn; Joost N. Kok; Natallia Kokash (From Action Systems to Distributed Systems, 2016)

Duality of Equations and Coequations via Contravariant Adjunctions. - Julian Salamanca; Marcello M. Bonsangue; Jurriaan Rot (CMCS, 2016)

Proving language inclusion and equivalence by coinduction. - Jurriaan Rot; Marcello M. Bonsangue; Jan Rutten (Inf. Comput., 2016)

Structural congruence for bialgebraic semantics. - Jurriaan Rot; Marcello M. Bonsangue (J. Log. Algebraic Methods Program., 2016)

A coalgebraic view on decorated traces. - Filippo Bonchi; Marcello M. Bonsangue; Georgiana Caltais; Jan Rutten; Alexandra Silva 001 (Math. Struct. Comput. Sci., 2016)

Architecture Analysis. - Maria-Eugenia Iacob; Henk Jonkers; Leon van der Torre; Frank S. de Boer; Marcello M. Bonsangue; Andries W. Stam; Marc M. Lankhorst; Dick A. C. Quartel; Adina Aldea (Enterprise Architecture at Work, 4th ed., 2017)

A Language for Enterprise Modelling. - Henk Jonkers; Luuk Groenewegen; Marcello M. Bonsangue; René van Buuren; Dick A. C. Quartel; Marc M. Lankhorst; Adina Aldea (Enterprise Architecture at Work, 4th ed., 2017)

Foundations. - Marc M. Lankhorst; Leon van der Torre; Henderik A. Proper; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Enterprise Architecture at Work, 4th ed., 2017)

Enhanced coalgebraic bisimulation. - Jurriaan Rot; Filippo Bonchi; Marcello M. Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva 001 (Math. Struct. Comput. Sci., 2017)

Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). - Marcello M. Bonsangue; Yuxin Deng (Sci. Comput. Program., 2018)

On the Nature of Symbolic Execution. - Frank S. de Boer; Marcello M. Bonsangue (FM, 2019)

A Reo Model of Software Defined Networks. - Hui Feng; Farhad Arbab; Marcello M. Bonsangue (ICFEM, 2019)

PDNet: A Programming Language for Software-Defined Networks with VLAN. - Shuangqing Xiang; Marcello M. Bonsangue; Huibiao Zhu (ICFEM, 2019)

Completeness and Incompleteness of Synchronous Kleene Algebra. - Jana Wagemaker; Marcello M. Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (MPC, 2019)

Model Checking Longitudinal Control in Vehicle Platoon Systems. - Cong Peng 004; Marcello M. Bonsangue; Zhongwei Xu (IEEE Access, 2019)

Learning Probabilistic Languages by k-Testable Machines. - Wenjing Chu; Marcello M. Bonsangue (TASE, 2020)

Minimisation in Logical Form. - Nick Bezhanishvili; Marcello M. Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva 001 (CoRR, 2020)

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. - Shuangqing Xiang; Huibiao Zhu; Xi Wu 005; Lili Xiao; Marcello M. Bonsangue; Wanling Xie; Lei Zhang (Sci. Comput. Program., 2020)

SymPaths: Symbolic Execution Meets Partial Order Reduction. - Frank S. de Boer; Marcello M. Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa; Lars Tveito (20 Years of KeY, 2020)

Automatic Human-Like Detection of Code Smells. - Chitsutha Soomlek; Jan N. van Rijn; Marcello M. Bonsangue (DS, 2021)

Learning Probabilistic Automata Using Residuals. - Wenjing Chu; Shuo Chen 010; Marcello M. Bonsangue (ICTAC, 2021)

Symbolic execution formally explained. - Frank S. de Boer; Marcello M. Bonsangue (Formal Aspects Comput., 2021)

Modeling microscopic and macroscopic information diffusion for rumor detection. - Xueqin Chen 002; Fan Zhou 002; Fengli Zhang; Marcello M. Bonsangue (Int. J. Intell. Syst., 2021)

Catch me if you can: A participant-level rumor detection framework via fine-grained user representation learning. - Xueqin Chen 002; Fan Zhou 002; Fengli Zhang; Marcello M. Bonsangue (Inf. Process. Manag., 2021)

Non-linear Optimization Methods for Learning Regular Distributions. - Wenjing Chu; Shuo Chen 010; Marcello M. Bonsangue (ICFEM, 2022)

A Language-Based Causal Model for Safety. - Marcello M. Bonsangue; Georgiana Caltais; Hui Feng; Hünkar Can Tunç (TASE, 2022)

Multi-scale graph capsule with influence attention for information cascades prediction. - Xueqin Chen 002; Fengli Zhang; Fan Zhou 002; Marcello M. Bonsangue (Int. J. Intell. Syst., 2022)

From symbolic constraint automata to Promela. - Hui Feng; Marcello M. Bonsangue; Benjamin Lion (J. Log. Algebraic Methods Program., 2022)

Multi-view learning with distinguishable feature fusion for rumor detection. - Xueqin Chen 002; Fan Zhou 002; Goce Trajcevski; Marcello M. Bonsangue (Knowl. Based Syst., 2022)

Caps Captioning: A Modern Image Captioning Approach Based on Improved Capsule Network. - Shima Javanmardi; Ali Mohammad Latif; Mohammad Taghi Sadeghi; Mehrdad Jahanbanifard; Marcello M. Bonsangue; Fons J. Verbeek (Sensors, 2022)

Using a Novel Capsule Network For an Innovative Approach to Image Captioning. - Shima Javanmardi; Mehrdad Jahanbanifard; Marcello M. Bonsangue; Fons J. Verbeek (SDU@AAAI, 2023)

Approximately Learning Quantum Automata. - Wenjing Chu; Shuo Chen 010; Marcello M. Bonsangue; Zenglin Shi (TASE, 2023)

Simulating Quantum Circuits by Model Counting. - Jingyi Mei; Marcello M. Bonsangue; Alfons Laarman (CAV (3), 2024)

Equivalence Checking of Quantum Circuits by Model Counting. - Jingyi Mei; Tim Coopmans; Marcello M. Bonsangue; Alfons Laarman (IJCAR (2), 2024)

Concurrent NetKAT with Ports. - Hui Feng; Marcello M. Bonsangue (SAC, 2024)

How to Evaluate Games in Education: A Literature Review. - Giulio Barbero; Marcello M. Bonsangue; Felienne F. J. Hermans (CoRR, 2024)

Exploring Open-world Continual Learning with Knowns-Unknowns Knowledge Transfer. - Yujie Li 007; Guannan Lai; Xin Yang 012; Yonghao Li; Marcello M. Bonsangue; Tianrui Li 001 (CoRR, 2025)

Improving Open-world Continual Learning under the Constraints of Scarce Labeled Data. - Yujie Li 007; Xiangkun Wang; Xin Yang 012; Marcello M. Bonsangue; Junbo Zhang; Tianrui Li 001 (CoRR, 2025)