Alejandro Ríos

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 14

Top Topics

Queries Using Views

Virtual Reality

Conjunctive Queries

Top Venues

Theor. Comput. Sci.

Publications

Elena Molina, Alejandro Ríos, Nuria Pelechano
The Impact of Animations in the Perception of a Simulated Crowd. CGI (2021)
Alexis Martin, Alejandro Ríos, Andrés Viso
Pure Pattern Calculus à la de Bruijn. CoRR (2020)
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
The Bang Calculus Revisited. FLOPS (2020)
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
The Bang Calculus Revisited. CoRR (2020)
Alejandro Ríos, Nuria Pelechano
Follower behavior under stress in immersive VR. Virtual Real. 24 (4) (2020)
Alexis Martin, Alejandro Ríos, Andrés Viso
de Bruijn. LSFA (2020)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting (extended version). Theor. Comput. Sci. 781 (2019)
Alejandro Ríos, Marc Palomar, Nuria Pelechano
Users' locomotor behavior in collaborative virtual reality. MIG (2018)
Delia Kesner, Alejandro Ríos, Andrés Viso
Call-by-Need, Neededness and All That. FoSSaCS (2018)
Delia Kesner, Alejandro Ríos, Andrés Viso
Call-by-need, neededness and all that. CoRR (2018)
Alejandro Ríos, Carles Bonet, J. L. Morales, Axel Alavedra, Alejandro París, Marc Guillén
Fireman Rescue: A Serious Game for Fire Fighting Training. CEIG (2017)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
On abstract normalisation beyond neededness. Theor. Comput. Sci. 672 (2017)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting. CoRR (2016)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for Infinitary Rewriting. LSFA (2016)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
An abstract normalisation result with applications to non-sequential calculi. CoRR (2014)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof Terms for Infinitary Rewriting. RTA-TLCA (2014)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof terms for infinitary rewriting, progress report. CoRR (2014)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
Normalisation for Dynamic Pattern Calculi. RTA (2012)
Ariel Mendelzon, Alejandro Ríos, Beta Ziliani
Swapping: a natural bridge between named and indexed explicit substitution calculi HOR (2010)
Delia Kesner, Carlos Lombardi, Alejandro Ríos
A standardisation proof for algebraic pattern calculi HOR (2010)
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
The lambda-calculus with constructors: Syntax, confluence and separation. J. Funct. Program. 19 (5) (2009)
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
-calculus. Log. J. IGPL 15 (2) (2007)
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
A Lambda-Calculus with Constructors. RTA (2006)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
de Bruijn Indices for Metaterms. J. Log. Comput. 15 (6) (2005)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
Relating Higher-order and First-order Rewriting. J. Log. Comput. 15 (6) (2005)
Fairouz Kamareddine, Alejandro Ríos
Explicit substitutions à la de Bruijn: the local and global way. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Fairouz Kamareddine, Alejandro Ríos
Pure Type Systems with de Bruijn Indices. Comput. J. 45 (2) (2002)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
From Higher-Order to First-Order Rewriting. RTA (2001)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
A de Bruijn Notation for Higher-Order Rewriting. RTA (2000)
Fairouz Kamareddine, Alejandro Ríos
Relating the λσ- and λs-styles of explicit substitutions. J. Log. Comput. 10 (3) (2000)
Fairouz Kamareddine, Alejandro Ríos
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. Log. J. IGPL 6 (6) (1998)
Fairouz Kamareddine, Alejandro Ríos, J. B. Wells
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. J. Funct. Log. Program. 1998 (5) (1998)
Fairouz Kamareddine, Alejandro Ríos
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. J. Funct. Program. 7 (4) (1997)
Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
Explicit Substitutions for the Lambda-Calculus. ALP/HOA (1997)
Fairouz Kamareddine, Alejandro Ríos
Generalized beta-Reduction and Explicit Substitution. PLILP (1996)
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
Strong Normalizations of Substitutions. J. Log. Comput. 6 (6) (1996)
Fairouz Kamareddine, Alejandro Ríos
A Lambda-Calculus à la de Bruijn with Explicit Substitutions PLILP (1995)
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
Strong Normalization of Substitutions. MFCS (1992)