Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
Publikationen NPA | 2023 | 2024 | Total |
---|---|---|---|
Bücher | 0 | 0 | 0 |
Bucheditionen | 0 | 0 | 0 |
Artikel in wissenschaftlichen Zeitschriften | 12 | 4 | 16 |
Buchkapitel | 0 | 0 | 0 |
Veröffentlichungen in Papierform | 23 | 16 | 39 |
Habilitationen | 0 | 0 | 0 |
Doktorarbeiten | 5 | 0 | 5 |
- 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]
- 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]
- 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]
- S. Sundaresan, N. Feamster, R. Teixeira, Y. Grunenberger, D. Papagiannaki, D. Levin : “Characterizing Home Network Performance Problems”, [Sundaresan 2013b]