Universitat Polit\`ecnica de Val\`encia

Identifiers

No identifiers captured yet.

Papers (4)

1. Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs cs.PL · 2018 · author #11
2. Resonance strengths for KLL dielectronic recombination of highly charged mercury ions and improved empirical $\boldsymbol{Z}$-scaling law physics.atom-ph · 2018 · author #14
3. Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving cs.PL · 2015 · author #2
4. Termination of canonical context-sensitive rewriting and productivity of rewrite systems cs.PL · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Spain) 3 shared papers
• Salvador Lucas (DSIC 2 shared papers
• 2) 1 shared papers
• 3) 1 shared papers
• 4) 1 shared papers
• Adri\'an Palacios (MiST 1 shared papers
• Alberto Pettorossi (University of Roma Tor Vergata 1 shared papers
• Antonio J. Gonz\'alez-Mart\'inez (1 1 shared papers
• Camino de Vera s/n 1 shared papers
• Chintan Shah (1) 1 shared papers
• Christoph H. Keitel (1) 1 shared papers
• DSIC 1 shared papers
• Emanuele De Angelis (DEC 1 shared papers
• Fabio Fioravanti (DEC 1 shared papers
• Germany) 1 shared papers
• Germany (2) Instituto de Instrumentaci\'on para Imagen Molecular (I3M) 1 shared papers
• Hiro Tawara (1) 1 shared papers
• Italy) 1 shared papers
• Joachim Ullrich (1 1 shared papers
• Jos\'e R. Crespo L\'opez-Urrutia (1) ((1) Max-Planck-Institut f\"ur Kernphysik 1 shared papers