Skip to Main content Skip to Navigation


...
hal-00909062v1  Journal articles
Timothy BourkeArcot Sowmya. Analyzing an Embedded Sensor with Timed Automata in Uppaal
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 13 (3), pp.44-1--44-26. ⟨10.1145/2539036.2539040⟩
...
hal-01096948v1  Journal articles
Agostino Martinelli. Observabilty Properties and Deterministic Algorithms in Visual-Inertial Structure from Motion
Foundations and Trends in Robotics, Now Publishers, 2013, pp.1-75
hal-00922774v1  Book sections
Damien SaucezLuigi IannoneOlivier Bonaventure. The Map-and-Encap Locator/Identifier separation paradigm: a Security Analysis
Mohamed Boucadair and David Binet. Solutions for Sustaining Scalability in Internet Growth, IGI Global, pp.148-163, 2013, ⟨10.4018/978-1-4666-4305-5.ch008⟩
...
hal-00758712v2  Reports
Mouhamadou DiabyAbderrahman Iggidr. Observer design for a schistosomiasis model
[Research Report] RR-8156, INRIA. 2013, pp.44
hal-00986676v1  Journal articles
Hélène Kirchner. Runtime Verification for Biochemical Programs
Electronic Notes in Theoretical Computer Science, Elsevier, 2013, Proceedings of the first workshop on Hybrid Autonomous Systems, 297, pp.27-46. ⟨10.1016/j.entcs.2013.12.003⟩
...
hal-00926556v1  Conference papers
Mihai PaslariuNacer Boudjlida. A wireless library for the Nintendo dual screen (DS) game console
2013 International Conference on Sport and Computer Science, Dec 2013, Hong Kong, China
hal-00864827v1  Journal articles
Julianna Zsidó. Theorem of three circles in Coq
Journal of Automated Reasoning, Springer Verlag, 2013, ⟨10.1007/s10817-013-9299-0⟩
...
hal-00916297v1  Conference papers
Ali MakkeYves MahéoNicolas Le Sommer. Towards Opportunistic Service Provisioning in Intermittently Connected Hybrid Networks
4th International Conference on Networking and Distributed Computing (ICNDC 2013), Dec 2013, Honk Kong, China. pp.28-32, ⟨10.1109/ICNDC.2013.30⟩
...
tel-00921940v1  Theses
Aurore Guillevic. Arithmetic of pairings on algebraic curves for cryptography
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English