Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Seiller
@inproceedings{DBLP:conf/atva/AubertRRS23,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {pymwp: {A} Static Analyzer Determining Polynomial Growth Bounds},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {263--275},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_14},
doi = {10.1007/978-3-031-45332-8\_14},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AubertRRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/RagotSF23,
author = {Adrien Ragot and
Thomas Seiller and
Lorenzo Tortora de Falco},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Linear Realisability Over Nets and Second Order Quantification (short
paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {59--64},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/3998.pdf},
timestamp = {Mon, 18 Dec 2023 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/RagotSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AubertRRS23,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
editor = {Cezara Dragoi and
Michael Emmi and
Jingbo Wang},
title = {Distributing and Parallelizing Non-canonical Loops},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International
Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13881},
pages = {1--24},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24950-1\_1},
doi = {10.1007/978-3-031-24950-1\_1},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AubertRRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19339,
author = {Valentin Maestracci and
Thomas Seiller},
title = {Linear Realisability and Cobordisms},
journal = {CoRR},
volume = {abs/2310.19339},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19339},
doi = {10.48550/ARXIV.2310.19339},
eprinttype = {arXiv},
eprint = {2310.19339},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/AubertRRS22,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
editor = {Amy P. Felty},
title = {mwp-Analysis Improvement and Implementation: Realizing Implicit Computational
Complexity},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {26:1--26:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.26},
doi = {10.4230/LIPICS.FSCD.2022.26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/AubertRRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03943,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
title = {mwp-Analysis Improvement and Implementation: Realizing Implicit Computational
Complexity},
journal = {CoRR},
volume = {abs/2203.03943},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03943},
doi = {10.48550/ARXIV.2203.03943},
eprinttype = {arXiv},
eprint = {2203.03943},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05221,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
title = {Realizing Implicit Computational Complexity},
journal = {CoRR},
volume = {abs/2203.05221},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.05221},
doi = {10.48550/ARXIV.2203.05221},
eprinttype = {arXiv},
eprint = {2203.05221},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-05221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08760,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
title = {A Novel Loop Fission Technique Inspired by Implicit Computational
Complexity},
journal = {CoRR},
volume = {abs/2206.08760},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08760},
doi = {10.48550/ARXIV.2206.08760},
eprinttype = {arXiv},
eprint = {2206.08760},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08465,
author = {Boris Eng and
Thomas Seiller},
title = {Multiplicative linear logic from a resolution-based tile system},
journal = {CoRR},
volume = {abs/2207.08465},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08465},
doi = {10.48550/ARXIV.2207.08465},
eprinttype = {arXiv},
eprint = {2207.08465},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2112-14050,
author = {Eric Finster and
Samuel Mimram and
Maxime Lucas and
Thomas Seiller},
editor = {Ana Sokolova},
title = {A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory},
booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th
August - 2nd September, 2021},
series = {{EPTCS}},
volume = {351},
pages = {67--83},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.351.5},
doi = {10.4204/EPTCS.351.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00086,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
title = {An extended and more practical mwp flow analysis},
journal = {CoRR},
volume = {abs/2107.00086},
year = {2021},
url = {https://arxiv.org/abs/2107.00086},
eprinttype = {arXiv},
eprint = {2107.00086},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00097,
author = {Cl{\'{e}}ment Aubert and
Thomas Rubiano and
Neea Rusch and
Thomas Seiller},
title = {An implementation of flow calculus for complexity analysis (tool paper)},
journal = {CoRR},
volume = {abs/2107.00097},
year = {2021},
url = {https://arxiv.org/abs/2107.00097},
eprinttype = {arXiv},
eprint = {2107.00097},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-11906,
author = {Thomas Seiller},
title = {Zeta Functions and the (Linear) Logic of Markov Processes},
journal = {CoRR},
volume = {abs/2001.11906},
year = {2020},
url = {https://arxiv.org/abs/2001.11906},
eprinttype = {arXiv},
eprint = {2001.11906},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-11906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-00009,
author = {Thomas Seiller},
title = {Probabilistic Complexity Classes through Semantics},
journal = {CoRR},
volume = {abs/2002.00009},
year = {2020},
url = {https://arxiv.org/abs/2002.00009},
eprinttype = {arXiv},
eprint = {2002.00009},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-00009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10888,
author = {Luc Pellissier and
Thomas Seiller},
title = {Lower bounds for prams over {Z}},
journal = {CoRR},
volume = {abs/2002.10888},
year = {2020},
url = {https://arxiv.org/abs/2002.10888},
eprinttype = {arXiv},
eprint = {2002.10888},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03249,
author = {Thomas Seiller and
Jakob Grue Simonsen},
title = {An Embellished Account of Agafonov's Proof of Agafonov's Theorem},
journal = {CoRR},
volume = {abs/2007.03249},
year = {2020},
url = {https://arxiv.org/abs/2007.03249},
eprinttype = {arXiv},
eprint = {2007.03249},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-16077,
author = {Boris Eng and
Thomas Seiller},
title = {Stellar Resolution: Multiplicatives},
journal = {CoRR},
volume = {abs/2007.16077},
year = {2020},
url = {https://arxiv.org/abs/2007.16077},
eprinttype = {arXiv},
eprint = {2007.16077},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-16077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-08552,
author = {Thomas Seiller and
Jakob Grue Simonsen},
title = {Agafonov's Theorem for finite and infinite alphabets and probability
distributions different from equidistribution},
journal = {CoRR},
volume = {abs/2011.08552},
year = {2020},
url = {https://arxiv.org/abs/2011.08552},
eprinttype = {arXiv},
eprint = {2011.08552},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-08552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Seiller19,
author = {Thomas Seiller},
title = {Interaction Graphs: Exponentials},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:25)2019},
doi = {10.23638/LMCS-15(3:25)2019},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Seiller19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1908-04478,
editor = {Thomas Seiller and
Steffen Jost},
title = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298},
doi = {10.4204/EPTCS.298},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00196,
author = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n and
Paolo Pistone and
Thomas Seiller and
Lorenzo Tortora de Falco},
title = {Finite semantics of polymorphism, complexity and the power of type
fixpoints},
journal = {CoRR},
volume = {abs/1902.00196},
year = {2019},
url = {http://arxiv.org/abs/1902.00196},
eprinttype = {arXiv},
eprint = {1902.00196},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Seiller18,
author = {Thomas Seiller},
title = {A correspondence between maximal abelian sub-algebras and linear logic
fragments},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {77--139},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000062},
doi = {10.1017/S0960129516000062},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Seiller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Seiller18,
author = {Thomas Seiller},
title = {Interaction Graphs: Non-Deterministic Automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {21:1--21:24},
year = {2018},
url = {https://doi.org/10.1145/3226594},
doi = {10.1145/3226594},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Seiller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-06849,
author = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n and
Thomas Seiller},
editor = {Thomas Ehrhard and
Maribel Fern{\'{a}}ndez and
Valeria de Paiva and
Lorenzo Tortora de Falco},
title = {Coherent Interaction Graphs},
booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends
in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
UK, 7-8 July 2018},
series = {{EPTCS}},
volume = {292},
pages = {104--117},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.292.6},
doi = {10.4204/EPTCS.292.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06849.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06787,
author = {Luc Pellissier and
Thomas Seiller},
title = {PRAMs over integers do not compute maxflow efficiently},
journal = {CoRR},
volume = {abs/1811.06787},
year = {2018},
url = {http://arxiv.org/abs/1811.06787},
eprinttype = {arXiv},
eprint = {1811.06787},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Seiller17,
author = {Thomas Seiller},
title = {Interaction graphs: Graphings},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {2},
pages = {278--320},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.10.007},
doi = {10.1016/J.APAL.2016.10.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Seiller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EberhartHS17,
author = {Clovis Eberhart and
Tom Hirschowitz and
Thomas Seiller},
title = {An intensionally fully-abstract sheaf model for {\(\pi\)} (expanded
version)},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:9)2017},
doi = {10.23638/LMCS-13(4:9)2017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/EberhartHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MoyenRS17,
author = {Jean{-}Yves Moyen and
Thomas Rubiano and
Thomas Seiller},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Loop Quasi-Invariant Chunk Detection},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {91--108},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_7},
doi = {10.1007/978-3-319-68167-2\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MoyenRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MoyenRS17,
author = {Jean{-}Yves Moyen and
Thomas Rubiano and
Thomas Seiller},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Loop Quasi-Invariant Chunk Motion by peeling with statement composition},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {47--59},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.9},
doi = {10.4204/EPTCS.248.9},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoyenRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-06744,
author = {Clovis Eberhart and
Tom Hirschowitz and
Thomas Seiller},
title = {An intensionally fully-abstract sheaf model for {\(\pi\)} (expanded
version)},
journal = {CoRR},
volume = {abs/1710.06744},
year = {2017},
url = {http://arxiv.org/abs/1710.06744},
eprinttype = {arXiv},
eprint = {1710.06744},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-06744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Seiller16,
author = {Thomas Seiller},
title = {Interaction graphs: Additives},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {2},
pages = {95--154},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2015.10.001},
doi = {10.1016/J.APAL.2015.10.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Seiller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AubertS16,
author = {Cl{\'{e}}ment Aubert and
Thomas Seiller},
title = {Logarithmic space and permutations},
journal = {Inf. Comput.},
volume = {248},
pages = {2--21},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2014.01.018},
doi = {10.1016/J.IC.2014.01.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AubertS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AubertS16,
author = {Cl{\'{e}}ment Aubert and
Thomas Seiller},
title = {Characterizing co-NL by a group action},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {606--638},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000267},
doi = {10.1017/S0960129514000267},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AubertS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AubertBS16,
author = {Cl{\'{e}}ment Aubert and
Marc Bagnol and
Thomas Seiller},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Unary Resolution: Characterizing Ptime},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {373--389},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_22},
doi = {10.1007/978-3-662-49630-5\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AubertBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Seiller16,
author = {Thomas Seiller},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Interaction Graphs: Full Linear Logic},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {427--436},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934568},
doi = {10.1145/2933575.2934568},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Seiller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller16,
author = {Thomas Seiller},
title = {From Dynamic to Static Semantics, Quantitatively},
journal = {CoRR},
volume = {abs/1604.05047},
year = {2016},
url = {http://arxiv.org/abs/1604.05047},
eprinttype = {arXiv},
eprint = {1604.05047},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller16a,
author = {Thomas Seiller},
title = {Interaction Graphs: Nondeterministic Automata},
journal = {CoRR},
volume = {abs/1609.07895},
year = {2016},
url = {http://arxiv.org/abs/1609.07895},
eprinttype = {arXiv},
eprint = {1609.07895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/EberhartHS15,
author = {Clovis Eberhart and
Tom Hirschowitz and
Thomas Seiller},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {An Intensionally Fully-abstract Sheaf Model for pi},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {86--100},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.86},
doi = {10.4230/LIPICS.CALCO.2015.86},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/EberhartHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertBS15,
author = {Cl{\'{e}}ment Aubert and
Marc Bagnol and
Thomas Seiller},
title = {Memoization for Unary Logic Programming: Characterizing {PTIME}},
journal = {CoRR},
volume = {abs/1501.05104},
year = {2015},
url = {http://arxiv.org/abs/1501.05104},
eprinttype = {arXiv},
eprint = {1501.05104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AubertBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller15,
author = {Thomas Seiller},
title = {Towards a Complexity-through-Realizability Theory},
journal = {CoRR},
volume = {abs/1502.01257},
year = {2015},
url = {http://arxiv.org/abs/1502.01257},
eprinttype = {arXiv},
eprint = {1502.01257},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller15a,
author = {Thomas Seiller},
title = {Interaction Graphs: Full Linear Logic},
journal = {CoRR},
volume = {abs/1504.04152},
year = {2015},
url = {http://arxiv.org/abs/1504.04152},
eprinttype = {arXiv},
eprint = {1504.04152},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AubertBPS14,
author = {Cl{\'{e}}ment Aubert and
Marc Bagnol and
Paolo Pistone and
Thomas Seiller},
editor = {Jacques Garrigue},
title = {Logic Programming and Logarithmic Space},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {39--57},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_3},
doi = {10.1007/978-3-319-12736-1\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AubertBPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller14,
author = {Thomas Seiller},
title = {Interaction Graphs: Graphings},
journal = {CoRR},
volume = {abs/1405.6331},
year = {2014},
url = {http://arxiv.org/abs/1405.6331},
eprinttype = {arXiv},
eprint = {1405.6331},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertBPS14,
author = {Cl{\'{e}}ment Aubert and
Marc Bagnol and
Paolo Pistone and
Thomas Seiller},
title = {Logic Programming and Logarithmic Space},
journal = {CoRR},
volume = {abs/1406.2110},
year = {2014},
url = {http://arxiv.org/abs/1406.2110},
eprinttype = {arXiv},
eprint = {1406.2110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AubertBPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller14a,
author = {Thomas Seiller},
title = {A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic
Fragments},
journal = {CoRR},
volume = {abs/1408.2125},
year = {2014},
url = {http://arxiv.org/abs/1408.2125},
eprinttype = {arXiv},
eprint = {1408.2125},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3189,
author = {Thomas Seiller and
Cl{\'{e}}ment Aubert},
title = {Logarithmic Space and Permutations},
journal = {CoRR},
volume = {abs/1301.3189},
year = {2013},
url = {http://arxiv.org/abs/1301.3189},
eprinttype = {arXiv},
eprint = {1301.3189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EberhartHS13,
author = {Clovis Eberhart and
Tom Hirschowitz and
Thomas Seiller},
title = {Fully-abstract concurrent games for pi},
journal = {CoRR},
volume = {abs/1310.4306},
year = {2013},
url = {http://arxiv.org/abs/1310.4306},
eprinttype = {arXiv},
eprint = {1310.4306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EberhartHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Seiller13,
author = {Thomas Seiller},
title = {Interaction Graphs: Exponentials},
journal = {CoRR},
volume = {abs/1312.1094},
year = {2013},
url = {http://arxiv.org/abs/1312.1094},
eprinttype = {arXiv},
eprint = {1312.1094},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Seiller13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Seiller12,
author = {Thomas Seiller},
title = {Interaction graphs: Multiplicatives},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {12},
pages = {1808--1837},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2012.04.005},
doi = {10.1016/J.APAL.2012.04.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Seiller12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6557,
author = {Thomas Seiller},
title = {Interaction Graphs: Additives},
journal = {CoRR},
volume = {abs/1205.6557},
year = {2012},
url = {http://arxiv.org/abs/1205.6557},
eprinttype = {arXiv},
eprint = {1205.6557},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6558,
author = {Thomas Seiller},
title = {Interaction Graphs: Multiplicatives},
journal = {CoRR},
volume = {abs/1205.6558},
year = {2012},
url = {http://arxiv.org/abs/1205.6558},
eprinttype = {arXiv},
eprint = {1205.6558},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3422,
author = {Cl{\'{e}}ment Aubert and
Thomas Seiller},
title = {Characterizing co-NL by a group action},
journal = {CoRR},
volume = {abs/1209.3422},
year = {2012},
url = {http://arxiv.org/abs/1209.3422},
eprinttype = {arXiv},
eprint = {1209.3422},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-3422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
