Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
- Th. Hardin : “Modulogic: Présentation des travaux réalisés autour de FOCAL”, Journées PaRISTIC 2005, Bordeaux, France [Hardin 2005]
- M. Jaume, Ch. Morisset : “Formalisation and Implementation of Access control models”, ITCC 2005 - International Conference on Information Technology: Coding and Computing, Las Vegas, United States, pp. 703-708, (IEEE) [Jaume 2005]
- L. Mandel, F. Benbadis : “Simulation of Mobile Ad hoc Network Protocols in ReactiveML”, SLAP 2005 - 4th Workshop on Synchronous Languages, Applications, and Programming, Edinburgh, United Kingdom [Mandel 2005a]
- L. Mandel, F. Benbadis : “Simulation of Mobile Ad-Hoc Networks in ReactiveML”, Synchronous Languages, Applications, and Programming (SLAP), Electronic Notes in Theoretical Computer Science, Edinburgh, Scotland, United Kingdom [Mandel 2005b]
- L. Mandel, M. Pouzet : “ReactiveML, a Reactive Extension to ML”, PPDP 2005 - ACM International Conference on Principles and Practice of Declarative Programming, Lisboa, Portugal, pp. 82-93, (ACM) [Mandel 2005c]
- R. Rioboo : “Concrete Mathematics with the FoCaL Environment”, Formal Methods 2005, Calculemus Workshop (FMC2005), Newcastle, United Kingdom [Rioboo 2005a]
- R. Rioboo : “Le langage FoCaL”, Journées Calculs Symboliques du GDR ALP, Grenoble, France [Rioboo 2005b]