
Emmanuel Hainry
46
Documents
Affiliations actuelles
- Designing the Future of Computational Models (MOCQUA)
- Université de Lorraine (UL)
- Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Identifiants chercheurs
Publications
6
5
5
4
4
4
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
23
14
6
5
4
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
3
2
4
1
3
2
1
2
4
4
1
2
3
2
2
4
1
4
1
2
2
1
1
1
1
1
Publications
|
Declassification Policy for Program Complexity AnalysisLICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn Estonia, France. pp.1-14, ⟨10.1145/3661814.3662100⟩
Communication dans un congrès
hal-04742085
v1
|
|
A programming language characterizing quantum polynomial timeFoundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings, Apr 2023, Paris, France. ⟨10.1007/978-3-031-30829-1\_8⟩
Communication dans un congrès
hal-04190385
v1
|
|
A General Noninterference Policy for Polynomial TimePOPL 23, Jan 2023, Boston, United States. pp.806 - 832, ⟨10.1145/3571221⟩
Communication dans un congrès
hal-04190355
v1
|
|
Complete and tractable machine-independent characterizations of second-order polytimeFoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩
Communication dans un congrès
hal-03722245
v3
|
|
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java ProgramsICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
Communication dans un congrès
hal-03337755
v1
|
|
Polynomial time over the reals with parsimonyFLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
Communication dans un congrès
hal-02499149
v1
|
|
A tier-based typed programming language characterizing Feasible FunctionalsLICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
Communication dans un congrès
hal-02881308
v1
|
Tiered complexity at higher orderMLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
Communication dans un congrès
hal-02499348
v1
|
|
|
Tiered complexity at higher orderDICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
Communication dans un congrès
hal-02499318
v1
|
|
Higher order interpretations for higher order complexity8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, Apr 2017, Uppsala, Sweden
Communication dans un congrès
hal-01653659
v1
|
|
Higher-order interpretations for higher-order complexityLPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Geoff Sutcliffe, May 2017, Maun, Botswana. pp.269-285
Communication dans un congrès
hal-01529170
v2
|
Implicit computational complexity in Object Oriented ProgramsDICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01207918
v1
|
|
|
Objects in Polynomial TimeAPLAS 2015, Nov 2015, Pohang, South Korea. pp.387--404, ⟨10.1007/978-3-319-26529-2_21⟩
Communication dans un congrès
hal-01206161
v1
|
Higher order interpretations for Basic Feasible FunctionsDICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01207910
v1
|
|
|
Types for controlling heap and stack in JavaThird International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
Communication dans un congrès
hal-00910166
v1
|
|
Type-based complexity analysis for fork processes16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
Communication dans un congrès
hal-00755450
v2
|
|
Interpretation of stream programs: characterizing type 2 polynomial time complexity21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Communication dans un congrès
inria-00518381
v1
|
|
Robust computations with dynamical systems35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. pp.198-208, ⟨10.1007/978-3-642-15155-2_19⟩
Communication dans un congrès
inria-00522029
v1
|
|
Implicit complexity in recursive analysisTenth International Workshop on Logic and Computational Complexity - LCC'09, Aug 2009, Los Angeles, United States
Communication dans un congrès
inria-00429964
v1
|
|
Reachability in linear dynamical systemsComputability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩
Communication dans un congrès
inria-00202674
v2
|
|
Computing omega-limit Sets in Linear Dynamical SystemsUnconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
Communication dans un congrès
inria-00250111
v3
|
On the Computational Capabilities of Several Models5th International Conference on Machines, Computations and Universality - MCU 2007, Sep 2007, Orléans, France. pp.12-23
Communication dans un congrès
inria-00182738
v1
|
|
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine
Communication dans un congrès
inria-00102946
v1
|
|
Real Recursive Functions and Real Extensions of Recursive FunctionsMachines and Universal Computations - MCU'2004, 2004, Saint-Petersburg, Russia, 12 p
Communication dans un congrès
inria-00100053
v1
|
|
An analog Characterization of Elementarily Computable Functions Over the Real Numbers2nd APPSEM II Workshop - APPSEM'2004, 2004, Tallinn, Estonia, 12 p
Communication dans un congrès
inria-00099897
v1
|
|
An analog Characterization of Elementarily Computable Functions Over the Real Numbers31st International Colloqiuim on Automata, Languages and Programming - ICALP'2004, 2004, Turku, Finland, pp.269-280
Communication dans un congrès
inria-00100054
v1
|
|
Modèles de calcul sur les réels, résultats de comparaisonAutre [cs.OH]. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL090N⟩
Thèse
tel-01752781
v1
|
|
Modèles de calcul sur les réels, résultats de comparaisonAutre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00142675
v1
|
|
An imperative programming language characterizing FBQPQPL 2022 - Quantum Physics and Logic, Jun 2022, Oxford, United Kingdom.
Poster de conférence
hal-03895106
v1
|
|
Type-based heap and stack space analysis in Java2013
Autre publication scientifique
hal-00773141
v4
|
|
Branch Sequentialization in Quantum Polytime2025
Pré-publication, Document de travail
hal-04823282
v3
|
|
A feasible and unitary quantum programming language2024
Pré-publication, Document de travail
hal-04266203
v3
|
|
A programming language characterizing quantum polynomial time2022
Pré-publication, Document de travail
hal-03895081
v1
|
|
Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions[Research Report] 2009
Rapport
(rapport de recherche)
inria-00421561
v1
|
|
Decidability and Undecidability in Dynamical Systems[Research Report] 2009, pp.27
Rapport
(rapport de recherche)
inria-00429965
v1
|
|
Elementarily Computable Functions Over the Real Numbers and $\mathbb{R}$-Sub-Recursive Functions[Intern report] A04-R-301 || bournez04f, 2004, 22 p
Rapport
inria-00107812
v1
|
Fonctions réelles calculables et fonctions R-récursives[Stage] A03-R-347 || hainry03a, 2003, 30 p
Rapport
inria-00099502
v1
|
Chargement...
Chargement...