HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01136819v1  Journal articles
David AngeliDenis Efimov. Characterizations of Input-to-State Stability for systems with multiple invariant sets
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (12), pp.3242 - 3256. ⟨10.1109/TAC.2015.2418676⟩
hal-00576921v1  Journal articles
Filippo BonchiMarcello BonsangueMichele BorealeJan RuttenAlexandra Silva. A Coalgebraic Perspective on Linear Weighted Automata
Information and Computation, Elsevier, 2012, 211, pp.77-105
hal-00737455v1  Journal articles
Cecilia KleinAndrea MarinoMarie-France SagotPaulo Vieira MilreuMatteo Brilli. Structural and dynamical analysis of biological networks.
Briefings in Functional Genomics and Proteomics, Oxford University Press, 2012, 14, pp.309. ⟨10.1093/bfgp/els030⟩
hal-00829354v1  Conference papers
Stefano BerrettiAlberto del BimboPietro PalaBoulbaba Ben AmorDaoudi Mohamed. A Set of Selected SIFT Features for 3D Facial Expression Recognition
20th International Conference on Pattern Recognition, Aug 2010, Istanbul, Turkey. pp.4125 - 4128
hal-01930058v1  Conference papers
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. High-level signatures and initial semantics
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩
hal-02380682v1  Journal articles
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. Reduction Monads and Their Signatures
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
hal-03117762v1  Conference papers
Marco MaggesiEnrico Tassi. Private types in Higher Order Logic Programming
TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Virtual Event, France
hal-00922696v2  Conference papers
Andrea ClementiPierluigi CrescenziCarola DoerrPierre FraigniaudMarco Isopi et al.  Rumor Spreading in Random Evolving Graphs
21st Annual European Symposium on Algorithms - ESA 2013, Sep 2013, Sophia Antipolis, France. pp.325-336, ⟨10.1007/978-3-642-40450-4_28⟩
hal-03341770v1  Book sections
Marta LazzarettiSimone RebegoldiLuca CalatroniClaudio Estatico. A Scaled and Adaptive FISTA Algorithm for Signal-Dependent Sparse Image Super-Resolution Problems
Scale Space and Variational Methods in Computer Vision LNCS conference proceedings 2021, 12679, Springer International Publishing, pp.242-253, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-75549-2_20⟩
hal-00748788v1  Conference papers
Vicente AcuñaEtienne BirmeléLudovic CottretPierluigi CrescenziFabien Jourdan et al.  Telling Stories
ICALP 2011 satellite workshop: Graph Algorithms and Applications (GA), 2011, Zurich, Switzerland. ⟨10.1016/j.tcs.2012.07.023⟩
hal-00738927v1  Conference papers
Etienne BirmeléPierluigi CrescenziRui FerreiraRoberto GrossiVincent Lacroix et al.  Efficient Bubble Enumeration in Directed Graphs
String Processing and Information Retrieval (SPIRE), Oct 2012, Cartagena, Colombia. pp.118-129, ⟨10.1007/978-3-642-34109-0_13⟩
hal-02059785v1  Journal articles
Houssam AlrachidBossy MireilleCristiano RicciLukasz Szpruch. New particle representations for ergodic McKean-Vlasov SDEs
ESAIM: Proceedings and Surveys, EDP Sciences, 2019, CEMRACS 2017 - Numerical methods for stochastic models: control, uncertainty quantification, mean-field, 65, pp.68-83. ⟨10.1051/proc/201965068⟩
hal-00793004v1  Journal articles
David AngeliPierre-Alexandre Bliman. Convergence Speed of Unsteady Distributed Consensus: Decay Estimate Along the Settling Spanning-Trees
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2009, 48 (1), pp.1-32. ⟨10.1137/060673527⟩
inria-00548615v1  Journal articles
Joost van de WeijerTheo GeversAndrew Bagdanov. Boosting color saliency in image feature detection
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2006, 28 (1), pp.150--156. ⟨10.1109/TPAMI.2006.3⟩
hal-00751345v1  Conference papers
Etienne BirmeléRui FerreiraRoberto GrossiAndrea MarinoNadia Pisanti et al.  Optimal Listing of Cycles and st-Paths in Undirected Graphs
24th Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2013, New Orleans, United States
hal-00936304v1  Journal articles
Pilu CrescenziRoberto GrossiMichel HabibLeonardo LanziAndrea Marino. On computing the diameter of real-world undirected graphs
Theoretical Computer Science, Elsevier, 2013, Graph Algorithms and Applications: in Honor of Professor Giorgio Ausiello, 514, pp.84-95. ⟨10.1016/j.tcs.2012.09.018⟩