Skip to Main content Skip to Navigation

hal-01342029v1  Conference papers
Nivine AbbasThomas BonaldBerna Sayrac. Mobility-aware Scheduler in CoMP Systems
PIMRC, Sep 2016, Valencia, Spain
hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
hal-01337579v1  Conference papers
Muhammad Abdul WahabPascal CotretMounir Nasr AllahGuillaume HietVianney Lapotre et al.  Towards a hardware-assisted information flow tracking ecosystem for ARM processors
26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩
hal-01355785v1  Conference papers
Firas Abi-FarrajNicolò PedemontePaolo Robuffo Giordano. A Visual-Based Shared Control Architecture for Remote Telemanipulation
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'16, Oct 2016, Daejeon, South Korea. pp.4266-4273
hal-01402062v1  Conference papers
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMichaël Rusinowitch. Online link disclosure strategies for social networks
The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
hal-01241619v1  Poster communications
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMarc Rigolot et al.  Analyse d'activité et exposition de la vie privée sur les médias sociaux
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016
hal-01517163v1  Conference papers
Leila AbidiSouha BejaouiChristophe CérinJonathan LejeuneYanik Ngoko et al.  Data Management for the RedisDG Scientific Workflow Engine
IEEE International Conference on Computer and Information Technology, Dec 2016, Nadi, Fiji. pp.599 - 606, ⟨10.1109/CIT.2016.55⟩
hal-01290497v1  Conference papers
Serge AbiteboulPierre BourhisVictor Vianu. A formal study of collaborative access control in distributed datalog
ICDT 2016 - 19th International Conference on Database Theory , Mar 2016, Bordeaux, France
hal-01275311v2  Conference papers
Hassane AbouaïssaMichel FliessCédric Join. On short-term traffic flow forecasting and its reliability
8th IFAC Conference on Manufacturing Modelling, Management & Control, MIM 2016, Jun 2016, Troyes, France
hal-01377655v1  Conference papers
Eriká AbrahámJohn AbbottBernd BeckerAnna BigattiMartin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
hal-01308430v1  Conference papers
Mohammad AbualhoulOyunchimeg ShagdarFawzi Nashashibi. Visible Light Inter-Vehicle Communication for Platooning of Autonomous Vehicles
2016 IEEE Intelligent Vehicles Symposium IV2016, Jun 2016, Gothenburg, Sweden
hal-01366147v1  Conference papers
Mohammad AbualhoulPierre MerdrignacOyunchimeg ShagdarFawzi Nashashibi. Study and Evaluation of Laser-based Perception and Light Communication for a Platoon of Autonomous Vehicles
2016 IEEE 19th Intelligent Transportation Systems Conference (ITSC 2016), Nov 2016, Rio de Janeiro, Brazil
hal-01496262v1  Conference papers
Hayri AcarGülfem AlptekinJean-Patrick GelasParisa Ghodous. TEEC: Improving power consumption estimation of software
EnviroInfo 2016, Sep 2016, Berlin, Germany. pp.335-341 / ISBN 978-3-8440-4687-8
hal-01496266v1  Journal articles
Hayri AcarGülfem AlptekinJean-Patrick GelasParisa Ghodous. The Impact of Source Code in Software on Power Consumption
International Journal of Electronic Business Management, Electronic Business Management Society, Taiwan, 2016, 14, pp.42-52
hal-01409022v1  Conference papers
Umut AcarArthur CharguéraudMike RaineyFilip Sieczkowski. Dag-calculus: a calculus for parallel computation
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, ⟨10.1145/2951913.2951946⟩
hal-01243532v1  Journal articles
Vincent AcaryBernard BrogliatoYuri Orlov. Comments on "Chattering-free digital sliding-mode control with state observer anddisturbance rejection
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (11), pp.3707. ⟨10.1109/TAC.2015.2509445⟩
hal-01425465v1  Conference papers
Beniamino AccattoliGiulio Guerrieri. Open Call-by-Value
14th Asian Symposium on Programming Languages and Systems (APLAS), Nov 2016, Hanoi, Vietnam. pp.206 - 226, ⟨10.1007/978-3-319-47958-3_12⟩
hal-01425534v1  Conference papers
Beniamino Accattoli. The Useful MAM, a Reasonable Implementation of the Strong $\lambda$-Calculus
23rd International Workshop on Logic, Language, Information, and Computation (WoLLIC 2016), Aug 2016, Puebla, Mexico. pp.1 - 21, ⟨10.1007/978-3-662-52921-8_1⟩
hal-01425560v1  Conference papers
Beniamino Accattoli. The Complexity of Abstract Machines
Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Jun 2016, Porto, Portugal. pp.1 - 15, ⟨10.4204/EPTCS.235.1⟩
hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
tel-01386405v2  Theses
Jagdish Prasad Achara. Unveiling and Controlling Online Tracking
Mobile Computing. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM069⟩
hal-01307091v1  Reports
Mathieu AcherFrançois Esnault. Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report
[Technical Report] RT-0479, Inria Rennes Bretagne Atlantique. 2016
hal-01414830v1  Journal articles
Merwan AchibetAdrien GirardMaud MarchalAnatole Lécuyer. Leveraging Passive Haptic Feedback in Virtual Environments with the Elastic-Arm Approach
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2016, 25 (1), pp.17 - 32. ⟨10.1162/PRES_a_00243⟩
hal-01421833v1  Conference papers
Manel AchichiMichelle CheathamZlatan DragisicJérôme EuzenatDaniel Faria et al.  Results of the Ontology Alignment Evaluation Initiative 2016
OM: Ontology Matching, Oct 2016, Kobe, Japan. pp.73-129
hal-01379975v1  Conference papers
Nadjib AchirYounes BouchaalaPaul MuhlethalerOyunchimeg Shagdar. Optimisation of spatial CSMA using a simple stochastic geometry model for 1D and 2D networks
IWCMC 2016 - 12th International Wireless Communications & Mobile Computing Conference, Sep 2016, Paphos, Cyprus. pp.558 - 563, ⟨10.1109/IWCMC.2016.7577118⟩
hal-01378827v1  Conference papers
Imen AchourTarek BejaouiAnthony BussonSami Tabbane. Delay-based strategy for safety message dissemination in Vehicular Ad hoc NETworks: Slotted or continuous?
IWCMC 2016 - International Conference on Wireless Communications and Mobile Computing, Sep 2016, Cyprus, Cyprus. pp.268 - 274, ⟨10.1109/IWCMC.2016.7577069⟩
tel-01426219v2  Theses
Francisco Javier Acosta Padilla. Self-adaptation for Internet of things applications
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S094⟩
hal-01369681v1  Conference papers
Francisco Javier Acosta PadillaEmmanuel BaccelliThomas EichingerKaspar Schleiser. The Future of IoT Software Must be Updated
IAB Workshop on Internet of Things Software Update (IoTSU), Internet Architecture Board (IAB), Jun 2016, Dublin, Ireland
hal-01353925v1  Conference papers
Yinoussa AdagolodjoLaurent GoffinMichel de MathelinHadrien Courtecuisse. Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea
hal-01423097v1  Conference papers
Claire Adam-BourdariosGlen CowanCécile GermainIsabelle GuyonBalázs Kégl et al.  How Machine Learning won the Higgs Boson Challenge
European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Apr 2016, Bruges, Belgium
hal-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
cea-01436006v1  Conference papers
Alexandre AdomnicaiBenjamin LacAnne CanteautJacques Jean-Alain FournierLaurent Masson et al.  On the importance of considering physical attacks when implementing lightweight cryptography
Lightweight Cryptography Workshop 2016 | NIST, NIST, Oct 2016, Gaithersburg, United States
hal-01274791v2  Conference papers
Don Joven AgravanteAlexander SherikovPierre-Brice WieberAndrea CherubiniAbderrahmane Kheddar. Walking pattern generators designed for physical collaboration
ICRA: International Conference on Robotics and Automation, May 2016, Stockholm, Sweden. pp.1573-1578, ⟨10.1109/ICRA.2016.7487296⟩