HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-01089413v1  Journal articles
Sylvain FleuryEric JametAchraf GhorbelAurélie LemaitreEric Anquetil. Application of the Resources Model to the Supervision of an Automated Process
ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2015, 30, pp.103 - 121. ⟨10.1080/07370024.2014.893831⟩
hal-01402580v1  Conference papers
Guillaume BaganAngela BonifatiRadu CiucanuGeorge FletcherAurélien Lemay et al.  gMark : Génération de Graphes et de Requêtes Dirigée par le Schéma
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Nov 2016, Futuroscope, Poitiers, France
hal-01187986v1  Journal articles
Angela BonifatiRadu CiucanuSlawomir Staworko. Learning Join Queries from User Examples
ACM Transactions on Database Systems, Association for Computing Machinery, 2016, 40 (4), pp.24:1--24:38. ⟨10.1145/2818637⟩
hal-01134780v1  Journal articles
Da-Yan LiuOlivier GibaruWilfrid PerruquettiTaous-Meriem Laleg-Kirati. Fractional order differentiation by integration and error analysis in noisy environment
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (11), pp.2945 - 2960. ⟨10.1109/TAC.2015.2417852⟩
hal-01187966v1  Conference papers
Angela BonifatiRadu CiucanuAurélien Lemay. Learning Path Queries on Graph Databases
BDA 2015 - 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Sep 2015, Île de Porquerolles, France
hal-01858483v1  Directions of work or proceedings
Anne EtienJannik Laval. Advances in Dynamic Languages
Science of Computer Programming, 161, 2018, ⟨10.1016/j.scico.2018.03.004⟩
hal-01440744v1  Conference papers
Soraya MesliDjamal KesraouiFlavio OquendoAlain BignonArmand Toguyéni et al.  Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
hal-01441589v1  Conference papers
Soraya MesliAlain BignonDjamal KesraouiArmand ToguyeniFlavio Oquendo et al.  Vérification formelle de chaines de contrôle-commande d'éléments de conception standardisés
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada
...
hal-01253322v1  Conference papers
Lénaïc BagnèresOleksandr ZinenkoStéphane HuotCédric Bastoul. Opening Polyhedral Compiler's Black Box
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
hal-01441587v1  Conference papers
Soraya MesliArmand ToguyéniAlain BignonFlavio OquendoDjamal Kesraoui et al.  Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. pp.427-467
...
hal-01184113v1  Conference papers
Hadrien CourtecuisseYinoussa AdagolodjoHervé DelingetteChristian Duriez. Haptic Rendering of Hyperelastic Models with Friction
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 2015, Hamburg, Germany. pp.591-596, ⟨10.1109/IROS.2015.7353432⟩
...
hal-00951980v1  Journal articles
Francis FilbetThomas Rey. A hierarchy of hybrid numerical methods for multi-scale kinetic equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2015, 37 (3), pp.A1218-A1247
hal-00923689v1  Journal articles
Malek GhanesMohamed TrabelsiXuefang Lin-ShiJean-Pierre BarbotJean-Marie Rétif et al.  High gain observer for a three-cell chopper: Design and experimental results
International Journal of Robust and Nonlinear Control, Wiley, 2013, 24 (6), pp.1090-1103. ⟨10.1002/rnc.3063⟩
hal-01330111v1  Journal articles
Guillaume BaganAngela BonifatiRadu CiucanuGeorge FletcherAurélien Lemay et al.  Generating Flexible Workloads for Graph Databases
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2016, 9 (13), pp.1457-1460
hal-01402582v1  Conference papers
Guillaume BaganAngela BonifatiRadu CiucanuGeorge FletcherAurélien Lemay et al.  Génération de Requêtes pour les Bases de Données Orientées Graphes
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Nov 2016, Futuroscope, Poitiers, France
hal-01187975v1  Conference papers
Angela BonifatiRadu CiucanuAurélien Lemay. Interactive Path Query Specification on Graph Databases
31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2015, Sep 2015, Île de Porquerolles, France
hal-00910212v1  Conference papers
Ramdane TamiDriss BoutatGang Zheng. Nonlinear observer normal form with output injection and extended dynamic
9th IFAC Symposium on Nonlinear Control Systems, IFAC, Sep 2013, Toulouse, Ethiopia
...
hal-01100974v1  Conference papers
Oleksandr ZinenkoCédric BastoulStéphane Huot. Manipulating Visualization, Not Codes
International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8
...
hal-01333670v1  Conference papers
Charles BouillaguetClaire Delaplace. Sparse Gaussian Elimination modulo p: an Update
Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania