Algorithme et structure de données : 1 à 12 sur 52 au total
Thèse
Hugues Mandon. Algorithmes pour la prédiction de stratégies de reprogrammation cellulaire dans les réseaux Booléens.. Algorithme et structure de données [cs.DS]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLN060⟩. ⟨tel-02513383v2⟩
Loric Duhaze-Pradines. Reachability problems for general rotor walks in graphs. Computer Science and Game Theory [cs.GT]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG051⟩. ⟨tel-04504876⟩
George Manoussakis. An output sensitive algorithm for maximal clique enumeration in sparse graphs. International Symposium on Parameterized and Exact Computation, Sep 2017, Vienna, Austria. ⟨hal-01687111⟩
Karima Rafes, Serge Abiteboul, Sarah Cohen-Boulakia, Bastien Rance. Designing scientific SPARQL queries using autocompletion by snippets. 14th IEEE International Conference on eScience, Oct 2018, Amsterdam, Netherlands. pp.234-244, ⟨10.1109/eScience.2018.00038⟩. ⟨hal-01874780v2⟩
Andreas Bärtschi, Evangelos Bampas, Jérémie Chalopin, Shantanu Das, Christina Karousatou, et al.. Near-Gathering of Energy-Constrained Mobile Agents. 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. pp.52-65, ⟨10.1007/978-3-030-24922-9_4⟩. ⟨hal-02351154⟩
Pierre Bergé, Jason Crampton, Gregory Gutin, Rémi Watrigant. The Authorization Policy Existence Problem. CODASPY: Conference on Data and Application Security and Privacy, Mar 2017, Scottsdale, United States. pp.1333-1344, ⟨10.1109/TDSC.2018.2883416⟩. ⟨hal-01995978⟩
Dimitri Watel, Marc-Antoine Weisser, Dominique Barth. Parameterized complexity and approximability of coverability problems in weighted Petri nets. International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.330-349, ⟨10.1007/978-3-319-57861-3_19⟩. ⟨hal-01459206⟩