Navegar

Colección

Datos Estadísticas

Lista de

Data structures
25
"Toward Fail-Safe Speaker Recognition: Trial-Based Calibration with a Reject Option" (2019) Ferrer, L.;Nandwana, M.K.;McLaren, M. (...)Lawson, A. IEEE/ACM Transactions on Audio Speech and Language Processing. 27(1):140-153
"Type Soundness for Path Polymorphism" (2016) Viso, A.; Bonelli, E.; Ayala-Rincón, M. Electronic Notes in Theoretical Computer Science. 323:235-251
"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660
"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306
"Arboricity, h-index, and dynamic algorithms" (2012) Lin, M.C.; Soulignac, F.J.; Szwarcfiter, J.L. Theoretical Computer Science. 426-427:75-90
"Arboricity, h-index, and dynamic algorithms" (2012) Lin, M.C.; Soulignac, F.J.; Szwarcfiter, J.L. Theoretical Computer Science. 426-427:75-90
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278
"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34
"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35
"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61
"P2P OLAP: Data model, implementation and case study" (2009) Vaisman, A.A.; Espil, M.M.; Paradela, M. Information Systems. 34(2):231-257
"Completeness results for memory logics" (2009) Areces, C.; Figueira, S.; Mera, S. International Symposium on Logical Foundations of Computer Science, LFCS 2009. 5407 LNCS:16-30
"The Alpha Project: A model system for systems biology research" (2008) Yu, R.C.;Resnekov, O.;Abola, A.P. (...)Brent, R. IET Systems Biology. 2(5):222-233
"A web-based architecture for temporal OLAP" (2008) Vaisman, A.A.; Izquierdo, A.; Ktenas, M. International Journal of Web Engineering and Technology. 4(4):465-494
"Aggregation languages for moving object and places of interest" (2008) Gómez, L.I.; Kuijpers, B.; Vaisman, A.A. 23rd Annual ACM Symposium on Applied Computing, SAC'08:857-862
"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81
"Web-enabled temporal OLAP" (2006) Vaisman, A.A.; Izquierdo, A.; Ktenas, M. LA-Web 06: 4th Latin American Web Congress:220-229
"Advances in radar remote sensing of wetland ecosystems: Combination of satellite observations, field data and EM models" (2006) Karszenbaum, H.;Ferrazzoli, P.;Grings, F.M. (...)Perna, P. 1st International Symposium on GlobWetland: Looking at Wetlands from Space(SP-634)
"A toolsuite for the verification of real-time systems in Eclipse" (2006) Cavatorta, L.;De Caso, G.;Ferrari, A. (...)Olivero, A. 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006:35-39
"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214
"Eosin fluorescence changes during Rb+ occlusion in the Na +/K+-ATPase" (2006) Montes, M.R.; González-Lebrero, R.M.; Garrahan, P.J.; Rossi, R.C. Biochemistry. 45(43):13093-13100
"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18
"Constraint Databases, Data Structures and Efficient Query Evaluation" (2004) Heintz, J.; Kuijpers, B. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3074:1-24
"The hardness of polynomial equation solving" (2003) Castro, D.;Giusti, M.;Heintz, J. (...)Pardo, L.M. Foundations of Computational Mathematics. 3(4):347-420
"Fuzzy modeling by hierarchically built fuzzy rule bases" (2001) Cordón, O.; Herrera, F.; Zwir, I. International Journal of Approximate Reasoning. 27(1):61-93