Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
- M. Abril Bucero, B. Mourrain, Ph. Trébuchet : “Unconstraint global polynomial optimization via Gradient Ideal”, [Abril Bucero 2013]
- L. Arantes, J. Sopena : “Easily rendering token-ring algorithms of distributed and parallel applications fault tolerant”, 23 pages [Arantes 2013b]
- C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Certified Impossibility Results for Byzantine-Tolerant Mobile Robots”, [Auger 2013b]
- B. Bérard, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of Mobile Robot Protocols”, [Bérard 2013d]
- B. Bérard, O. Carton : “Channel synthesis revisited”, [Bérard 2013f]
- J. Berthomieu : “Decomposition of multihomogeneous polynomials: minimal number of variables”, [Berthomieu 2013a]
- L. Blin, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme”, [Blin 2013e]
- O. Dufour, H. Glotin, P. GIRAUDET, Th. Artières, Y. Bas : “Classification de signaux acoustiques : Classification de matrices cepstre par Support Vector Machine”, [Dufour 2013a]
- O. Dufour, H. Glotin, P. GIRAUDET, Th. Artières, Y. Bas : “Classification de signaux acoustiques : Recherche des valeurs optimales des 17 paramètres d'entrée de la fonction melfcc”, [Dufour 2013b]
- D. Etiemble, F. Anceau : “Processeurs : exécution pipeline des instructions”, Techniques de l'Ingenieur, (Techniques de l'ingénieur) [Etiemble 2013]
- J.‑Ch. Faugère, P. Gaudry, L. Huot, G. Renault : “Polynomial Systems Solving by Fast Linear Algebra”, [Faugère 2013d]
- P. Fortin, J.‑L. Lamotte : “The Fast Multipole Method on the Cell processor”, [Fortin 2013b]
- M. Gouicem : “New modular multiplication and division algorithms based on continued fraction expansion”, [Gouicem 2013]
- M. Gueye, T. Abdessalem, H. Naacke : “Improving tag recommendation by folding in more consistency”, [Gueye 2013c]
- L. Guo, P. Senna Tschudin, K. Kono, G. Muller, J. Lawall : “Oops! What about a Million Kernel Oopses?”, 27 pages [Guo 2013b]
- F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodríguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, [Kordon 2013a]
- B. Lange, W. Dyce, N. Rodriguez : “A novel window manager for large screen display”, [Lange 2013]
- Ch. Marsden, A. Powell, E. Pavan, M. Marzouki : “D4.1 Outline Overviews of Tasks R4.1-R4.4: Regulatory and governance methodologies”, [Marsden 2013]
- A. Maurer, S. Tixeuil : “On Byzantine Broadcast in Planar Graphs”, [Maurer 2013c]
- D. Neves da Hora, M. Najafabadi, A.‑K. Pietilainen, R. Teixeira : “Predicting User Dissatisfaction with Application Performance on Home Gateways”, [Neves da Hora 2013]
- Th. Parmentelat, J. Augé, L. Baron, M. Larabi, N. Mouratidis, H. Niavis, M. Rahman, Th. Rakotoarivelo, F. Schreiner, D. Stavropoulos, Ch. Tranoris, A. Willner : “Control plane extension - Status of the SFA deployment”, [Parmentelat 2013]
- Z. Pehlivan, B. Piwowarski, S. Gançarski : “Diversification Based Static Index Pruning - Application to Temporal Collections”, [Pehlivan 2013b]
- Ch. Queinnec : “MOOC and mechanized grading”, [Queinnec 2013]
- M. Saeida Ardekani, P. Sutra, N. Preguiça, M. Shapiro : “Non-Monotonic Snapshot Isolation”, 45 pages [Saeida Ardekani 2013c]
- M. Safey El Din, E. Tsigaridas : “A probabilistic algorithm to compute the real dimension of a semi-algebraic set”, [Safey El Din 2013b]
- A. Seilles, I. Di Loreto, B. Lange, S. Andary : “Designing therapeutic games as casual games for all”, [Seilles 2013]
- S. Sundaresan, N. Feamster, R. Teixeira, Y. Grunenberger, D. Papagiannaki, D. Levin : “Characterizing Home Network Performance Problems”, [Sundaresan 2013b]
- M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero, M. Shapiro, N. Preguiça : “SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine”, [Zawirski 2013]