Skip to Main content Skip to Navigation

hal-00152860v1  Conference papers
Cyril Banderier. Average queue length and area below lattice paths
AofA'2006, Jul 2006, France
hal-01500793v1  Conference papers
Antoine GiretYannick KergosienEmmanuel NeronGaël Sauvanet. Multi-criteria tourist trip planning
Verolog 2017, Jul 2017, Amsterdam, Netherlands
hal-02001236v1  Conference papers
Jingshu LiuEmmanuel MorinSebastián Saldarriaga. Towards a unified framework for bilingual terminology extraction of single-word and multi-word terms
27th International Conference on Computational Linguistics (COLING), Aug 2018, Santa Fe, United States. pp.2855 - 2866
hal-00008806v1  Conference papers
Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics
Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩
hal-00008808v1  Conference papers
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Workshop on Disproving, IJCAR 2004, 2004, Ireland
hal-00008810v1  Journal articles
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 125 (3), pp.12. ⟨10.1016/j.entcs.2004.07.022⟩
hal-00008811v1  Conference papers
Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation
First APPSEM II Workshop, 2003, Nottingham, United Kingdom
hal-01500297v1  Conference papers
Philippe TigréatVincent GriponPierre-Henri Horrein. Improved Willshaw Networks with Local Inhibition
The Eighth International Conference on Advanced Cognitive Technologies and Applications, Mar 2016, Rome, Italy
hal-01500116v1  Journal articles
Cedric ChauveJulien CourtielYann Ponty. Counting, generating, analyzing and sampling tree alignments
International Journal of Foundations of Computer Science, World Scientific Publishing, 2018, 29 (5), pp.741--767
hal-01500581v1  Conference papers
J. GuédonMyriam ServièresS. BeaumontNicolas Normand. Medical software control quality using the 3D mojette projector
2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano, 2004, Arlington, United States. pp.836--839
hal-00160985v1  Journal articles
Chloé RispalOlivier Carton. Complementation of Rational Sets on Countable Scattered Linear Orderings
International Journal of Foundations of Computer Science, World Scientific Publishing, 2005, 16 (4), pp.767-786
hal-01477981v2  Reports
Guillaume Ducoffe. Finding cut-vertices in the square roots of a graph
[Research Report] Université Côte d’Azur, Inria, CNRS, I3S, France. 2017
hal-01511770v1  Conference papers
Carine Grasset-SimonGuillaume DamiandPascal Lienhardt. Pyramids of n-Dimensional Generalized Maps
Graph-Based Representations in Pattern Recognition, Apr 2005, Poitiers, France. pp.142-152, ⟨10.1007/978-3-540-31988-7_13⟩
hal-01619297v1  Conference papers
Arthur GatouillatYouakim BadrBertrand Massot. QoS-Driven Self-Adaptation for Critical IoT-Based Systems
Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA), Nov 2017, Malaga, Spain. pp.93-105, ⟨10.1007/978-3-319-91764-1_8⟩
hal-01511731v1  Conference papers
Carine Grasset-SimonGuillaume Damiand. Generalized Map Pyramid for Multi-level 3D Image Segmentation
13th International Conference on Discrete Geometry for Computer Imagery (DGCI 2006), Oct 2006, Szeged, Hungary. pp.530-541, ⟨10.1007/11907350_45⟩
hal-01619270v1  Conference papers
Arthur GatouillatYouakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices
9th International Conference on Management of Digital EcoSystems (MEDES), Nov 2017, Bangkok, Thailand. pp.235-242, ⟨10.1145/3167020.3167056⟩
hal-00159663v1  Conference papers
Anh-Tuan GaiFabien MathieuFabien de MontgolfierJulien Reynier. Stratification in P2P networks, Application to BitTorrent
ICDCS'07, International Conference on Distributed Computing Systems 2007, 2007, Toronto, Canada
hal-00159678v1  Conference papers
Dmitry LebedevFabien MathieuLaurent ViennotAnh-Tuan GaiJulien Reynier et al.  On Using Matching Theory to Understand P2P Network Design
INOC 2007, International Network Optimization Conference, 2007, Spa, Belgium
hal-00159700v1  Conference papers
Vincent LimouzyFabien de MontgolfierMichaël Rao. NLC-2 graph recognition and isomorphism
WG'07, 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, 2007, Jena, Germany