Franck Pommereau

82
Documents
Affiliations actuelles
  • Université d'Évry-Val-d'Essonne (UEVE)
  • Université Paris-Saclay

Publications

Publications

Deposit thumbnail

Explicit spatial–temporal scenarios of food security in a West-African socio-ecological system under climate change

Maxime Leloup , Maximilien Cosme , Franck Pommereau , Cédric Gaucherel

Agriculture and Food Security, 2026, 14, pp.52. ⟨10.1186/s40066-025-00564-x⟩

Article dans une revue hal-05472953v1
Deposit thumbnail

Diagnosis of planktonic trophic network dynamics with sharp qualitative changes

Cédric Gaucherel , Stolian Fayolle , Raphael Savelli , Olivier Philippine , Franck Pommereau et al.

Peer Community Journal, 2024, 4, pp.e58. ⟨10.24072/pcjournal.417⟩

Article dans une revue hal-04647015v1

Improving livelihood through crop-livestock integration: Insights from a farm trajectory model

Maximilien Cosme , Arouna Koné , Franck Pommereau , Cédric Gaucherel

Agricultural Systems, 2024, 219, pp.103949. ⟨10.1016/j.agsy.2024.103949⟩

Article dans une revue hal-04653797v1
Deposit thumbnail

A single changing hypernetwork to represent (social-)ecological dynamics

Cédric Gaucherel , Maximilien Cosme , Camille Noûs , Franck Pommereau

Peer Community Journal, 2024, 4, pp.e104. ⟨10.24072/pcjournal.482⟩

Article dans une revue hal-04786422v2
Deposit thumbnail

Risk assessment and recovery trajectories of a social-ecological system with a discrete-event model after a volcanic eruption

Maximilien Cosme , Olivia Bernardoff , Christelle Hély , Christel Tiberi , Fleurice Parat et al.

International Journal of Disaster Risk Reduction, 2023, 92, pp.103741. ⟨10.1016/j.ijdrr.2023.103741⟩

Article dans une revue hal-04101858v1
Deposit thumbnail

Model-checking ecological state-transition graphs

Colin Thomas , Maximilien Cosme , Cédric Gaucherel , Franck Pommereau

PLoS Computational Biology, 2022, 18 (6), pp.e1009657. ⟨10.1371/journal.pcbi.1009657⟩

Article dans une revue hal-03719082v1
Deposit thumbnail

Qualitative Modeling for Bridging Expert-Knowledge and Social-Ecological Dynamics of an East African Savanna

Maximilien Cosme , Christelle Hély , Franck Pommereau , Paolo Pasquariello , Christel Tiberi et al.

Land, 2022, 11 (1), 26 p. ⟨10.3390/land11010042⟩

Article dans une revue hal-03522463v1
Deposit thumbnail

Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system

Zhun Mao , Julia Centanni , Franck Pommereau , Alexia Stokes , Cédric Gaucherel

Ecosystem Services, 2021, 47, pp.101220. ⟨10.1016/j.ecoser.2020.101220⟩

Article dans une revue hal-03043249v1
Deposit thumbnail

Discrete-event models for conservation assessment of integrated ecosystems

Cédric Gaucherel , Camille Carpentier , Ilse R. Geijzendorffer , Camille Noûs , Franck Pommereau

Ecological Informatics, 2021, 61, pp.101205. ⟨10.1016/j.ecoinf.2020.101205⟩

Article dans une revue hal-03039548v1
Deposit thumbnail

Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface

Cédric Gaucherel , F. Pommereau , Christelle Hély

Complexity, 2020, 2020, pp.1-14. ⟨10.1155/2020/7163920⟩

Article dans une revue hal-02974933v1
Deposit thumbnail

Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem

Cedric Gaucherel , Franck Pommereau

Methods in Ecology and Evolution, 2019, 10 (9), pp.1615-1627. ⟨10.1111/2041-210X.13242⟩

