Concepedia

Miguel Palomino

MP

13

Publications

344

Citations

11

H-Index

2004

Active since

Affiliations

Universidad Complutense de Madrid(Current)

University of Illinois Urbana-Champaign

Miguel Palomino is an author at Universidad Complutense de Madrid specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsComputer ScienceFormal VerificationLanguageSystems EngineeringLinguisticsVerification

Publications per year

2004–2013

13

Publications

13

Equational abstractions

José Meseguer, Miguel Palomino, Narciso Martı́-Oliet · Theoretical Computer Science · 2008 · 97 citations

Introducing the ITP Tool: a Tutorial

Manuel Clavel, Miguel Palomino, Adrián Riesco · Zenodo (CERN European Organization for Nuclear Research) · 2006 · 49 citations · Full text

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

Manuel Clavel, José Meseguer, Miguel Palomino · Theoretical Computer Science · 2006 · 46 citations

Membership Equational Logic, Engineering, Substructural Logic +8

Solving Sudoku Puzzles with Rewriting Rules

Gustavo Santos‐García, Miguel Palomino · Electronic Notes in Theoretical Computer Science · 2007 · 30 citations · Full text

Algebraic simulations

José Meseguer, Miguel Palomino, Narciso Martı́-Oliet · The Journal of Logic and Algebraic Programming · 2009 · 22 citations

Rows per page

1–5 of 13