output
20092026
most citedPolynomial Size Analysis of First-Order Shapely Functions

40 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2013 · cs.LOShow all

2 papers · 2 filters

cs.LO2013★ 2 cited

A Macro for Reusing Abstract Functions and Theorems

Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz

Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose…

cs.LO2013★ 9 cited

Verification of Building Blocks for Asynchronous Circuits

Freek Verbeek, Julien Schmaltz

Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a property that is desired but hard to verify. It is an…