Article dans une revue hal-02265554v1
Deposit thumbnail

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Frédéric Gava , Franck Pommereau , Michael Guedj

Journal of Supercomputing, 2014, 69 (2), pp.629--672. ⟨10.1007/s11227-014-1099-8⟩

Article dans une revue hal-00950399v1
Deposit thumbnail

Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules

Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau

Theoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩

Article dans une revue hal-00769275v1
Deposit thumbnail

State Space Reduction for Dynamic Process Creation

Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau

Scientific Annals of Computer Science, 2010, 20, pp.131--157

Article dans une revue hal-00666663v1
Deposit thumbnail

Quickly prototyping Petri nets tools with SNAKES

Franck Pommereau

Petri nets newsletter, 2008, 75

Article dans une revue hal-02310228v1
Deposit thumbnail

M-nets: A survey

Hanna Klaudel , Franck Pommereau

Acta Informatica, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩

Article dans une revue hal-00870484v1
Deposit thumbnail

Petri nets as executable specifications of high-level timed parallel systems.

Franck Pommereau

Scalable Computing : Practice and Experience, 2005, 6 (4), pp.71-82

Article dans une revue hal-00114669v1
Deposit thumbnail

Asynchonous Box Calculus

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Franck Pommereau

Fundamenta Informaticae, 2003, 54, pp.1-50

Article dans une revue hal-00114675v1
Deposit thumbnail

A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems

Hanna Klaudel , Franck Pommereau

Fundamenta Informaticae, 2002, 50(1), pp.33-55

Article dans une revue hal-00114685v1
Deposit thumbnail

Automatic Discovery of Cyberattacks

Guillaume Hutzler , Hanna Klaudel , Witold Klaudel , Franck Pommereau , Artur Rataj

IEEE International Conference on Cyber Security and Resilience (CSR 2024), Sep 2024, London - Hybrid, United Kingdom. pp.172--179, ⟨10.1109/CSR61664.2024.10679497⟩

Communication dans un congrès hal-04745334v1
Deposit thumbnail

A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems

Franck Pommereau , Cédric Gaucherel

International Workshop on Petri Nets and Software Engineering (PNSE 2024), Jun 2024, Genève, Switzerland. pp.13--32

Communication dans un congrès hal-04667502v1

A case study of cyber-resilience

Guillaume Hutzler , Hanna Klaudel , Witold Klaudel , Franck Pommereau , Artur Rataj

19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade (Serbia), Serbia

Communication dans un congrès hal-04653997v1

An autonomous vehicle in a connected environment: case study of cyber-resilience

Guillaume Hutzler , Hanna Klaudel , Witold Klaudel , Franck Pommereau , Artur Rataj

19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade, Serbia. pp.363-373, ⟨10.15439/2024F8797⟩

Communication dans un congrès hal-04856428v1
Deposit thumbnail

Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs

Giann Karlo Aguirre-Samboní , Cédric Gaucherel , Stefan Haar , Franck Pommereau

International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jul 2022, Bergen, Norway. pp.213--214

Communication dans un congrès hal-03750233v1
Deposit thumbnail

Petri Nets Semantics of Reaction Rules (RR) A Language for Ecosystems Modelling

Franck Pommereau , Colin Thomas , Cédric Gaucherel

Application and Theory of Petri Nets and Concurrency (PTRE NETS 2022), Jun 2022, Bergen, Norway. pp.175-194, ⟨10.1007/978-3-031-06653-5_10⟩

Communication dans un congrès hal-03617050v1
Deposit thumbnail

EDEN Framework for Interactive Analysis of Ecosystems Models

Franck Pommereau , Colin Thomas , Cédric Gaucherel

International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jun 2022, Bergen, Norway. pp.119--138

Communication dans un congrès hal-03750229v1

Laser Array Covering 155 nm Wide Spectral Band Achieved by Selective Area Growth on Silicon Wafer

