Laureano Lambán

17 papers B 4C 1Misc 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
A new method to h-regularize finite topological spaces.
Discret. Math.
Julián Cuevas-Rozo, Laureano Lambán, Ana Romero, Humberto Sarria
2023 J jnl
Effective homological computations on finite topological spaces.
Appl. Algebra Eng. Commun. Comput.
Julián Cuevas-Rozo, Laureano Lambán, Ana Romero, Humberto Sarria
2023 C conf
Evasiveness Through Binary Decision Diagrams.
CICM
Jesús Aransay, Laureano Lambán, Julio Rubio
2022 Misc conf
Formalizing Alexander duality through BDDs.
ISAIM
Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
2017 B conf
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.
ITP
Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2014 Misc conf
Obtaining an ACL2 Specification from an Isabelle/HOL Theory.
AISC
Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
2014 J jnl
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm.
Log. J. IGPL
Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2013 B conf
Certified symbolic manipulation: bivariate simplicial polynomials.
ISSAC
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2012 J jnl
Formalization of a normalization theorem in simplicial topology.
Ann. Math. Artif. Intell.
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2011 B conf
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.
ITP
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2007 — conf
Executing in Common Lisp, Proving in ACL2.
Calculemus/MKM
Mirian Andrés, Laureano Lambán, Julio Rubio
2007 J jnl
Object oriented institutions to specify symbolic computation systems.
RAIRO Theor. Informatics Appl.
César Domínguez, Laureano Lambán, Julio Rubio
2005 — conf
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs
César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia
2003 J jnl
An Object-oriented Interpretation of the EAT System.
Appl. Algebra Eng. Commun. Comput.
Laureano Lambán, Vico Pascual, Julio Rubio
2001 — conf
Hidden Specification of a Functional System.
EUROCAST
César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio
1999 J jnl
Simplicial sets in the EAT system.
SIGSAM Bull.
Laureano Lambán, Vico Pascual, Julio Rubio
1999 B conf
Specifying Implementations.
ISSAC
Laureano Lambán, Vico Pascual, Julio Rubio