Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Isabelle LINDEN

Publications (19)

Livres

2007
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Boella GUIDO, Medhi DASTANI, Andrea OMINICI, Leendert W. N. VAN DER TORRE, Ivana CERNA, Isabelle LINDEN
2006
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
Lubos BRIM, Isabelle LINDEN

Articles de périodique

2009
Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages, in Theoretical Computer Science, volume 410, issue 2-3, pp. 221-253
Jean-Marie JACQUET, Isabelle LINDEN
2007
On the Expressiveness of Timed Coordination via Shared Dataspaces, in Electronic Notes in Theoretical Computer Science, volume 180, issue 2, pp. 71-89
Isabelle LINDEN, Jean-Marie JACQUET
2006
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching, in Fundamenta Informaticae, volume 73, issue 4, pp. 432-478
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN
2006
On the Expressiveness of Timed Coordination Models, in Science of Computer Programming, volume 61, issue 2, pp. 152-187
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2004
On the Expressiveness of Relative-Timed Coordination Models, in Electronic Notes in Theoretical Computer Science, volume 97, pp. 125-153
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2003
On Modeling Coordination via Asynchronous Communication and Enhanced Matching, in Electronic Notes in Theoretical Computer Science, volume 68, issue 3, pp. 284-309
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN

Contributions à des ouvrages collectifs

2010
Decision Support for ERP-based Production Management: a Business Intelligence Perspective, in Proceedings of the 15th IFIP WG8.3 International Conference on Decision Support Systems
Isabelle LINDEN, Shaofeng LIU, Jonathan MOIZER, Pushpa SUBRAMANIAM, Mike LEAT
2007
Towards a theory of refinement in timed coordination languages, in Coordination Languages and Models, collection Lecture Notes in Computer Science
Jean-Marie JACQUET, Isabelle LINDEN
2007
Coordinating context-aware applications in mobile Ad-hoc Networks, in Proceedings of the first ERCIM workshop on eMobility, pp. 107-118
Jean-Marie JACQUET, Isabelle LINDEN
2004
On the Expressiveness of Absolute-Time Coordination Languages, in Proceedings of the Coordination'04 Conference, Pisa, Italy, February 2004, collection Lecture Notes in Computer Science, volume 2949, pp. 232-247
Isabelle LINDEN, Jean-Marie JACQUET
2003
On Methodologies for Coordinating Programs, in Proceedings of the international conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), Las Vegas, Nevada, USA, 23-26 June 2003, pp. 115-121
Isabelle LINDEN, Jean-Marie JACQUET

Actes de colloques

2011
Experts Collaboration for Wealth and Estate Planning Using the SEPlanS Platform.: EWG-DSS/DASIG joint-workshop Paris 2011
Isabelle LINDEN, Jean-Marie JACQUET, Mihail-Octavian STAICU, Gustavo Adolfo OSPINA AGUDELO
2008
Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler, in ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008, pp. 109-117
Isabelle LINDEN, Hubert TOUSSAINT, Andreas CLASSEN, Pierre-Yves SCHOBBENS

Thèses

2007
On the introduction of time in coordination languages : semantic, expressiveness and programming methodologies
Isabelle LINDEN

Mémoires

1999
Quelques Réflexions Philosophiques à propos de la Relativité et de la Cosmologie d'Einstein
Isabelle LINDEN
1995
Quelques Propriétés des Faces et des Angles des Polytopes et de la Mesure des Convexes Compacts
Isabelle LINDEN

Rapports de recherche

2005
Etude de Langages de Coordination : Analyse d'Expressivité, Sémantiques et Méthodologies de Programmation
Isabelle LINDEN