C. Besancon , P. Fanneau , D. Neel , G. Cerulo , N. Vaissiere et al.

2020 European Conference on Optical Communications (ECOC), Dec 2020, Brussels, Belgium. pp.1-4, ⟨10.1109/ECOC48923.2020.9333230⟩

Communication dans un congrès hal-04627280v1

Analysis of Discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau

12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩

Communication dans un congrès hal-02682352v1
Deposit thumbnail

Pattern Matching in discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau

10. International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111

Communication dans un congrès hal-02002550v1
Deposit thumbnail

ASPiC: an Acting system based on Skill Petri net Composition

Charles Lesire , Franck Pommereau

2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩

Communication dans un congrès hal-01961211v1
Deposit thumbnail

Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures

Hoby Rakotoarivelo , Franck Ledoux , Franck Pommereau , Nicolas Le Goff

23rd International Conference on Parallel and Distributed Computing (Euro-Par 2017), Aug 2017, Santiago de Compostela, Spain. pp.594--606, ⟨10.1007/978-3-319-64203-1_43⟩

Communication dans un congrès hal-01609940v1
Deposit thumbnail

Faster simulation of (Coloured) Petri nets using parallel computing

Franck Pommereau , Jordan de La Houssaye

38th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Jun 2017, Zaragoza, Spain. pp.37--56, ⟨10.1007/978-3-319-57861-3_4⟩

Communication dans un congrès hal-01533514v1
Deposit thumbnail

ABCD: A user-friendly language for formal modelling and analysis

Franck Pommereau

37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016), Jun 2016, Torun, Poland. pp.176--195, ⟨10.1007/978-3-319-39086-4_12⟩

Communication dans un congrès hal-01352028v1
Deposit thumbnail

Fine-grained Locality-aware Parallel Scheme for Anisotropic Mesh Adaptation

Hoby Rakotoarivelo , Franck Ledoux , Franck Pommereau

25th International Meshing Roundtable (IMR 2016), Sep 2016, Crystal City, United States. pp.123-135, ⟨10.1016/j.proeng.2016.11.035⟩

Communication dans un congrès hal-01432988v1
Deposit thumbnail

Formal modelling and analysis of distributed storage systems

Jordan de La Houssaye , Franck Pommereau , Philippe Deniel

International Workshop on Petri Nets and Software Engineering (PNSE 2016), including the International Workshop on Biological Processes and Petri Nets (BioPPN 2016), Jun 2016, Torun, Poland. pp.70-90, ⟨10.1007/978-3-662-55862-1_4⟩

Communication dans un congrès hal-01352035v1
Deposit thumbnail

SNAKES: A flexible high-level Petri nets library

Franck Pommereau

36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2015), Jun 2015, Brussels, Belgium. pp.254--265, ⟨10.1007/978-3-319-19488-2_13⟩

Communication dans un congrès hal-01186407v1
Deposit thumbnail

Modular µ-calculus model-checking with formula-dependent hierarchical abstractions

Yves-Stan Le Cornec , Franck Pommereau

2014 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis La Marsa, France. pp.11-20, ⟨10.1109/ACSD.2014.14⟩

Communication dans un congrès hal-02309924v1
Deposit thumbnail

Building Petri nets tools around Neco compiler

Lukasz Fronc , Franck Pommereau

International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.)

Communication dans un congrès hal-00911714v1
Deposit thumbnail

Towards a certified Petri net model-checker

Lukasz Fronc , Franck Pommereau

9th Asian Symposiium on Programming Languages and Systems (APLAS 2011), Dec 2011, Kenting, Taiwan. pp.322--336, ⟨10.1007/978-3-642-25318-8_24⟩

Communication dans un congrès hal-00666660v1
Deposit thumbnail

Formal modelling and analysis of behaviour grading within a peer-to-peer storage system

