ask others

Jean-Marc Talbot

> Home > Persons

Person information

affiliation: LIFL Lille, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/ReynierT16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ijfcs/ReynierT16
Pierre-Alain Reynier, Jean-Marc Talbot:
Visibly Pushdown Transducers with Well-Nested Outputs. Int. J. Found. Comput. Sci. 27(2): 235-258 (2016)
[c32]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/DartoisFRT16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lics/DartoisFRT16
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot:
Two-Way Visibly Pushdown Automata and Transducers. LICS 2016: 217-226
[c31]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/DaviaudRT16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lics/DaviaudRT16
Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot:
A Generalised Twinning Property for Minimisation of Cost Register Automata. LICS 2016: 857-866
[c30]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/BertolissiTV16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ppdp/BertolissiTV16
Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois:
Analysis of access control policy updates through narrowing. PPDP 2016: 62-75
[e1]
- view
  - table of contents in dblp
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/csl/2016
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/2016
Jean-Marc Talbot, Laurent Regnier:
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. LIPIcs 62, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-022-4 [contents]
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DartoisFRT16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/DartoisFRT16
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot:
Two-Way Visibly Pushdown Automata and Transducers. CoRR abs/1606.00234 (2016)
2015
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CaralpRT15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tcs/CaralpRT15
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot:
Trimming visibly pushdown automata. Theor. Comput. Sci. 578: 13-29 (2015)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/FiliotMRT15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icalp/FiliotMRT15
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot:
Decision Problems of Tree Transducers with Origin. ICALP (2) 2015: 209-221
2014
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/ReynierT14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dlt/ReynierT14
Pierre-Alain Reynier, Jean-Marc Talbot:
Visibly Pushdown Transducers with Well-Nested Outputs. Developments in Language Theory 2014: 129-141
2013
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CaralpRT13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wia/CaralpRT13
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot:
Trimming Visibly Pushdown Automata. CIAA 2013: 84-96
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CaralpFRST13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/CaralpFRST13
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot:
Expressiveness of Visibly Pushdown Transducers. TTATT 2013: 17-26
2012
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/CaralpRT12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dlt/CaralpRT12
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot:
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness. Developments in Language Theory 2012: 226-238
2011
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/FrataniT11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/forte/FrataniT11
Séverine Fratani, Jean-Marc Talbot:
An Accurate Type System for Information Flow in Presence of Arrays. FMOODS/FORTE 2011: 153-167
2010
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/FiliotTT10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ijfcs/FiliotTT10
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison:
Tree Automata with Global Constraints. Int. J. Found. Comput. Sci. 21(4): 571-596 (2010)
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/FiliotRRST10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/mfcs/FiliotRRST10
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot:
Properties of Visibly Pushdown Transducers. MFCS 2010: 355-367
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1002-1443
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1002-1443
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot:
On Functionality of Visibly Pushdown Transducers. CoRR abs/1002.1443 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/GireT09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ita/GireT09
Françoise Gire, Jean-Marc Talbot:
Nested Sibling Tree Automata. ITA 43(2): 379-402 (2009)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/GhindiciST09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fsen/GhindiciST09
Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot:
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. FSEN 2009: 355-370
2008
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/FiliotTT08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dlt/FiliotTT08
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison:
Tree Automata with Global Constraints. Developments in Language Theory 2008: 314-326
2007
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/FiliotTT07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/FiliotTT07
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison:
Satisfiability of a Spatial Logic with Tree Variables. CSL 2007: 130-145
[c19]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pods/FiliotNTT07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pods/FiliotNTT07
Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison:
Polynomial time fragments of XPath with variables. PODS 2007: 205-214
2006
[c18]
- no documents available
- export record
  dblp key:
  - conf/planX/FiliotNTT06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/planX/FiliotNTT06
Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison:
Composing Monadic Queries in Trees. PLAN-X 2006: 61-70
2005
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BonevaT05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tcs/BonevaT05
Iovka Boneva, Jean-Marc Talbot:
When ambients cannot be opened. Theor. Comput. Sci. 333(1-2): 127-169 (2005)
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dbpl/NiehrenPTT05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dbpl/NiehrenPTT05
Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison:
N-Ary Queries by Tree Automata. DBPL 2005: 217-231
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BonevaTT05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lics/BonevaTT05
Iovka Boneva, Jean-Marc Talbot, Sophie Tison:
Expressiveness of a Spatial Logic for Trees. LICS 2005: 280-289
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/OhsakiTTR05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/OhsakiTTR05
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos:
Monotone AC-Tree Automata. LPAR 2005: 337-351
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BonevaT05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BonevaT05
Iovka Boneva, Jean-Marc Talbot:
Automata and Logics for Unranked and Unordered Trees. RTA 2005: 500-515
[i1]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/NiehrenPTT05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/NiehrenPTT05
Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison:
N-ary Queries by Tree Automata. Foundations of Semistructured Data 2005
2004
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifipTCS/BonevaT04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifipTCS/BonevaT04
Iovka Boneva, Jean-Marc Talbot:
On Complexity of Model-Checking for the TQL Logic. IFIP TCS 2004: 381-394
2003
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CharatonikDGMT03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tcs/CharatonikDGMT03
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003)
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/BonevaT03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fossacs/BonevaT03
Iovka Boneva, Jean-Marc Talbot:
When Ambients Cannot Be Opened. FoSSaCS 2003: 169-184
2002
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CharatonikGT02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/esop/CharatonikGT02
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot:
Finite-Control Mobile Ambients. ESOP 2002: 295-313
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/CharatonikT02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/CharatonikT02
Witold Charatonik, Jean-Marc Talbot:
Atomic Set Constraints with Projection. RTA 2002: 311-325
2001
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/CharatonikT01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/CharatonikT01
Witold Charatonik, Jean-Marc Talbot:
The Decidability of Model Checking Mobile Ambients. CSL 2001: 339-354
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/CharatonikDGMT01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fossacs/CharatonikDGMT01
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
2000
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/constraints/TalbotDT00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/constraints/TalbotDT00
Jean-Marc Talbot, Philippe Devienne, Sophie Tison:
Generalized Definite Set Constraints. Constraints 5(1/2): 161-202 (2000)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Talbot00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ipl/Talbot00
Jean-Marc Talbot:
The forall-exists² fragment of the first-order theory of atomic set constraints is Pi⁰₁-hard. Inf. Process. Lett. 74(1-2): 27-33 (2000)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/Talbot00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/Talbot00
Jean-Marc Talbot:
On the Alternation-Free Horn Mu-calculus. LPAR 2000: 418-435
[c6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/CharatonikPT00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/popl/CharatonikPT00
Witold Charatonik, Andreas Podelski, Jean-Marc Talbot:
Paths vs. Trees in Set-Based Program Analysis. POPL 2000: 330-337

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/NiehrenMT99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lics/NiehrenMT99
Joachim Niehren, Martin Müller, Jean-Marc Talbot:
Entailment of Atomic Set Constraints is PSPACE-Complete. LICS 1999: 285-294
1998
[c4]
- no documents available
- export record
  dblp key:
  - conf/iclp/DevienneTT98
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iclp/DevienneTT98
Philippe Devienne, Jean-Marc Talbot, Sophie Tison:
Co-definite Set Constraints with Membership Expressions. IJCSLP 1998: 25-39
1997
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/DevienneTT97
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cp/DevienneTT97
Philippe Devienne, Jean-Marc Talbot, Sophie Tison:
Solving Classes of Set Constraints with Tree Automata. CP 1997: 62-76
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/TalbotTD97
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sas/TalbotTD97
Jean-Marc Talbot, Sophie Tison, Philippe Devienne:
Set-Based Analysis for Logic Programming and Tree Automata. SAS 1997: 127-140
1996
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/AndrianariveloBT96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/aisc/AndrianariveloBT96
Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot:
On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338

Coauthor Index

see FAQ

maintained by

at