Filter your results
- 32
- 15
- 26
- 14
- 3
- 2
- 1
- 1
- 32
- 18
- 2
- 1
- 1
- 3
- 1
- 6
- 2
- 4
- 2
- 7
- 2
- 4
- 4
- 6
- 1
- 2
- 1
- 1
- 47
- 47
- 9
- 8
- 5
- 3
- 3
- 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
- 7
- 7
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type TheoriesTLCA 2011 - 10th Typed Lambda Calculi and Applications, Jun 2011, Novi Sad, Serbia. pp.91-106, ⟨10.1007/978-3-642-21691-6_10⟩
Conference papers
hal-00652087v1
|
||
|
Constructively Finite?Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
Book sections
inria-00503917v1
|
||
|
Cubical Type Theory: a constructive interpretation of the univalence axiom21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia. pp.262, ⟨10.4230/LIPIcs.TYPES.2015.5⟩
Conference papers
hal-01378906v2
|
||
|
A Coq Formalization of Finitely Presented Modules5th International Conference, ITP 2014, Jul 2014, Vienna, Austria. pp.193 - 208, ⟨10.1007/978-3-319-08970-6_13⟩
Conference papers
hal-01378905v1
|
||
Engineering Virtualized ServicesNordiCloud 2013 - 2nd Nordic Symposium on Cloud Computing and Internet Technologies, Sep 2013, Oslo, Norway. pp.59--63, ⟨10.1145/2513534.2513545⟩
Conference papers
hal-00909294v1
|
|||
|
Classification and Elimination of Conflicts in Hardware Transactional Memory Systems23rd International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD'2011, Oct 2011, Vitoria, Brazil
Conference papers
hal-00640813v1
|
||
LV*: A Class of Lazy Versioning HTMs for Low-Cost Integration of Transactional Memory SystemsIFMT'10 - Second International Forum on Next Generation Multicore/Manycore Technologies, Jun 2010, Saint Malo, France
Conference papers
inria-00492863v1
|
|||
|
Refinements for Free!Certified Programs and Proofs, Dec 2013, Melbourne, Australia. pp.147 - 162, ⟨10.1007/978-3-319-03545-1_10⟩
Conference papers
hal-01113453v1
|
||
|
A constructive version of Laplace's proof on the existence of complex rootsJournal of Algebra, 2013, 381, pp.110-115. ⟨10.1016/j.jalgebra.2013.01.016⟩
Journal articles
inria-00592284v2
|
||
|
HATS Abstract Behavioral Specification: The Architectural ViewFMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. pp.165--185, ⟨10.1007/978-3-642-35887-6_6⟩
Conference papers
hal-00909383v1
|
||
Specifying Imperative ML-Like Programs Using Dynamic LogicFormal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. pp.122-137
Conference papers
hal-00800554v1
|
|||
|
A refinement-based approach to computational algebra in COQITP - 3rd International Conference on Interactive Theorem Proving - 2012, Aug 2012, Princeton, United States. pp.83-98, ⟨10.1007/978-3-642-32347-8_7⟩
Conference papers
hal-00734505v1
|
||
|
Reliability Analysis of Consensus in Cooperative Transport SystemsSAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Conference papers
hal-00848076v1
|
||
Orchestra: Robust Mesh Networks Through Autonomously Scheduled TSCHACM Conference on Embedded Networked Sensor Systems (Sensys), Nov 2015, Seoul, South Korea
Conference papers
hal-01208403v1
|
|||
A note on the axiomatisation of real numbersMath. Logic Quarterly, 2008, 54 (3), pp.224-228
Journal articles
hal-00495336v1
|
|||
The projective spectrum as a distributive latticeCahiers de Topologie et Géométrie différentielles catégoriques, 2007, 48, pp.220-228
Journal articles
hal-00495269v1
|
|||
A logical approach to abstract algebra. (survey)Mathematical Structures in Computer Science, 2006, 16, pp.885-900
Journal articles
hal-00494312v1
|
|||
|
Distributed Ledger Register: From Safe to Atomic2019
Preprints, Working Papers, ...
hal-02201472v1
|
||
|
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of “Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis”]History and Philosophy of Logic, 2020, ⟨10.1080/01445340.2020.1752034⟩
Journal articles
hal-02866976v1
|
||
|
AT-dependent luminescence of DNA-threading ruthenium complexesBiophysical Chemistry, 2007, 129 (1), pp.11. ⟨10.1016/j.bpc.2007.04.011⟩
Journal articles
hal-00501664v1
|
||
|
Revisiting Cache Block SuperloadingHiPEAC 2009 - High Performance and Embedded Architectures and Compilers, Jan 2009, Paphos, Cyprus. ⟨10.1007/978-3-540-92990-1_25⟩
Conference papers
istex
inria-00446341v1
|
||
|
Formalized Linear Algebra over Elementary Divisor Rings in CoqLogical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(2:7)2016⟩
Journal articles
hal-01081908v1
|
||
|
IoTBench: Towards a Benchmark for Low-power Wireless NetworkingCPSBench 2018 - 1st Workshop on Benchmarking Cyber-Physical Networks and Systems, Apr 2018, Porto, Portugal
Conference papers
hal-01968659v1
|
||
Homotopy Type Theory: Univalent Foundations of MathematicsAucun, pp.448, 2013
Books
hal-00935057v1
|
|||
|
Poster: Network Bootstrapping and Leader Election Utilizing the Capture EEect in Low-power Wireless NetworksACM SenSys 2017 - 15th ACM International Conference on Embedded Networked Sensor Systems, Nov 2017, Delft, Netherlands. , pp.1-2, 2017, ⟨10.1145/3131672.3137002⟩
Poster communications
hal-01668861v1
|
||
|
Towards Lightweight Logging and Replay of Embedded, Distributed SystemsSAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France
Conference papers
hal-00848180v1
|
||
|
Poster Abstract: A Benchmark for Low-power Wireless NetworkingACM Conference on Embedded Networked Sensor Systems (SenSys), Nov 2016, Stanford, CA, United States
Poster communications
hal-01377942v1
|
||
|
Experiences from Verifying a Partitioning Kernel Using Fault Injection12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00381561v1
|
||
|
Towards a certified computation of homology groups for digital imagesCTIC - Computational Topology in Image Context - 2012, May 2012, Bertinoro, Italy. pp.49-57, ⟨10.1007/978-3-642-30238-1_6⟩
Conference papers
hal-00711385v1
|
||
|
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type TheoriesMathematical Structures in Computer Science, 2014, 24 (05), pp.e240501. ⟨10.1017/S0960129513000881⟩
Journal articles
hal-00990027v1
|
- 1
- 2