Johan Thapper
Orcid: 0000-0003-1993-9571Affiliations:
- Université Paris-Est, Laboratoire d'Informatique Gaspard-Monge, France
- University of Paris-Sud, Laboratory for Computer Science (LRI), France (former)
According to our database1,
Johan Thapper
authored at least 28 papers
between 2000 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2018
ACM Trans. Comput. Theory, 2018
2017
SIAM J. Comput., 2017
2016
Constraint satisfaction and semilinear expansions of addition over the rationals and the reals.
J. Comput. Syst. Sci., 2016
Proceedings of the WALCOM: Algorithms and Computation - 10th International Workshop, 2016
2015
Discret. Math. Theor. Comput. Sci., 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
2013
ACM Trans. Comput. Log., 2013
2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
Inf. Process. Lett., 2010
2009
Electron. Notes Discret. Math., 2009
CoRR, 2009
Proceedings of the Computer Science, 2009
Proceedings of the Computer Science, 2009
2008
2007
Proceedings of the Mathematical Foundations of Computer Science 2007, 2007
2005
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
Proceedings of the Recent Advances in Constraints, 2005
2004
Proceedings of the Recent Advances in Constraints, 2004
2002
Proceedings of the Principles and Practice of Constraint Programming, 2002
2000
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000