Statistics
Publications
4
Citations
63
H-Index
4
Active since
1999
Affiliations
Paqui Lucio is an author at University of the Basque Country specializing in computer science, computing, and formal methods.
Publications per year
1999–2012
4
4
Javier Álvez, Paqui Lucio, Germán Rigau · International Journal on Semantic Web and Information Systems · 2012 · 28 citations
Dual Systems of Tableaux and Sequents for PLTL
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio et al. · The Journal of Logic and Algebraic Programming · 2009 · 13 citations
Systematic Semantic Tableaux for PLTL
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio et al. · Electronic Notes in Theoretical Computer Science · 2008 · 11 citations · Full text
1–4 of 4