Concepedia

Jean-Marc Talbot

JT

9

Publications

167

Citations

9

H-Index

2000

Active since

Affiliations

Laboratoire d'Informatique Fondamentale de Lille(Current)

Laboratoire d’Informatique Fondamentale de Marseille

Microsoft Research (United Kingdom)

Université Libre de Bruxelles

University of Wrocław

Jean-Marc Talbot is an author at Laboratoire d'Informatique Fondamentale de Lille specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationMobile ComputingComputational ComplexityMathematical ProgrammingCombinatorial Optimization

Publications per year

2000–2020

9

Publications

9

Model checking mobile ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon et al. · Theoretical Computer Science · 2003 · 39 citations · Full text

Mobile Sensing, Engineering, Mobile Interaction +7

When ambients cannot be opened

Iovka Boneva, Jean-Marc Talbot · Theoretical Computer Science · 2004 · 21 citations

Built Environment, Environment, Ambient Display +4

A Generalised Twinning Property for Minimisation of Cost Register Automata

Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot · 2016 · 19 citations

Mathematical Programming, Engineering, Pushdown Automaton +18

IL-6 levels are dramatically high in the sputum from children with sickle cell disease during acute chest syndrome

Slimane Allali, Mariane de Montalembert, Rachel Rignault‐Bricard et al. · Blood Advances · 2020 · 19 citations · Full text

Acute Lung Injury, Inflammatory Lung Disease, Lung Inflammation +18

The Complexity of Model Checking Mobile Ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon et al. · Lecture notes in computer science · 2001 · 17 citations · Full text

Mobile Sensing, Engineering, Verification +9

Rows per page

1–5 of 9