Samira Chaou , Franck Pommereau

Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012 (DEVS 2012), Part of the 2012 Spring Simulation Multiconference (SpringSim 2012), Mar 2012, Orlando, FL., United States. pp.212--219

Communication dans un congrès hal-00868709v1
Deposit thumbnail

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau

13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩

Communication dans un congrès hal-00950415v1
Deposit thumbnail

Performance evaluations of a BSP algorithm for state space construction of security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau

20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩

Communication dans un congrès hal-00745201v1
Deposit thumbnail

A BSP algorithm for on-the-fly checking LTL formulas on security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau

11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), Jun 2012, Munich/Garching, Bavaria, Germany. pp.11--18, ⟨10.1109/ISPDC.2012.10⟩

Communication dans un congrès hal-00868689v1
Deposit thumbnail

Optimising the compilation of Petri net models

Lukasz Fronc , Franck Pommereau

Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011), Jun 2011, Kanazawa, Japan. pp.49--64

Communication dans un congrès hal-00666661v1
Deposit thumbnail

A BSP Algorithm for the State Space Construction of Security Protocols

Frédéric Gava , Michael Guedj , Franck Pommereau

9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN 2010), Sep 2010, Enschede, Netherlands. pp.37--44, ⟨10.1109/PDMC-HiBi.2010.14⟩

Communication dans un congrès hal-00669177v1
Deposit thumbnail

Evaluating a Peer-to-peer Storage System in Presence of Malicious Peers

Samira Chaou , Gil Utard , Franck Pommereau

International Conférence on High Performance Computing and Simulation (HPCS 2011), Jul 2011, Istanbul, Turkey. pp.419--426, ⟨10.1109/HPCSim.2011.5999855⟩

Communication dans un congrès hal-00669179v1
Deposit thumbnail

State space exploration of spatially organized populations of agents

Antoine Dautriche , Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau

5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), Oct 2011, Ann Arbor, MI, United States. pp.79-84, ⟨10.1109/SASOW.2011.9⟩

Communication dans un congrès hal-00745245v1
Deposit thumbnail

Modelling, Verification, and Formal Analysis of Security Properties in a P2P System

Sam Sanjabi , Franck Pommereau

2010 International Symposium on Collaborative Technologies and Systems, May 2010, Chicago, France. pp.499-508, ⟨10.1109/CTS.2010.5478474⟩

Communication dans un congrès hal-02310070v1
Deposit thumbnail

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau

4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩

Communication dans un congrès hal-00666662v1
Deposit thumbnail

An approach to state space reduction for systems with dynamic process creation

Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau

24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩

Communication dans un congrès hal-00666664v1
Deposit thumbnail

Efficient reachability graph representation of Petri nets with unbounded counters

Franck Pommereau , Raymond Devillers , Hanna Klaudel

9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩

Communication dans un congrès hal-00340494v1
Deposit thumbnail

Nets in Nets with SNAKES

Franck Pommereau

Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany

Communication dans un congrès hal-00666665v1
Deposit thumbnail

Modeling and analysis of security protocols using role based specifications and Petri nets

Roland Bouroulet , Raymond Devillers , Hanna Klaudel , Elisabeth Pelz , Franck Pommereau

International Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. pp.72--91, ⟨10.1007/978-3-540-68746-7_9⟩

Communication dans un congrès hal-00340476v1
Deposit thumbnail

Quickly prototyping Petri nets tools with SNAKES

Franck Pommereau

International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France

Communication dans un congrès hal-02309814v1
Deposit thumbnail

Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets

Franck Pommereau

Summer Computer Simulation Conference, 2007, San Diego, United States

Communication dans un congrès hal-02309961v1
Deposit thumbnail

Causal Time Calculus

Franck Pommereau

FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩

Communication dans un congrès istex hal-00114673v1
Deposit thumbnail

Petri nets as Executable Specifications of High-Level Timed Parallel Systems

Franck Pommereau

Computational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩

Communication dans un congrès hal-00114671v1
Deposit thumbnail

