Get started
Author

Benoît Razet

Observed names: BENOÎT RAZET, Benoit Razet, RAZET, Benoît, Razet, Benoit, Razet, Benoît
ORCID: 0009-0006-5698-9841
Observed ORCID: 0009-0006-5698-9841
OpenAlex ID: A5076377864
Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k
2021 · Carsten Baum, Lennart Braun, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 38
PDF
Average Analysis of Glushkov Automata under a BST-Like Model
2010 · Nicaud, Cyril, Pivoteau, Carine, et al. · HAL · 13
PDF
The Reactive Engine for Modular Transducers
2006 · Gérard Huet, Benoît Razet · Lecture notes in computer science · 10
Daedalus: Safer Document Parsing
2024 · Iavor S. Diatchki, Mike Dodds, et al. · Proceedings of the ACM on Programming Languages · 6
Inter-family Communication in Hyperledger Sawtooth and Its Application to a Crypto-Asset Framework
2018 · Luke Owens, Benoit Razet, et al. · Lecture notes in computer science · 5
Computing with relational machines
2015 · GÉRARD HUET, BENOÎT RAZET · Mathematical Structures in Computer Science · 5
Finite Eilenberg Machines
2008 · Benoît Razet · Lecture notes in computer science · 5
Weird Machines as Insecure Compilation
2019 · Paykin, Jennifer, Mertens, Eric, et al. · arXiv (Cornell University) · 4
PDF
Simulating Eilenberg Machines with a Reactive Engine: Formal Specification, Proof and Program Extraction.
2008 · Benoît Razet · HAL · 4
Machines d'Eilenberg Effectives
2009 · Benoît Razet · 3
Simulating Finite Eilenberg Machines with a Reactive Engine
2011 · Benoît Razet · Electronic Notes in Theoretical Computer Science · 2
PDF
Fielding Faster: Removing Time and Cost Barriers to Software Certification Using Qualifiable Code Generators
2024 · Paul Pazandak, Fabrizio Bertocci, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 1
New Results - Computational linguistics
2005 · Gérard Huet, Benoît Razet
Works count: 17
Citation count: 97
H-index: 5
I10-index: 3
Year
Topic
Type