Laureano Lambn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1999–2022
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISAIM | Formalizing Alexander duality through BDDs. | Jess Aransay, Laureano Lambn, Julius Michaelis, Julio Rubio |
| 2017 | ITP | Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. | Laureano Lambn, Francisco J. Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2014 | AISC | Obtaining an ACL2 Specification from an Isabelle/HOL Theory. | Jess Aransay-Azofra, Jose Divasn, Jnathan Heras, Laureano Lambn, Mara Vico Pascual, ngel Luis Rubio, Julio Rubio |
| 2013 | ISSAC | Certified symbolic manipulation: bivariate simplicial polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2011 | ITP | Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 1999 | ISSAC | Specifying Implementations. | Laureano Lambn, Vico Pascual, Julio Rubio |