Mircea-Dan Hernest

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 2

Top Topics

Functional Analysis

Scheduling Problem

Image Interpretation

Top Venues

Log. Methods Comput. Sci.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Mircea-Dan Hernest, Trifon Trifonov
Modal Functional (Dialectica) Interpretation. Log. Methods Comput. Sci. 17 (4) (2021)
Mircea-Dan Hernest
Experiments with a PCCoder extension. CoRR (2019)
Mircea-Dan Hernest, Trifon Trifonov
Modal functional interpretations CoRR (2012)
Mircea-Dan Hernest, Trifon Trifonov
Light Dialectica revisited. Ann. Pure Appl. Log. 161 (11) (2010)
Mircea-Dan Hernest
Light monotone Dialectica methods for proof mining. Math. Log. Q. 55 (5) (2009)
Mircea-Dan Hernest, Paulo Oliva
Hybrid Functional Interpretations. CiE (2008)
Mircea-Dan Hernest
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Mircea-Dan Hernest
Light Dialectica Program Extraction from a Classical Fibonacci Proof. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Mircea-Dan Hernest, Ulrich Kohlenbach
A complexity analysis of functional interpretations. Theor. Comput. Sci. 338 (1-3) (2005)
Mircea-Dan Hernest
Light Functional Interpretation. CSL (2005)