Juan Antonio Pérez-Ortiz

Apertium: a free/open-source platform for rule-based machine translation

Mikel L. Forcada, Mireia Ginestí-Rosell, Jacob Nordfalk et al. · Machine Translation · 2011 · 297 citations · Full text

Kalman filters improve LSTM network performance in problems unsolvable by traditional recurrent nets

Juan Antonio Pérez-Ortiz, Felix A. Gers, Douglas Eck et al. · Neural Networks · 2003 · 110 citations

Artificial Intelligence, Sequence Modelling, Engineering +9

A decision procedure for satisfiability in separation logic with inductive predicates

J G. Brotherston, Carsten Fuhs, Juan Antonio Pérez-Ortiz et al. · 2014 · 56 citations · Full text

Engineering, Certain Fixed Point, Satisfiability Problem +18

An open-source shallow-transfer machine translation engine for the Romance languages of Spain

Antonio M. Corbí-Bellot, Mikel L. Forcada, Sergio Ortiz-Rojas et al. · RUA, Repositorio Institucional de la Universidad de Alicante (Universidad de Alicante) · 2005 · 54 citations · Full text

Separation logic + superposition calculus = heap theorem prover

Juan Antonio Pérez-Ortiz, Andrey Rybalchenko · ACM SIGPLAN Notices · 2011 · 52 citations · Full text

Program Checking, Engineering, Verification +17