2021

titre

Lazy Services: A Service Oriented Architecture based on Incremental Computations and Commitments

article

2021

Accès au texte intégral et bibtex

2020

titre

Foreword of Proceedings of CARI 2020

article

CARI 2020 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Oct 2020, Thiès, Senegal. pp.1-12

Accès au texte intégral et bibtex

titre

A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2020, Special issue CARI 2018, Volume 31 - 2019 - CARI 2018, pp.1-16. ⟨10.46298/arima.5540⟩

Accès au texte intégral et bibtex

2019

titre

Computers and Coordination of Debate. A study on the role of computers for ordering public debates at various levels, from open citizen's polls to formal parliamentary debate.

article

[Technical Report] JRC115574, Euopean Community Joint Research Center - Ispra; Inria Rennes - Bretagne Atlantique; Université Rennes 1; Irisa. 2019, pp.63

Accès au texte intégral et bibtex

2018

titre

Proceedings of CARI 2018 (African Conference on Research in Computer Science and Applied Mathematics)

article

Nabil Gmati; Eric Badouel; Bruce Watson. CARI 2018 - Colloque africain sur la recherche en informatique et mathématiques appliquées, Oct 2018, Stellenbosch, South Africa. 2018

Accès au texte intégral et bibtex

titre

Modular Design of Domain-Specific Languages using Splittings of Catamorphisms

article

ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Oct 2018, Stellenbosch, South Africa. pp.62-79, ⟨10.1007/978-3-030-02508-3_4⟩

Accès au texte intégral et bibtex

titre

Interfaces of Roles in Distributed Collaborative Systems

article

CARI 2018 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Oct 2018, Stellenbosch, South Africa. pp.182-193

Accès au texte intégral et bibtex

2017

titre

Incremental Process Discovery using Petri Net Synthesis

article

Fundamenta Informaticae, 2017, 154 (1-4), pp.1-13. ⟨10.3233/FI-2017-1548⟩

Accès au texte intégral et bibtex

2016

titre

Petri Nets with Structured Data

article

Fundamenta Informaticae, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 146 (1), pp.35-82. ⟨10.3233/FI-2016-1375⟩

Accès au texte intégral et bibtex

titre

Proceedings of CARI 2016

article

Moussa Lo; Eric Badouel; Nabil Gmati. , pp.513, 2016

Accès au texte intégral et bibtex

titre

Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems

article

Worldcomp'16- The 2nd International Conference on Health Informatics and Medical Systems, Jul 2016, Las Vegas, United States

Accès au texte intégral et bibtex

2015

titre

Foreword

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2015, Volume 21 - 2015 - Special issue - CARI 2014, pp.1-2. ⟨10.46298/arima.2002⟩

Accès au texte intégral et bibtex

titre

Petri Net Synthesis

article

Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. ⟨10.1007/978-3-662-47967-4⟩

Accès au texte intégral et bibtex

titre

Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars

article

ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2015, 15 (3), pp.6-34. ⟨10.1145/2835260.2835261⟩

Accès au texte intégral et bibtex

titre

Préface/Foreword

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2015, Volume 19 - 2015 - Special issue - CRI'13, pp.1-2. ⟨10.46298/arima.1985⟩

Accès au texte intégral et bibtex

titre

Petri nets with semi-structured data

article

Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. pp.212-233

Accès au texte intégral et bibtex

titre

A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment

article

The 30th ACM/SIGAPP Symposium On Applied Computing, Apr 2015, Salamanca, Spain. pp.1834-1839, ⟨10.1145/2695664.2695698⟩

Accès au texte intégral et bibtex

2014

titre

A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment

article

[Research Report] RR-8528, INRIA. 2014, pp.32

Accès au texte intégral et bibtex

titre

Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées)

article

Mokhtar Sellami; Eric Badouel; Moussa Lo. Inria, pp.376, 2014, Colloques CARI

Accès au texte intégral et bibtex

titre

Opacité des artefacts d'un système workflow

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2014, Volume 17 - 2014 - Special issue CARI'12, pp.117-196. ⟨10.46298/arima.1973⟩

Accès au texte intégral et bibtex

2013

titre

Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition

article

Theoretical Computer Science, 2013, 480, pp.1-25. ⟨10.1016/j-tcs.2013.02.007⟩

Accès au bibtex

2012

titre

Opacité dans les systèmes workflows

article

CARI - 11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algérie

Accès au texte intégral et bibtex

titre

On the alpha-Reconstructibility of Workflow Nets

article

Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, Jun 2012, Hamburg, Germany. pp.128-147, ⟨10.1007/978-3-642-31131-4⟩

Accès au bibtex

2011

titre

Residuation of tropical series: rationality issues

article

[Research Report] RR-7547, INRIA. 2011, pp.19

