The emptiness problem for tree automata with global constraints L Barguñó, C Creus, G Godoy, F Jacquemard, C Vacher 2010 25th Annual IEEE Symposium on Logic in Computer Science, 263-272, 2010 | 31 | 2010 |
ParallelGDB a parallel graph database based on cache specialization L Barguñó, V Muntés-Mulero, D Dominguez-Sal, P Valduriez Proceedings of the 15th Symposium on International Database Engineering …, 2011 | 14 | 2011 |
Decidable classes of tree automata mixing local and global constraints modulo flat theories L Barguñó, C Creus, G Godoy, F Jacquemard, C Vacher Logical Methods in Computer Science 9, 2013 | 11 | 2013 |
Managing documents based on access context L Barguno US Patent 9,529,916, 2016 | 4 | 2016 |
On-demand location visit conversion metrics LB Jane, A Gupta US Patent 11,782,996, 2023 | | 2023 |
Attaching visible networks for synchronous local search results LB Jane, Q Fiard, A Gupta US Patent 10,860,673, 2020 | | 2020 |
Attaching visible networks for synchronous local search results LB Jane, Q Fiard, A Gupta US Patent 10,659,958, 2020 | | 2020 |
Attaching visible networks for synchronous local search results LB Jane, Q Fiard, A Gupta US Patent 10,154,406, 2018 | | 2018 |
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories L Barguno, G Godoy, E Huntingford, A Tiwari Logical Methods in Computer Science 6, 2010 | | 2010 |
FUFIFU: Xarxa d'intercanvi sense diners LB Jané | | 2010 |