José Iborra - RankMe

15 papers A 1B 1C 3Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Relative Termination via Dependency Pairs. J. Autom. Reason. José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
2015	A	`conf`	Reducing Relative Termination to Dependency Pair Problems. CADE José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
2011	J	`jnl`	Modular termination of basic narrowing and equational unification. Log. J. IGPL María Alpuente, Santiago Escobar, José Iborra
2010	J	`jnl`	A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
2010	C	`conf`	Explicitly Typed Exceptions for Haskell. PADL José Iborra
2009	C	`conf`	Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR José Iborra, Naoki Nishida, Germán Vidal
2009	J	`jnl`	Termination of narrowing revisited. Theor. Comput. Sci. María Alpuente, Santiago Escobar, José Iborra
2008	—	`conf`	Modular Termination of Basic Narrowing. RTA María Alpuente, Santiago Escobar, José Iborra
2008	B	`conf`	Termination of Narrowing Using Dependency Pairs. ICLP María Alpuente, Santiago Escobar, José Iborra
2007	C	`conf`	A lightweight interactive debugger for haskell. Haskell Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill
2007	—	`conf`	Modeling for Users. AmI Workshops Emilio Iborra, José Iborra
2007	J	`jnl`	Role of Wet Experiment Design in Data Generation: From in Vivo to in Silico and Back. Silico Biol. Manuel Cánovas, Vicente Bernal, Ángel Sevilla, José Iborra
2006	—	`conf`	Proving Termination of Context-Sensitive Rewriting with MU-TERM. PROLE Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
2005	—	`conf`	Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. JISBD Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez
2005	—	`conf`	Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. DSDM Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez