Skip to Main content Skip to Navigation


...
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-01416026v1  Journal articles
Jurek CzyzowiczDariusz DereniowskiLeszek GąsieniecRalf KlasingAdrian Kosowski et al.  Collision-Free Network Exploration
Journal of Computer and System Sciences, Elsevier, 2017, 86, pp.70-81. ⟨10.1016/j.jcss.2016.11.008⟩
hal-00085469v1  Journal articles
Vincent BouchittéFrédéric MazoitIoan Todinca. Chordal embeddings of planar graphs
Discrete Mathematics, Elsevier, 2003, 273, pp.(1-3):85-102
inria-00000271v1  Journal articles
Nazeih BotrosYang JianPhilip FeinsilverRené Schott. Hardware Realization of Krawtchouk Transform using VDHL Modeling and FPGAs
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1306-1312
...
hal-00415952v1  Journal articles
Jérémie BourdonIrena Rusu. Statistical Properties of Factor Oracles
Journal of Discrete Algorithms, Elsevier, 2010, LNCS, 9 (2011), pp.59-66. ⟨10.1007/978-3-642-02441-2⟩
ensl-00879067v1  Journal articles
Pierre LescanneKatarzyna Grygiel. Counting and generating lambda terms
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (05), pp.594-628. ⟨10.1017/S0956796813000178⟩
hal-00085474v1  Journal articles
Vincent BouchittéIoan Todinca. Approximating the treewidth of AT-free graphs
Discrete Applied Mathematics, Elsevier, 2003, 131, pp.11-37
...
hal-00085459v1  Journal articles
Vincent BouchittéDieter KratschHaiko MüllerIoan Todinca. On treewidth approximations
Discrete Applied Mathematics, Elsevier, 2004, 136, pp.183-196
...
hal-01360460v1  Journal articles
Kunal DuttaEsther EzraArijit Ghosh. Two proofs for Shallow Packings
Discrete and Computational Geometry, Springer Verlag, 2016, Special Issue: 31st Annual Symposium on Computational Geometry, ⟨10.1007/s00454-016-9824-0⟩
...
inria-00176959v1  Conference papers
Fabiola GreveSébastien Tixeuil. Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.67-70
...
hal-01079366v1  Conference papers
Balázs SzörényiGunnar KedenburgRémi Munos. Optimistic planning in Markov decision processes using a generative model
Advances in Neural Information Processing Systems 27, Dec 2014, Montréal, Canada
...
in2p3-00907406v1  Conference papers
B. SzorenyiRóbert Busa-FeketeI. HegedüsR. OrmandiMárk Jelasity et al.  Gossip-based distributed stochastic bandit algorithms
30th International Conference on Machine Learning (ICML 2013), Jun 2013, Atlanta, United States. pp.19-27
...
hal-01075701v1  Conference papers
Marta SoareAlessandro LazaricRémi Munos. Best-Arm Identification in Linear Bandits
NIPS - Advances in Neural Information Processing Systems 27, Dec 2014, Montreal, Canada
hal-00934047v1  Conference papers
Samuel BernardXavier DéfagoSébastien Tixeuil. A Fast and Robust Optimistic Total Order Broadcast for Online Video Games
International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
...
pastel-00780446v1  Theses
Cyril Cohen. Formalized algebraic numbers: construction and first-order theory.
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
...
hal-01249107v1  Conference papers
Alessandra MelaniMarko BertognaVincenzo BonifaciAlberto Marchetti-SpaccamelaGiorgio Buttazzo. Memory-processor co-scheduling in fixed priority systems
International Conference on Real Time and Networks Systems (RTNS), Nov 2015, Lille, France. pp.87-96, ⟨10.1145/2834848.2834854⟩
...
hal-01249105v1  Conference papers
Sanjoy BaruahVincenzo BonifaciAlberto Marchetti-Spaccamela. The Global EDF Scheduling of Systems of Conditional Sporadic DAG Tasks
ECRTS 2015 - Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. pp.222-231, ⟨10.1109/ECRTS.2015.27⟩
...
hal-01249109v1  Conference papers
Lorenzo BettiniPierluigi Crescenzi. Java-Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach
International Conference on Software Paradigm Trend (ICSOFT-PT), Sep 2015, Colmar, France. pp.31-42, ⟨10.5220/0005512600310042⟩
...
hal-01248558v1  Conference papers
Pierluigi CrescenziGianlorenzo d'AngeloSeverini LorenzoYllka Velaj. Greedily Improving Our Own Centrality in A Network
SEA 2015 - 14th International Symposium Experimental Algorithms , Jun 2015, Paris, France. pp.43-55, ⟨10.1007/978-3-319-20086-6_4⟩