Skip to Main content Skip to Navigation

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
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-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-02423973v1  Journal articles
Moreno FalaschiMaurizio GabbrielliCarlos OlarteCatuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press
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-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-01088664v1  Reports
Joergen Bang-JensenFrédéric HavetAnders Yeo. The complexity of finding arc-disjoint branching flows
[Research Report] RR-8640, INRIA Sophia Antipolis; INRIA. 2014
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