Skip to Main content Skip to Navigation

hal-00804527v1  Conference papers
Afzal GodilHelin DutagaciCeyhun Burak AkgülApostolos AxenopoulosBenjamin Bustos et al.  SHREC'09 Track: Generic Shape Retrieval
Eurographics workshop on 3D Object Retrieval, Eurographics, Mar 2009, Munich, Germany. ⟨10.2312/3DOR/3DOR09/061-068⟩
hal-01872303v1  Conference papers
Ali MarandiTorsten BraunKavé SalamatianNikolaos Thomos. A Comparative Analysis of Bloom Filter-based Routing Protocols for Information-Centric Networks
IEEE Symposium on Computer Communications (ISCC'18)., Jun 2018, Natal, Brazil
hal-01241081v1  Conference papers
Elena AndreevaBegül BilginAndrey BogdanovAtul LuykxFlorian Mendel et al.  PRIMATEs v2.0
DIAC 2015 - Directions in Authenticated Ciphers, Sep 2015, Singapore, Singapore
hal-00643987v1  Conference papers
Sanjoy BaruahVincenzo BonifaciGianlorenzo d'AngeloAlberto Marchetti-SpaccamelaSuzanne Ster et al.  Mixed-Criticality Scheduling of Sporadic Task Systems
19th Annual European Symposium on Algorithms (ESA 2011), Sep 2011, Saarbruecken, Germany. pp.555-566, ⟨10.1007/978-3-642-23719-5_47⟩
hal-00732904v1  Conference papers
David BernhardVéronique CortierOlivier PereiraBogdan Warinschi. Measuring Vote Privacy, Revisited.
19th ACM Conference on Computer and Communications Security (CCS'12), Oct 2012, Raleigh, United States
hal-01206289v1  Conference papers
David BernhardVéronique CortierDavid GalindoOlivier PereiraBogdan Warinschi. A comprehensive analysis of game-based ballot privacy definitions
36th IEEE Symposium on Security and Privacy (S&P'15), May 2015, San Jose, United States. ⟨10.1109/SP.2015.37⟩
hal-00371381v1  Conference papers
Cyril GavoilleBilel DerbelDavid Peleg. Deterministic Distributed Construction of Linear Stretch Spanners in Polygarithmic Time
21rst International Symposium on Distributed Computing (DISC), Lemesos, Chypre, 2007, Sep 2007, Lemesos, Cyprus. pp.179-192, ⟨10.1007/978-3-540-75142-7_16⟩
hal-00408725v1  Conference papers
Bilel DerbelCyril GavoilleDavid PelegLaurent Viennot. Local Computation of Nearly Additive Spanners
DISC, Sep 2009, Elche/Elx, Spain. pp.176-190
hal-01341060v1  Conference papers
Ouassim BaraMichel FliessCédric JoinJudy DaySeddik Djouadi. Model-free immune therapy: A control approach to acute inflammation
15th European Control Conference, ECC'16, Jun 2016, Aalborg, Denmark
hal-01912958v1  Conference papers
Maurizio GabbrielliSaverio GiallorenzoIvan LaneseStefano Zingaro. A Language-based Approach for Interoperability of IoT Platforms
Hawaii International Conference on System Science, Nov 2018, Waikoloa Village, United States
hal-00781310v2  Conference papers
Johan Sebastian Rosenkilde NielsenAlexander Zeh. Multi-Trial Guruswami--Sudan Decoding for Generalised Reed--Solomon Codes
International Workshop on Coding and Cryptography (WCC), Apr 2013, Bergen, Norway
hal-00764220v1  Conference papers
Konstantin AvrachenkovNelly LitvakMarina SokolDon Towsley. Quick Detection of Nodes with Large Degrees
WAW'12: The 9th Workshop on Algorithms and Models for the Web Graph, Jun 2012, Halifax, Canada. pp.54-65, ⟨10.1007/978-3-642-30541-2_5⟩
hal-01366148v1  Conference papers
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece
hal-01204628v1  Conference papers
Stojan TrajanovskiFernando Antonio KuipersYezekael HayelEitan AltmanPiet van Mieghem. Designing virus-resistant networks: a game-formation approach
IEEE 54th Annual Conference on Decision and Control (CDC), Dec 2015, Osaka, Japan
hal-01054710v1  Conference papers
Yezekael HayelStojan TrajanovskiEitan AltmanHuijuan WangPiet van Mieghem. Complete game-theoretic characterization of SIS epidemics protection strategies
IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States
inria-00344963v1  Conference papers
Hervé BrönnimannIoannis Z. EmirisVictor Y. PanSylvain Pion. Computing exact geometric predicates using modular arithmetic with single precision
ACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
hal-01058073v1  Conference papers
Thanh-Do TranRamiro VarelaInés González-RodríguezEl-Ghazali Talbi. Solving Fuzzy Job-Shop Scheduling Problems with a Multiobjective Optimizer
The Fifth International Conference on Knowledge and Systems Engineering (KSE), Oct 2013, Hanoi, Vietnam. ⟨10.1007/978-3-319-02821-7_19⟩
hal-02917644v1  Conference papers
Graeme ZinckLaurie RickerHervé MarchandLoïc Hélouët. Enforcing Opacity in Modular Systems
IFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
hal-01400682v1  Conference papers
M. FerociE. BozzoS. BrandtM. HernanzM. van der Klis et al.  The LOFT mission concept: a status update
2016SPIE.9905E.1RF - Proceedings of the SPIE, Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray - Volume 9905, id. 99051R 20 pp. (2016), held 30-06 au 01-07-2016 in Edimbourg - Ecosse, Jun 2016, Edinburgh, United Kingdom. ⟨10.1117/12.2233161⟩
hal-01204599v1  Conference papers
Gaëtan GilbertOlivier Hermant. Normalization by Completeness with Heyting Algebras
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
hal-00919935v1  Conference papers
Ismael FigueroaTom SchrijversNicolas TabareauÉric Tanter. Compositional Reasoning About Aspect Interference
13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
hal-00686270v3  Conference papers
Andrew CollinsJurek CzyzowiczLeszek GasieniecAdrian KosowskiEvangelos Kranakis et al.  Optimal Patrolling of Fragmented Boundaries
SPAA - 25th Symposium on Parallelism in Algorithms and Architectures, 2013, Montreal, Canada. pp.241-250, ⟨10.1145/2486159.2486176⟩
hal-00343001v1  Conference papers
Cyril GavoilleBilel DerbelDavid PelegLaurent Viennot. On the Locality of Distributed Sparse Spanner Construction
27th Annual ACM Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada. pp.273-282, ⟨10.1145/1400751.1400788⟩
hal-01886156v1  Conference papers
Loïc HélouëtHervé MarchandLaurie Ricker. Opacity with powerful attackers
WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩
hal-01985374v2  Conference papers
Umberto BosiAllan P. Engsig-KarupClaes EskilssonMario RicchiutoElie Solai. A high-order spectral element unified boussinesq model for floating point absorbers
36th International Conference on Coastal Engineering, Jul 2018, Baltimore, United States. pp.57
hal-01373709v1  Conference papers
Laurie RickerHervé Marchand. Finding the weakest link(s): Coalition games for decentralized discrete-event control
55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States
hal-01378906v2  Conference papers
Cyril CohenThierry CoquandSimon HuberAnders Mörtberg. Cubical Type Theory: a constructive interpretation of the univalence axiom
21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia. pp.262, ⟨10.4230/LIPIcs.TYPES.2015.5⟩
hal-01378341v1  Conference papers
Zvika BrakerskiDavid CashRotem TsabaryHoeteck Wee. Targeted Homomorphic Attribute-Based Encryption
14th International Conference, TCC 2016-B, Oct 2016, Beijing, China. pp.330-360
hal-03035419v1  Conference papers
Jørgen Bang-JensenJonas Ferreira da SilvaFrédéric Havet. Inversion number of an oriented graph and related parameters
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy / Virtual, France
hal-01079368v1  Conference papers
Szabolcs IvánÁdám LelkesJudit Nagy-GyörgyBalázs SzörényiGyörgy Turán. Biclique Coverings, Rectifier Networks and the Cost of ε-Removal
16th International Workshop on Descriptional Complexity of Formal Systems, Proceedings, Aug 2014, Turku, Finland. pp.174 - 185, ⟨10.1007/978-3-319-09704-6_16⟩
hal-00877096v1  Conference papers
Djamé SeddahReut TsarfatySandra KüblerMarie CanditoJinho D. Choi et al.  Overview of the SPMRL 2013 Shared Task: A Cross-Framework Evaluation of Parsing Morphologically Rich Languages
Proceedings of the Fourth Workshop on Statistical Parsing of Morphologically-Rich Languages, Oct 2013, Seattle, Washington, United States. pp.146--182
lirmm-00652085v1  Conference papers
Madalina CroitoruStéphane BazanStefano A. CerriHugh DavisRaffaella Folgieri et al.  Negotiating the Web Science Curriculum through Shared Educational Artefacts
WebSci'11: 3rd International Conference on Web Science, Jun 2011, Koblenz, Germany. pp.14-17
hal-00725839v1  Conference papers
Ittai AbrahamShiri ChechikCyril Gavoille. Fully dynamic approximate distance oracles for planar graphs via forbidden-set distance labels
44th Annual ACM Symposium on Theory of Computing (STOC), May 2012, New-York, United States. pp.1199-1217, ⟨10.1145/2213977.2214084⟩
hal-01879108v1  Conference papers
Shohreh AhvarJagruti SahooEhsan AhvarMouhamad DieyeRoch Glitho et al.  PCPV: Pattern-based Cost-efficient Proactive VNF placement and chaining for value-added services in content delivery networks
NETSOFT 2018: 4th IEEE Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.313-317, ⟨10.1109/NETSOFT.2018.8459986⟩
hal-01590438v1  Conference papers
Laurie RickerT LidbetterHervé Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems
20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6
hal-00922228v1  Conference papers
Dongxia BaiHongbo YuGaoli WangXiaoyun Wang. Improved Boomerang Attacks on SM3
ACISP 2013 - 18th Australasian Conference Information Security and Privacy, Jul 2013, Brisbane, Australia. pp.251-266, ⟨10.1007/978-3-642-39059-3_17⟩
hal-00922231v1  Conference papers
Hongbo YuJiazhe ChenXiaoyun Wang. The Boomerang Attacks on the Round-Reduced Skein-512
SAC 2012 - 19th International Conference Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.287-303, ⟨10.1007/978-3-642-35999-6_19⟩
inria-00426608v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩
inria-00201065v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia PalamidessiFrank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs
23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.271--285, ⟨10.1007/978-3-540-74610-2_19⟩
hal-01421407v1  Conference papers
Moreno FalaschiMaurizio GabbrielliCarlos OlarteCatuscia Palamidessi. Slicing Concurrent Constraint Programs
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom
hal-00548213v1  Conference papers
Davide ChiarugiMoreno FalaschiCarlos OlarteCatuscia Palamidessi. Compositional modelling of signalling pathways in timed concurrent constraint programming
First ACM International Conference on Bioinformatics and Computational Biology (BCB '10)., Aug 2010, Niagara Falls, New York, United States. pp.414-417, ⟨10.1145/1854776.1854843⟩
hal-00832992v1  Conference papers
Kevin BuchinOlivier DevillersWolfgang MulzerOkke SchrijversJonathan Shewchuk. Vertex Deletion for 3D Delaunay Triangulations
Proceedings of the 21st European Symposium on Algorithms, 2013, Sophia Antipolis, France. pp.253-264, ⟨10.1007/978-3-642-40450-4_22⟩
hal-02283189v1  Conference papers
Josu DoncelNicolas GastMirco TribastoneMax TschaikowskiAndrea Vandin. UTOPIC: Under-Approximation Through Optimal Control
QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291, ⟨10.1007/978-3-030-30281-8_16⟩
inria-00638464v1  Conference papers
Frédéric HavetJørgen Bang-JensenNicolas Trotignon. Finding an induced subdivision of a digraph
VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2011), Apr 2011, Bariloche, Argentina. pp.09--14
hal-00650973v1  Conference papers
Philippe DarondeauLaurie Ricker. Towards Distributed Control of Discrete Event Systems
ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. pp.63-78
hal-00828714v1  Conference papers
Laurie RickerHervé Marchand. A parity-based architecture for decentralized discrete-event control
American Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
hal-00980591v1  Conference papers
Victor Y. PanElias Tsigaridas. Nearly Optimal Computations with Structured Matrices
SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. pp.21-30, ⟨10.1145/2631948.2631954⟩