Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Juan Antonio Pérez-Ortiz | Researchclopedia

Back to researchers

Juan Antonio Pérez-Ortiz

University of Alicante ORCID

103

Works

1,336

Citations

18

h-index

27

i10-index

Research Topics

Natural Language Processing Techniques Topic Modeling Speech and dialogue systems

Affiliations

University of Alicante2000–2025

Max Planck Society2009–2009

UCL Australia2014–2014

University of Manchester2006–2006

Max Planck Institute for Software Systems2009–2009

Top Works

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

Mikel L. Forcada,Mireia Ginestí-Rosell,et al.

2011298 citations

Algorithms and Data Compression

Logic, programming, and type systems

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

Juan Antonio Pérez-Ortiz,Felix A. Gers,et al.

2003110 citations

Open-Source Portuguese–Spanish Machine Translation

Carme Armentano-Oller,Rafael C. Carrasco,et al.

200669 citations

Logics with Common Weak Completions

Mauricio Osorio Galindo,Juan Antonio Pérez-Ortiz,et al.

200667 citations

A decision procedure for satisfiability in separation logic with inductive predicates

J G. Brotherston,Carsten Fuhs,et al.

201456 citations

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

Antonio M. Corbí-Bellot,Mikel L. Forcada,et al.

200554 citations

Separation logic + superposition calculus = heap theorem prover

Juan Antonio Pérez-Ortiz,Andrey Rybalchenko

201152 citations

Separation Logic Modulo Theories

Juan Antonio Pérez-Ortiz,Andrey Rybalchenko

201341 citations

Part-of-speech tagging with recurrent neural networks

Juan Antonio Pérez-Ortiz,Mikel L. Forcada

200238 citations