Skip to Main content Skip to Navigation

tel-01750475v1  Theses
Guillaume Bonfante. Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
tel-01749530v1  Theses
Novak Novakovic. Sémantique algébrique des ressources pour la logique classique
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL075N⟩
hal-01261475v1  Journal articles
Jan van EijckTijs van der Storm. Understanding information update in questionnaires
Science of Computer Programming, Elsevier, 2015, 97 (Part 1), pp.69-74. ⟨10.1016/j.scico.2013.11.042⟩
hal-01093169v1  Conference papers
Louis MandelCédric Pasteur. Reactivity of Cooperative Systems
Static Analysis (SAS), Sep 2014, Munich, Germany. pp.17, ⟨10.1007/978-3-319-10936-7_14⟩
hal-00340491v1  Conference papers
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages
The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
hal-02422157v1  Conference papers
Xavier HinautMichael Spranger. Learning to Parse Grounded Language using Reservoir Computing
ICDL-Epirob 2019 - Joint IEEE 9th International Conference on Development and Learning and Epigenetic Robotics, Aug 2019, Olso, Norway. ⟨10.1109/devlrn.2019.8850718⟩
inria-00100259v1  Conference papers
Philippe Even. Task-oriented 3D reconstruction: relevance, actuality and perspectives
3D Modelling 2004, Harbour Conferences, 2004, Paris, France, 10 p
hal-00926297v1  Book sections
Zholtkevych GrygoriyFrédéric MalletZaretska IrynaGalyna Zholtkevych. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language
Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.190-209, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. ⟨10.1007/978-3-319-03998-5_10⟩
hal-00764066v1  Conference papers
Frédéric Mallet. Automatic Generation of Observers from MARTE/CCSL
RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. ⟨10.1109/RSP.2012.6380695⟩
hal-01898219v1  Conference papers
Chunlin GuanYi AoDehui DuFrédéric Mallet. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
hal-00724566v1  Conference papers
Maxime LefrançoisFabien Gandon. ULiS: An Expert System on Linguistics to Support Multilingual Management of Interlingual Semantic Web Knowledge bases
MSW - Proc. 2nd Workshop on the Multilingual Semantic Web, collocated with ISWC - 2011, Elena Montiel-Ponsoda and John McCrae and Paul Buitelaar and Philipp Cimiano, Oct 2011, Bonn, Germany. pp.50-61
hal-00690679v1  Conference papers
Maxime LefrançoisFabien Gandon. ILexicOn: toward an ECD-compliant interlingual lexical ontology described with semantic web formalisms
MTT - 5th International Conference on Meaning-Text Theory - 2011, Igor Boguslavsky and Leo Wanner, Sep 2011, Barcelona, Spain. pp.155-164
hal-02101793v1  Reports
Tom Hirschowitz. Rigid mixin modules.
[Research Report] LIP RR-2003-46, Laboratoire de l'informatique du parallélisme. 2003, 2+26p
tel-01441480v1  Theses
Damien Pous. Techniques modulo pour les bisimulations
Informatique [cs]. ENS Lyon, 2008. Français
hal-02554966v1  Journal articles
Martina SundqvistAlexandre RoutierBruno DuboisOlivier ColliotMarc Teichmann. The White Matter Module-Hub Network of Semantics Revealed by Semantic Dementia
Journal of Cognitive Neuroscience, Massachusetts Institute of Technology Press (MIT Press), 2020, pp.1-18. ⟨10.1162/jocn_a_01549⟩
hal-00798227v1  Conference papers
Arthur Charguéraud. Pretty-Big-Step Semantics
22nd European Symposium on Programming (ESOP), Mar 2013, Rome, Italy
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
hal-02353400v1  Conference papers
Neeraj Kumar SinghYamine Aït-AmeurDominique Mery. Formal Ontology Driven Model Refactoring
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145
hal-01882137v1  Journal articles
Francesco Zappa NardelliJulia BelyakovaArtem PelenitsynBenjamin ChungJeff Bezanson et al.  Julia Subtyping: A Rational Reconstruction
Proceedings of the ACM on Programming Languages, ACM, 2018, 27, ⟨10.1145/3276483⟩
hal-01651753v1  Conference papers
Bruno GuillaumeGuy Perrier. Réflexion sur l'annotation de corpus écrits du français en syntaxe et en sémantique
ACor4French – Les corpus annotés du français, Jun 2017, Orléans, France. pp.1-8
tel-00726510v1  Theses
Ali Assaf. A Common Aspect Languages Interpreter
Software Engineering [cs.SE]. Université de Nantes, 2011. English
hal-02938020v1  Journal articles
Gabriel RadanneHannes SaffrichPeter Thiemann. Kindly bent to free us
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