Box Calculus with High-Level Buffers

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau

2004, pp.1-6

Communication dans un congrès hal-00114672v1
Deposit thumbnail

Petri nets with causal time for system verification

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau

MTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩

Communication dans un congrès hal-00114682v1
Deposit thumbnail

Operational Semantics for PBC with Asynchronous Communication

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau

2002, pp.1-6

Communication dans un congrès hal-00114684v1
Deposit thumbnail

An Algebra of Non-safe Petri Boxes

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Franck Pommereau

AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩

Communication dans un congrès istex hal-02309988v1
Deposit thumbnail

A concurrent semantics of static exceptions in a parallel programming language

Hanna Klaudel , Franck Pommereau

PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩

Communication dans un congrès istex hal-00114689v1
Deposit thumbnail

FIFO Buffers in tie Sauce

Franck Pommereau

Distributed and Parallel Systems, Sep 2000, Balatonfüred, Hungary. pp.95-104, ⟨10.1007/978-1-4615-4489-0_13⟩

Communication dans un congrès istex hal-02310048v1
Deposit thumbnail

A concurrent and compositional Petri net semantics of preemption

Hanna Klaudel , Franck Pommereau

Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩

Communication dans un congrès istex hal-00114693v1
Deposit thumbnail

Asynchronous links in the PBC and M-nets

Hanna Klaudel , Franck Pommereau

ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩

Communication dans un congrès istex hal-00114697v1
Deposit thumbnail

Algebras of coloured Petri nets

Franck Pommereau

LAP LAMBERT Academic Publishing, 2010, 978-3843361132

Ouvrages hal-02309870v1
Deposit thumbnail

ZINC: a compiler for “any language”-coloured Petri nets

Franck Pommereau

[Research Report] IBISC, university of Evry / Paris-Saclay. 2018

Rapport (rapport de recherche) hal-01941485v1
Deposit thumbnail

Formal modelling and analysis of distributed storage systems

Jordan de La Houssaye , Franck Pommereau , Philippe Deniel

[Research Report] IBISC, university of Evry / Paris-Saclay. 2014

Rapport (rapport de recherche) hal-02310229v1
Deposit thumbnail

Proving a Petri net model-checker implementation

Lukasz Fronc , Franck Pommereau

[Research Report] IBISC, university of Evry / Paris-Saclay. 2011

Rapport (rapport de recherche) hal-02315062v1
Deposit thumbnail

Modelling molecular networks: relationships between different formalisms and levels of details

Sylvain Soliman , Claudine Chaouiya , Grégory Batt , Francois Fages , Élisabeth Remy et al.

[Research Report] RR-7221, INRIA. 2010

Rapport (rapport de recherche) inria-00461084v1
Deposit thumbnail

Asynchronous Box Calculus with multi-way communication

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau

[Research Report] LACL, Université Paris-Est/Créteil. 2008

Rapport (rapport de recherche) hal-02310227v1
Deposit thumbnail

Towards efficient verification of systems with dynamic process creation

Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau

[Research Report] LACL, Université Paris-Est. 2008

Rapport (rapport de recherche) hal-02310226v1
Deposit thumbnail

Box Calculus with Coloured Buffers

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau

[Research Report] LACL, Université Paris-Est/Créteil. 2002

Rapport (rapport de recherche) hal-00114687v1
Deposit thumbnail

Modèles composables et concurrents pour le temps-réel

Franck Pommereau

Modélisation et simulation. Université Paris 12, 2002. Français. ⟨NNT : ⟩

Thèse tel-00114680v1
Deposit thumbnail

Proceedings of SUMo and CompoNet 2011

Didier Buchs , Hanna Klaudel , Franck Pommereau

SUMo and CompoNet, Newcastle upon Tyne, United Kingdom. CEUR Workshop Proceedings, 726, 2011

N°spécial de revue/special issue hal-02310023v1