Skip to Main content Skip to Navigation

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⟩
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-01194847v1  Conference papers
Jurek CzyzowiczLeszek GasieniecAdrian KosowskiEvangelos KranakisDanny Krizanc et al.  When Patrolmen Become Corrupted: Monitoring a Graph using Faulty Mobile Robots
26th International Symposium on Algorithms and Computation (ISAAC 2015), Proceedings, Dec 2015, Nagoya, Japan. pp.343-354, ⟨10.1007/978-3-662-48971-0_30⟩
hal-00980584v1  Conference papers
Victor Y. PanElias Tsigaridas. Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract)
SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. pp.132-134, ⟨10.1145/2631948.2631973⟩
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⟩
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-01018734v1  Book sections
Amel BennaceurRobert FranceGiordano TamburrelliThomas VogelPieter J. Mosterman et al.  Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
Nelly Bencomo; Robert France; Betty H. Cheng; Uwe Assmann. Models@run.time, 8378, Springer, pp.19-46, 2014, Lecture Notes in Computer Science, 978-3-319-08914-0. ⟨10.1007/978-3-319-08915-7_2⟩
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-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-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
inria-00000374v1  Conference papers
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaStephen Wismath. Drawing $K_n$ in Three Dimensions with One Bend per Edge
13th International Symposium on Graph Drawing - GD'2005, Sep 2005, University of Limerick, Ireland
hal-00865699v1  Conference papers
Joerg KappesBjoern AndresFred HamprechtChristoph SchnörrSebastian Nowozin et al.  A Comparative Study of Modern Inference Techniques for Discrete Energy Minimization Problems
IEEE Conference on Computer Vision and Pattern Recognition 2013, 2013, United States. pp.1-8
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⟩
hal-01101279v1  Book sections
Rien van de WeygaertGert VegterHerbert EdelsbrunnerBernard JonesPratyush Pranav et al.  Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web
Transactions on Computational Science XIV, Springer, pp.60-101, 2011, Lecture Notes in Computer Science, 978-3-642-25248-8. ⟨10.1007/978-3-642-25249-5_3⟩
hal-00974335v2  Book sections
Michael WybrowNiklas ElmqvistJean-Daniel FeketeTatiana von LandesbergerJarke van Wijk et al.  Interaction in the Visualization of Multivariate Networks
Kerren, Andreas; Purchase, Helen; Ward, Matthew O. Multivariate Network Visualization, 8380, Springer, pp.XV, 237, 2014, Lecture Notes in Computer Science, 978-3-319-06792-6
hal-00781297v1  Conference papers
Matthew van der ZwanAlexandru TeleaTobias Isenberg. Continuous Navigation of Nested Abstraction Levels
Short Paper Proceedings of the EG/IEEE VGTC Conference on Visualization (EuroVis 2012, June 5--8, 2012, Vienna, Austria), Jun 2012, Goslar, Germany. pp.13-17, ⟨10.2312/PE/EuroVisShort/EuroVisShort2012/013-017⟩
hal-00781303v1  Conference papers
Matthew van der ZwanAlexandru TeleaTobias Isenberg. Smooth Navigation Between Nested Spatial Representations
Proceedings of the National ICT.OPEN/SIREN 2012 Workshop (October 22--23, 2012, Rotterdam, The Netherlands), Oct 2012, Delft,, Netherlands. pp.140-144
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-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-00776270v1  Book sections
Ioannis Z. EmirisVictor Y. PanElias Tsigaridas. Algebraic Algorithms
Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012
hal-01257282v1  Directions of work or proceedings
David Chi-Leung WongAlbert CohenMaría J. GarzaránChristian LengauerSamuel P. Midkiff. Dagstuhl Seminar 13142 on Programming Models for Ubiquitous Parallelism
David Chi-Leung Wong and Albert Cohen and Mar\'ıa J. Garzarán and Christian Lengauer and Samuel P. Midkiff. 1 (1), Dagstuhl Publishing, 2007, Dagstuhl Reports
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