Skip to Main content Skip to Navigation


...
hal-01830494v1  Conference papers
Cécile Appert-RollandJulien PettréAnne-Hélène OlivierWilliam WarrenAymeric Duigou-Majumdar et al.  Experimental Study of Collective Pedestrian Dynamics
PED 2018 - 9th International conference on Pedestrian and Evacuation Dynamics, Aug 2018, Lund, Sweden. pp.1-8
...
hal-00909293v1  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs
SARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
...
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-01367900v1  Book sections
Matthieu AubryFrédéric JulliardSylvie Gibet. Interactive Ergonomic Analysis of a Physically Disabled Person's Workspace
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers, 2009
...
hal-01230651v1  Documents associated with scientific events
Guillaume AucherOlivier Ridoux. Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et Arts
Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. pp.6, 2015
...
cel-01586568v2  Lectures
Guillaume Aucher. Logic and Commonsense Reasoning
Master. Rennes, France. 2017, pp.151
...
hal-01098789v1  Book sections
Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩
inserm-02414949v1  Book sections
Christian BarillotValentina EmilianiMickaël Tanter. Imagerie et analyses fonctionnelles
Bernard Poulain; Etienne Hirsch. Le Cerveau en lumières, Odile Jacob, 2019, 978-2-7381-4845-2
hal-01097677v1  Journal articles
Gilles BartheDelphine DemangeDavid Pichardie. Formal Verification of an SSA-based Middle-end for CompCert
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, 36 (1), pp.35. ⟨10.1145/2579080⟩
hal-01110783v1  Conference papers
Gilles BartheDelphine DemangeDavid Pichardie. A Formally Verified SSA-based Middle-end
21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. pp.47-66, ⟨10.1007/978-3-642-28869-2_3⟩
...
hal-01363393v1  Conference papers
Denis BéchetAnnie Foret. Simple K-star Categorial Dependency Grammars and their Inference
The 13th International Conference on Grammatical Inference (ICGI), Oct 2016, Delft, Netherlands
...
hal-00354043v1  Journal articles
Denis BéchetRoberto BonatoAlexandre DikovskyAnnie ForetYannick Le Nir et al.  Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152
hal-00256086v1  Conference papers
Pascal BellecGrégory Smits. Personal Semantic Indexation of Images using Textual Annotations
Proceedings of the first international Conference on Semantic and Digital Media Technologies (SAMT'06), 2006, Greece
...
hal-01855845v1  Conference papers
Jean BenvenutiLaure Berti-ÉquilleEric Jacopin. Le projet SABRE : de l’ontologie à l’inférence
15ièmes Journées Francophones d'Ingénieire des Connaissances (IC 2004), May 2004, Lyon, France
...
hal-02556878v1  Conference papers
Gautier BerthouPierre-Evariste DagandDelphine DemangeRémi OudinTanguy Risset. Intermittent Computing with Peripherals, Formally Verified
LCTES '20 - 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2020, London / Virtual, United Kingdom. pp.85-96, ⟨10.1145/3372799.3394365⟩
hal-01705414v1  Conference papers
Isabelle BorneMohamed Hichem FendaliDjamel Meslati. Understanding evolution in systems of systems
2017 IEEE International Systems Engineering Symposium (ISSE), Oct 2017, Vienna, Austria. ⟨10.1109/SysEng.2017.8088283⟩