Skip to Main content Skip to Navigation

hal-00645456v1  Conference papers
Anca Muscholl. Taming Distributed Asynchronous Systems
Concurrency Theory, 21th International Conference, CONCUR 2010, 2010, France
ensl-00086904v1  Journal articles
Jean-Michel MullerNicolas BrisebarrePeter KornerupDavid DefourNathalie Revol. A new range-reduction algorithm
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
hal-01445854v1  Conference papers
M. M. BernardG. MontémontS. StanchinaStéphane Mancini. Real-Time Processing for an Adaptable SPECT System Based on CZT Detectors
IEEE Nuclear Science Symposium (NSS/MIC'16), Oct 2016, Strasbourg, France
tel-00327772v1  Theses
Fabrice Peix. Distribution de programmes synchrones : Le cas d'Esterel
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
hal-00645452v1  Journal articles
Mikolaj BojanczykClaire DavidAnca MuschollThomas SchwentickLuc Segoufin. Two-variable logic on data words
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12, pp.27
tel-02881987v1  Theses
Mehdi yedroudj. Steganalysis and steganography by deep learning
Autre [cs.OH]. Université Montpellier, 2019. Français. ⟨NNT : 2019MONTS095⟩
inria-00483952v1  Journal articles
Julien PongeBenatallah BoualemFabio CasatiFarouk Toumani. Analysis and Applications of Timed Service Protocols
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2010, 19 (4), ⟨10.1145/1734229.1734230⟩
hal-00163561v1  Books
Leo Liberti. Fondamenti Algebrici degli Automi Cellulari Invertibili
M.Sc.~Thesis (in Italian), Dip. di Matematica, Università di Torino, 1997
tel-00484354v1  Theses
Xavier Lorca. Contraintes de Partitionnement de Graphe
Autre [cs.OH]. Université de Nantes, 2007. Français
hal-01923258v1  Conference papers
Vincent Goudard. John, the semi-conductor : a tool for comprovisation
International Conference on Technologies for Music Notation and Representation (TENOR'18), May 2018, Montréal, Canada
hal-01683611v1  Conference papers
Marie-Claude Gaudel. Formal Methods for Software Testing
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), , IEEE, Sep 2017, Sophia-Antipolis, France
hal-00308224v1  Conference papers
Pierre HannaM. Desainte-Catherine. Influence de la densité spectrale sur la synthèse de sons bruités
Journées d'Informatique Musicale (JIM), May 2002, Marseille, France. pp.17--24
hal-02801706v1  Conference papers
Michel MouleryAbdramane Samake. Journées techniques INRA - CATI@ACTION 2015
Journées techniques 2015 du CATI ACTION, Apr 2015, Avignon, France. 23 p
hal-01361233v1  Conference papers
Jérôme NikaMarc ChemillierGérard Assayag. Guider l'improvisation musicale homme-machine : une synthèse sur le système ImproteK
Journées d'Informatiques Musicales (JIM) 2016, GMEA - Labri, Mar 2016, Albi, France
hal-00883117v1  Conference papers
Elias EghoNicolas JayChedy RaïssiGilles NuemiCatherine Quantin et al.  An approach for mining care trajectories for chronic diseases
AIME 2013 - 14th Conference on Artificial Intelligence in Medicine, May 2013, Murcia, Spain
hal-00641850v1  Conference papers
Michel VacherDan IstrateFrançois PortetThierry JoubertThierry Chevalier et al.  The SWEET-HOME Project: Audio Technology in Smart Homes to improve Well-being and Reliance
33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2011), Aug 2011, Boston, United States. pp.5291-5294
tel-00084287v1  Theses
David Monniaux. Analysis of probabilistic programs by abstract interpretation
Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English
hal-00084194v1  Conference papers
Rushed KanawatiHager KarouiLaure Petrucci. Cooperative CBR system for peer agent committee formation
workshop on Agents and Peer-ToPeer Computing, 2006, Hakodate, Japan