Jean-Marc Talbot - Concepedia

Author

Jean-Marc Talbot

Laboratoire d'Informatique Fondamentale de Lille

Also Known As

J M. Talbot, J.-M. Talbot, JEAN-MARC TALBOT, Jean-Marc Talbot, Talbot, Jean-Marc

Publications

412

Citations

H-Index

Concepts

All Affiliations

Laboratoire d'Informatique Fondamentale de Lille Laboratoire d’Informatique Fondamentale de Marseille Microsoft Research (United Kingdom)Université Libre de Bruxelles University of Wrocław

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	127
2	Computer Science	5	5	105
3	Medicine	1	1	19
4	Social Sciences	1	1	21
5	Computer Engineering	1	1	19

Jean-Marc Talbot

Publications

167

Citations

H-Index

Page 1

	Year	Citations
Model checking mobile ambients Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Theoretical Computer Science Mobile SensingEngineeringMobile InteractionDesignWearable Technology	2003	39
When ambients cannot be opened Iovka Boneva, Jean-Marc Talbot Theoretical Computer Science Built EnvironmentEnvironmentAmbient DisplayUser ExperienceAmbient Intelligence	2004	21
A Generalised Twinning Property for Minimisation of Cost Register Automata Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot Mathematical ProgrammingEngineeringPushdown AutomatonComputational ComplexityWeighted Automaton	2016	19
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, Blood Advances Acute Lung InjuryInflammatory Lung DiseaseLung InflammationImmunodeficienciesImmunology	2020	19
The Complexity of Model Checking Mobile Ambients Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Lecture notes in computer science Mobile SensingEngineeringVerificationFormal MethodsSoftware Analysis	2001	17
TREE AUTOMATA WITH GLOBAL CONSTRAINTS Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison International Journal of Foundations of Computer Science Tree AutomataTree LanguageLogical AutomatonEngineeringGraph Theory	2010	17
Entailment of atomic set constraints is PSPACE-complete Joachim Niehren, Martín Müller, Jean-Marc Talbot Constraint SolvingEngineeringAutomated ReasoningProof ComplexityFormal Methods	2003	13
Generalized Definite Set Constraints Jean-Marc Talbot, Philippe Devienne, Sophie Tison Constraints Mathematical ProgrammingEngineeringExtremal Set TheoryConstrained OptimizationDiscrete Mathematics	2000	11
Visibly pushdown transducers Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Journal of Computer and System Sciences EngineeringPushdown TransducersTransducer PrincipleAcoustic PropagationUltrasound	2018	11

Page 1