Skip to Main content Skip to Navigation

hal-00763748v1  Conference papers
Jaume BaixeriesMehdi KaytoueAmedeo Napoli. Computing Functional Dependencies with Pattern Structures
The 9th International Conference on Concept Lattices and Their Applications - CLA 2012, Oct 2012, Malaga, Spain
hal-02195498v1  Conference papers
Victor CodocedoJaume BaixeriesMehdi KaytoueAmedeo Napoli. Sampling Representation Contexts with Attribute Exploration
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.307-314, ⟨10.1007/978-3-030-21462-3_20⟩
hal-01241728v1  Directions of work or proceedings
Ludovic ChamoinPedro Diez. Verification and validation for and with reduced order modeling
France. 2, 2015, Special Issue of Advanced Modeling and Simulation in Engineering Sciences
hal-01003163v1  Conference papers
Marco GramagliaOscar Trullols-CrucesDiala NaboulsiMarco FioreMaria Calderon. Vehicular Networks on Two Madrid Highways
SECON - IEEE 11th International Conference on Sensing, Communication, and Networking, Jun 2014, Singapore, Singapore
inria-00578966v1  Conference papers
Adria GasconGuillem GodoyFlorent Jacquemard. Closure of Tree Automata Languages under Innermost Rewriting
8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩
hal-01496959v1  Conference papers
yacine TalebShadi IbrahimGabriel AntoniuToni Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System
ICDCS 2017 : 37th IEEE International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. ⟨10.1109/ICDCS.2017.51⟩
hal-01272396v1  Journal articles
Rosa BadiaRobert HoodThilo KielmannA. MerzkyChristine Morin et al.  Use Cases and Requirements for Grid Checkpoint and Recovery, GFD.I.92, Open Grid Forum
Terminology. International Journal of Theoretical and Applied Issues in Specialized Communication , John Benjamins Publishing, 2007, 3, pp.37
hal-00805849v1  Conference papers
Oscar Trullols-CrucesMarco FioreJose Maria Barcelo-Ordinas. Understanding, Modeling and Taming Mobile Malware Epidemics in a Large-scale Vehicular Network
WoWMoM 2013 - IEEE 14th International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2013, Madrid, Spain. pp.1-9, ⟨10.1109/WoWMoM.2013.6583402⟩
hal-00805858v1  Journal articles
Sandesh UppoorOscar Trullols-CrucesMarco FioreJose Maria Barcelo-Ordinas. Generation and Analysis of a Large-scale Urban Vehicular Mobility Dataset
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2014, 13 (5), pp.1061-1075. ⟨10.1109/TMC.2013.27⟩
hal-00689564v1  Conference papers
Edgar MagañaLaurent LefèvreJoan Serrat. Autonomic management architecture for flexible Grid services deployment based on policies
ARCS 2007 : Architecture of Computing Systems, Mar 2007, Zurich, Switzerland. pp.157-170, ⟨10.1007/978-3-540-71270-1_12⟩
hal-00690904v1  Conference papers
Alex GalisStuart ClaymanLaurent LefèvreAndreas FischerHermann de Meer et al.  Towards In-Network Clouds in Future Internet
FUTURE INTERNET ASSEMBLY, May 2011, Budapest, Hungary. pp.19-33, ⟨10.1007/978-3-642-20898-0_2⟩
inria-00610202v1  Conference papers
Elena PlanasJordi CabotCristina GómezEsther GuerraJuan de Lara. Lightweight Executability Analysis of Graph Transformation Rules
IEEE Symposium on Visual Languages and Human-Centric Computing 2010, Sep 2010, Madrid, Spain
hal-00734573v1  Conference papers
Elena PlanasDavid Sanchez-MendozaJordi CabotCristina Gómez. Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy
inria-00504250v1  Journal articles
Fernando PereiraLuis TorresChristine GuillemotTouraj EbrahimiRiccardo Leonardi et al.  Distributed Video Coding Selecting the Most Promising Application Scenarios
Signal Processing: Image Communication, Elsevier, 2008, 23, pp.339-352
inria-00504255v1  Journal articles
Simon MalinowskiXavier ArtigasChristine GuillemotLuis Torres. Punctured Quasi-Arithmetic Codes for Distributed Source Coding
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2009, 57 (10), pp.4154-4158
inria-00504518v1  Conference papers
Xavier ArtigasSimon MalinowskiChristine GuillemotLuis Torres. Overlapped arithmetic codes with memory
European Signal Processing Conference, EUSIPCO, 2008, Lausanne, Switzerland