Simultanéité informatique And NotVéronique Cortier
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000150 | MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie] | Modélisation multidimensionnelle des versions de processus |
| 000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
| 000446 | Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France] | Towards mining structural workflow patterns |
| 000455 | Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
| 000500 | Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient satisfiability modulo theories via delayed theory combination |
| 000634 | Carlos Castro [Chili] ; Eric Monfroy [France] ; Christophe Ringeissen [France] | A rule language for interaction |
| 000677 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and probabilities |
| 000746 | Alexander Bockmayr [France] ; Arnaud Courtois [France] | Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides |
| 000762 | Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
| 000C75 | I. Alouini [France] ; C. Kirchner [France] | Toward the concurrent implementation of computational systems |
| 000C92 | C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France] | Fine-grained concurrent completion |
| 000D10 | D. Geniet [France] ; R. Schott [France] ; L. Thimonier [France] | A Markovian concurrency measure |
| This area was generated with Dilib version V0.6.33. |  |