Juan Antonio Navarro Pérez
According to our database1,
Juan Antonio Navarro Pérez
authored at least 22 papers
between 2001 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
1
1
1
2
1
1
1
2
1
2
1
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2014
A decision procedure for satisfiability in separation logic with inductive predicates.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
2009
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Automated Deduction, 2007
2006
2005
Proceedings of the Proceedings, 2005
2004
Theory Pract. Log. Program., 2004
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004
Proceedings of the Advances in Artificial Intelligence, 2004
2002
Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002
Proceedings of the Logic Programming, 18th International Conference, 2002
2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001