Books and Special Issues EditedFoundations of Information and Knowledge Systems, D. Seipel, J. M. Turull-Torres (2004), Proceedings of Third International Symposium, Vienna, Austria, Springer LNCS, vol. 2942, February 2004.Referreed Book ChaptersThe Relational Polynomial-Time Hierarchy and Second-Order Logic, (invited article) Flavio A. Ferrarotti, J. M. Turull Torres (2008), edited by K-D. Schewe and B. Thalheim, Semantics in Databases, Springer, LNCS 4925.Semantic Classifications of Queries to Relational Databases, L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.) (2003), G. Katona, K.-D. Schewe, B. Thalheim (Eds.), Semantics in Databases, 200-228, Springer, LNCS 2582. Query Completeness, Distinguishability and Relational Machines, J. M. Turull Torres (1999), Marcel Dekker, Models, Algebras and Proofs, 135-163. A Hierarchy of Unbounded Almost Rigid Classes of Finite Structures, J. M. Turull Torres (1999), American Mathematical Society, Advances in Contemporary Logic and Computer Science, 153-186. The Space Complexity of Elimination Theory: Upper Bounds, G. Matera, J. M. Turull Torres (1997), Foundations of Computational Mathematics: Selected Papers of a Conference, 267-276, Held at IMPA in Rio de Janeiro, Springer, January 1997. Arity and Alternation: A proper Hierarchy in Higher Order Logics, Flavio A. Ferrarotti, J. M. Turull Torres (2006), Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), 24 p., Budapest, Hungary, Springer, LNCS 3861, February 2006. Refereed Conference ArticlesComplete Problems for Higher Order Logics, Lauri Hella, J. M. Turull Torres (2006), Computer Science Logic 2006, Proceedings, 380-394, Springer, LNCS 4207.Fixed-Point Quantifiers in Higher Order Logics, K.-D. Schewe, J. M. Turull Torres (2005), Eds. Y. Kiyoki, H. Kangassalo, H. Jaakkola, J. Henno, "Proceedings of the 15th European - Japanese Conference on Information Modelling and Knowledge Bases" and "Information Modelling and Knowledge Bases XVII", 149-156, Amsterdam, Tallinn University of Technology 2005 and IOS Press. On the Computation of approximations of Database Queries, F. A. Ferrarotti, J. M. Turull Torres (2004), Proceedings of the Fifteenth Australasian Database Conference ADC2004, Dunedin, New Zealand, Conferences in Research and Practice in Information Technology, Vol. 27, January 2004. Separating Read/Write Capabilities in Reflective Relational Machines, F. A. Ferrarotti, J. M. Turull Torres (2004), Proceedings of International Conference on Theoretical and Applied Aspects of Program Systems Development (TAAPSD’2004), 247-256, Kiev, Ukraine, 5-8 October, 2004. Preservation of Queries Expressible in Existential Fragments in Relational Databases, A. Grosso, J. M. Turull Torres (2004), Proceedings of 10th Argentine Conference of Computer Science, CACIC'04, 12 p, Buenos Aires, Argentina, 4-8 October 2004 (in Spanish). Towards Optimizing Query Evaluation with Quotient Databases, S. Link, J. M. Turull Torres (2003), University of Applied Sciences at Dresden, Advances in Databases and Information Systems: Seventh East-European Symposium, ADBIS'03, 28-37, Dresden, Germany, Sep. 2003. Relational Databases and Homogeneity in Logics with Counting, J. M. Turull Torres (2002), Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002, Proceedings, 288-303, Germany, Springer, LNCS 1762, February 2002. Implementation of an Interpreter for First Order Logic with Fixpoint, A. Grosso, P. Maldocena, N. Reyes, J. M. Turull Torres (2000), Proceedings of VIth Argentine Conference of Computer Science, CACIC'00, (13 p.), (in Spanish), Usuhaia, Argentina, September 2000. Implementation of an Interpreter for First Order Logic with Fixpoint, A. Grosso, P. Maldocena, N. Reyes, J. M. Turull Torres (2000), Proceedings of VIth Argentine Conference of Computer Science, CACIC'00, (13 p.), (in Spanish), Usuhaia, Argentina, September 2000. Parallel Computation of Queries expressed with Boolean Circuits, O. Gagliardi, N. Herrera, N. Reyes, J. M. Turull Torres (2000), Proceedings of VIth Argentine Conference of Computer Science, CACIC'00, (12 p.), (in Spanish), Usuhaia, Argentina, September 2000. Implementation of an Interpreter for First Order Logic with Transitive Closure, A. Grosso, P. Maldocena, N. Reyes, J. M. Turull Torres (2000), Proceedings of VIth Argentine Conference of Computer Science, CACIC'00, (12 p.), (in Spanish), Usuhaia, Argentina, September 2000. Translation and Optimization of Queries expressed in Relational Calculus to Relational Algebra, O. Gagliardi, J. M. Turull Torres, M. Yrusta (1999), Proceedings of Vth Argentine Conference of Computer Science, V CACiC, (in Spanish), Tandil, Argentina, October 1999. Reflective Relational Machines of Bounded Variable Complexity, J. M. Turull Torres (1999), University of Maribor, Advances in Databases and Information Systems: Third East-European Symposium, ADBIS'99, Proceedings of short papers, 193-199, Maribor, Slovenia, Sep. 1999. Computability of Queries to Relational Databases through Boolean Circuits, O. Gagliardi, A. Grosso, S. Pereyra, P. Piffaretti, J. M. Turull Torres (1999), Proceedings of Vth Argentine Conference of Computer Science, V CACiC, (in Spanish), Tandil, Argentina, October 1999. Untyped queries, untyped reflective machines and conditional quantifiers, J. M. Turull Torres (1998), Advances in Databases and Information Systems: Second East-European Symposium, ADBIS'98, 35-45, Poznan, Poland, Springer, LNCS 1475, September 1998. Computability on Natural Numbers and Computability on Structures or Databases, J. M. Turull Torres (1997), Proceedings of the International Conference of Informatics and Telecommunications, INFOCOM 95, 126-140 (in Spanish), Buenos Aires, Argentina, June 1995. An Interpreter for the Complete Language QL, L. Barroso, O. Gagliardi, G. Molina, J. Quiroga, J. M. Turull Torres (1997), Proceedings of IIIth Argentine Conference of Computer Science, III CACiC, (in Spanish), La Plata, Argentina, October 1997. An Algorithm for the Computation of the Rank of Integer Matrices in Polylogarithmic Space, A. Grosso, N. Herrera, G. Matera, M. E. Stefanoni, J. M. Turull Torres (1996), XXVth Argentine Symposium of Informatics and Operations Research, JAIIO 96: Selected Articles, 29-48 (in Spanish), Buenos Aires, Argentina, September 1996. Parallel Time versus Sequential Space: an algorithm for st-connectivity in directed graphs in Polilogarithmic Space, S. Escudero, F. Rizzolo, J. M. Turull Torres (1996), XXVth Argentine Symposium of Informatics and Operations Research, JAIIO 96: Selected Articles, p. 1-16 (in Spanish), Buenos Aires, September 1996. Parallel Time versus Sequential Space: an algorithm for st-connectivity in directed graphs in Polilogarithmic Space, A. Grosso, N. Herrera, G. Matera, M. E. Stefanoni, J. M. Turull Torres (1996), JAIIO 96: Trabajos Seleccionados, 1-16 (in Spanish), Buenos Aires, XXV Jornadas Argentinas de Informática e Investigación Operativa, September 1996. Refereed Journal ArticlesGames on Trees and Syntactical Complexity of Formulas, M. Krynicki, J. M. Turull Torres (2007), Logic Journal of IGPL (Interest Group in Pure and Applied Logic), 653-687, 15, October/December 2007, 5-6.Arity and Alternation: A proper Hierarchy in Higher Order Logics, Flavio A. Ferrarotti, J. M. Turull Torres (2007), Annals of Mathematics and Artificial Intelligence, 111-141, 50(1-2). Relational Databases and Homogeneity in Logics with Counting, J. M. Turull Torres (2006), Acta Cybernetica, 485-511, Vol 17, number 3. Computing queries with higher-order logics, L. Hella, J. M. Turull Torres (2006), Theoretical Computer Science , 197-214, 355 (2). A Theory of Local Set Queries, K.-D.Schewe, J. M. Turull Torres (2005), Logic Journal of IGPL (Interest Group in Pure and Applied Logic), 47-68, Vol. 13, number 1, January 2005. Using Higher Order Quantification in Logical Query Languages, F. Ferrarotti, J. M. Turull Torres (2004), Proceedings of the III Chilean Database Workshop, Chilean Computing Week, 14 p, Arica, Chile. Expressibility of Higher Order Logics, L. Hella, J. M. Turull Torres (2003), Electronic Notes in Theoretical Computer Science, 12 pp, Vol. 84, 2003. Computable Queries for Object Oriented Databases: The FINSET Case, K.-D. Schewe, J. M. Turull Torres (2002), Electronic Notes in Theoretical Computer Science, 17 p., Vol. 67, 2002. On the Expressibility and Computability of Untyped Queries, J. M. Turull Torres (2001), Annals of Pure and Applied Logic, 345-371, vol. 108, 1-3, 2001. Using Boolean Circuits for the Parallel Computation of Queries, E. Gagliardi, N. Herrera, N. Reyes, J. M. Turull Torres (2001), Journal of Computer Science and Technology, 13 p., Selected from CACIC 2000, for its publication in English, 1, 4, October 2001. A Study of Homogeneity in Relational Databases, J. M. Turull Torres (2001), Annals of Mathematics and Artificial Intelligence, 379-414, 33(2), 2001. An Algorithm for the Computation of the Rank of Integer Matrices in Polylogarithmic Space, G. Matera, A. Grosso, N. Herrera, M. E. Stefanoni, y J. M. Turull Torres (2000), Journal of the Chilean Society of Computer Science, 45 p. (in Spanish), Vol. 4, Nr. 1, 2000. Relationship Between Parallel Time and Sequential Space: Problems related to Connectivity in Digraphs in Space O(log^2 n), S. Escudero, F. Rizzolo, J. M. Turull Torres (1998), Journal of the Chilean Society of Computer Science, 20 p. (in Spanish), Vol. 3, Nr. 1, 1998.
Jose Maria is a member of these Institute groups:
Postal Address |
||||||||||||||||||||||||||||||||||||||||||||
2008 Enrolment and Information 
