Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications APR | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 10 | 0 | 10 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 7 | 3 | 10 |
Habilitations | 1 | 0 | 1 |
Thèses | 2 | 0 | 2 |
- O. Bodini, D. Gardy, O. Roussel : “Boys-and-girls birthdays and Hadamard products”, 7th International Conference on Lattice Path Combinatorics and Applications, vol. 117 (1-4), Fundamenta Informaticae, Siena, Italy, pp. 85-101, (IOS Press) [Bodini 2011a]
- B.‑M. Bui‑Xuan, J.‑F. Raymond, Ph. Trébuchet : “Implantation des algorithmes Oum-Seymour et Oum”, 13èmes Journées Graphes et Algorithmes 2011, Lyon, France, pp. 1-23 [Bui-Xuan 2011b]
- B.‑M. Bui‑Xuan, P. Heggernes, D. Meister, A. Proskurowski : “A generic approach to decomposition algorithms, with an application to digraph decomposition”, The 17th Annual International Computing and Combinatorics Conference (COCOON'11), vol. 6842, Lecture Notes in Computer Science, Dallas, TX, United States, pp. 331-342 [Bui-Xuan 2011c]
- F. Chyzak, A. Darrasse : “Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web”, ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, pp. 259-265, (ACM) [Chyzak 2011]
- Ph. Flajolet, M. Pelletier, M. Soria : “On Buffon Machines and Numbers”, SODA'11 - ACM/SIAM Symposium on Discrete Algorithms, San Francisco, United States, pp. 172-183, (Society for Industrial and Applied Mathematics) [Flajolet 2011]
- B. Mourrain, M. Laurent, J.‑B. Lasserre, Ph. Trébuchet : “Moment matrices, border bases and real radical computation”, MEGA2011, Stockholm, Sweden, pp. 1-23, (MEGA 2011) [Mourrain 2011]
- F. Peschanski : “Parallel Computing with the Pi-calculus”, DAMP'11. Proceedings of the 6th ACM Workshop on Declarative Aspects of Multicore Programming, Austin, Texas, United States, pp. 45-54, (ACM) [Peschanski 2011a]
- F. Peschanski, H. Klaudel, R. Devillers : “A Petri Net Interpretation of Open Reconfigurable Systems”, Applications and Theory of Petri Nets. 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, vol. 6709, Lecture Notes in Computer Science, Newcastle, United Kingdom, pp. 208-227 [Peschanski 2011b]
- G. Pierron, J.‑L. Lamotte, Ph. Trébuchet : “Modélisation de calcul à partir d'arbres et génération automatique de codes optimisés pour les nouvelles architectures de calcul”, RenPar'20, Saint-Malo, France, pp. 1-8 [Pierron 2011]
- B. Salvy, B. Sedgewick, M. Soria, W. Szpankowski, B. Vallee : “Philippe Flajolet, the Father of Analytic Combinatorics”, Discrete Mathematics and Theoretical Computer Science, vol. DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), DMTCS Proceedings, Reykjavik, Iceland, pp. 1-2, (Discrete Mathematics and Theoretical Computer Science) [Salvy 2011]
- M. Soria : “Boltzmann Generation”, International Colloquium Philippe Flajolet and Analytic Combinatorics PFAC, Paris, France [Soria 2011a]
- M. Soria : “Expressivité et complexité de la génération aléatoire de structures combinatoires sous modèle de Boltzmann”, Workshop ALEA, Marseille, France [Soria 2011b]
- A. Valibouze : “La théorie de Galois en Informatique”, Colloque "Célébration nationale du bicentenaire d'Evariste Galois", Bourg-La-reine, France [Valibouze 2011b]
- A. Valibouze, I. Abdeljaouad, A. Ben Kahla, A. Mouleh : “Modélisation Booléenne de Réseaux TLR”, Workshop "Modèles mathématiques de la dynamique des populations", Tunis, Tunisia [Valibouze 2011c]
- A. Valibouze, Ph. Aubry : “Décomposition et calcul parallèle de la Résolvante de Lagrange”, 2ème Colloque franco-maghrébin de Calcul formel, Iles de Kerkennah, Tunisia [Valibouze 2011d]
- B. Vaugon, Ph. Wang, E. Chailloux : “Les microcontrôleurs PIC programmés en Objective Caml”, Actes des vingt-deuxièmes Journées Francophones des Langages Applicatifs, Studia Informatica Universalis, La Bresse, France, pp. 177-207, (Hermann) [Vaugon 2011]
- Ph. Wang, A. Jonquet, E. Chailloux : “Non-Intrusive Structural Coverage for Objective Caml”, 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, vol. 264 (4), Electronic Notes in Theoretical Computer Science, Paphos, Cyprus, pp. 59-73, (Elsevier) [Wang 2011]