Florian Horn
Affiliations:- LIAFA, Université Paris 7, France
According to our database1,
Florian Horn
authored at least 34 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
10
2
1
2
1
1
1
2
2
1
1
1
1
1
2
1
3
3
6
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on irif.fr
On csauthors.net:
Bibliography
2024
2023
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, 2023
2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
2015
RAIRO Theor. Informatics Appl., 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
2013
2011
Int. J. Found. Comput. Sci., 2011
Proceedings of the Language and Automata Theory and Applications, 2011
2010
Proceedings of the Proceedings First Symposium on Games, 2010
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
2008
Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions
CoRR, 2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Logic and Theory of Algorithms, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007