Skip to Main content Skip to Navigation

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-00643824v1  Conference papers
Vida DujmovićWill EvansSylvain LazardWilliam LenhartGiuseppe Liotta et al.  On Point-sets that Support Planar Graphs
19th International Symposium on Graph Drawing, Sep 2011, Eindhoven, Netherlands
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-00848526v1  Book sections
Thomas SchultzAndrea FusterAurobrata GhoshRachid DericheLuc Florack et al.  Higher-Order Tensors in Diffusion Imaging
Burgeth, B. and Vilanova, A. and Westin, C. F. Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data. Dagstuhl Seminar 2011, Springer, 2013