Home
>
Verimag
>
Seminars
Seminar details
Grande Salle de VERIMAG
18 November 2010 - 14h00
Walker model for complex networks
by Antoine GERBAUD from Synchrone/Asynchrone
Résumé : tba
Browsing
Sections
Verimag
Direction and Boards
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Documents
Topics
Contact
Site Map
Building Access
News
Seminars
Seminars
17 September 2026
Loup Lobet:
Vir, an intermediate representation for simd text processing
26 November 2026
Basile Gros:
Proxy-based small inversions for the rocq prover (Phd)
New publications
Some Recent Publications
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian:
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
Jobs and internships
Jobs and internships
Contact
|
Site Map
|
Site powered by SPIP 4.4.23
+
AHUNTSIC
[CC License]
info visites
8349122
English
Français