Laureano Lambán

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Topics

Symbolic Reasoning

Binary Decision Diagrams

Top Venues

Publications

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