Accès au texte intégral et bibtex

titre

Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers

article

Electronic Notes in Theoretical Computer Science, 2011, Proceedings of the Second Workshop on Mathematically Structured Functional Programming (MSFP 2008), 229 (5), pp.39-56

Accès au bibtex

titre

Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers

article

Electronic Notes in Theoretical Computer Science, 2011, 229 (5), pp.39-56. ⟨10.1016/j.entcs.2011.02.015⟩

Accès au texte intégral et bibtex

titre

A Modal Interface Theory for Component-based Design

article

Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩

Accès au bibtex

2009

titre

Why are modalities good for Interface Theories?

article

[Research Report] RR-6899, INRIA. 2009

Accès au texte intégral et bibtex

titre

Why are modalities good for Interface Theories?

article

The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany

Accès au texte intégral et bibtex

2008

titre

Projections et cohérence de vues dans les grammaires algébriques

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2008, Volume 8, Special Issue CARI'06, 2008, pp.18-48. ⟨10.46298/arima.1885⟩

Accès au texte intégral et bibtex

2007

titre

Yet Another Implementation of Attribute Evaluation

article

[Research Report] RR-6315, INRIA. 2007

Accès au texte intégral et bibtex

titre

Growing a Domain Specific Language with Split Extensions

article

[Research Report] RR-6314, INRIA. 2007

Accès au texte intégral et bibtex

titre

Modular Grammars and Splitting of Catamorphisms

article

[Research Report] RR-6313, INRIA. 2007, pp.17

Accès au texte intégral et bibtex

titre

An axiomatization of the Token Game based on Petri Algebras

article

Fundamenta Informaticae, 2007, 77 (3), pp.187-215

Accès au bibtex

2005

titre

Petri Algebras

article

ICALP 2005 : 32nd International Colloquium, Automata, Languages and Programming, Jul 2005, Lisboa, Portugal. pp.742-754, ⟨10.1007/11523468_60⟩

Accès au bibtex

titre

Concurrent Secrets

article

[Research Report] RR-5771, INRIA. 2005, pp.22

Accès au texte intégral et bibtex

2004

titre

Petri Algebras

article

[Research Report] RR-5355, INRIA. 2004, pp.28

Accès au texte intégral et bibtex

2002

titre

The Petri net synthesis problem for automatic graphs

article

[Research Report] RR-4661, INRIA. 2002

Accès au texte intégral et bibtex

1999

titre

Dynamic Changes in Concurrent Systems: Modelling and Verification

article

[Research Report] RR-3708, INRIA. 1999

Accès au texte intégral et bibtex

1998

titre

Representations of Reversible Automata and State Graphs of Vector Addition Systems

article

[Research Report] RR-3490, INRIA. 1998

Accès au texte intégral et bibtex

titre

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems

article

[Research Report] RR-3339, INRIA. 1998

Accès au texte intégral et bibtex

1997

titre

Stratified Petri Nets

article

[Research Report] RR-3128, INRIA. 1997

Accès au texte intégral et bibtex

1996

titre

Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

article

[Research Report] RR-3013, INRIA. 1996

Accès au texte intégral et bibtex

titre

On the Synthesis of General Petri Nets

article

[Research Report] RR-3025, INRIA. 1996

Accès au texte intégral et bibtex

1995

titre

Context-Free Event Domains are recognizable

article

[Research Report] RR-2588, INRIA. 1995

Accès au texte intégral et bibtex

titre

The Synthesis Problem for Elementary Net Systems is NP-Complete

article

[Research Report] RR-2558, INRIA. 1995

Accès au texte intégral et bibtex

titre

Dualities between Nets and Automata Induced by Schizophrenic Objects

article

[Research Report] RR-2452, INRIA. 1995

Accès au texte intégral et bibtex

1994

titre

Polynomial Algorithms for the Synthesis of Bounded Nets

article

[Research Report] RR-2316, INRIA. 1994

Accès au texte intégral et bibtex

1992

titre

Structural operational specifications and trace automata

article

[Research Report] RR-1631, INRIA. 1992

Accès au texte intégral et bibtex

1990

titre

Conditional rewrite rules as an algebraic semantics of processes

article

[Research Report] RR-1226, INRIA. 1990

Accès au texte intégral et bibtex

titre

A note on guarded recursion

article

[Research Report] RR-1249, INRIA. 1990

Accès au texte intégral et bibtex

1989

titre

Algebraically closed theories

article

[Research Report] RR-1051, INRIA. 1989

Accès au texte intégral et bibtex

1987

titre

Une construction systématique de modèles à partir de spécifications opérationnelles structurelles

article

[Rapport de recherche] RR-0764, INRIA. 1987

Accès au texte intégral et bibtex