Simultanéité informatique And NotCarlos Castro
List of bibliographic references
Number of relevant bibliographic references: 12.Ident. | Authors (with country if any) | Title |
---|---|---|
000073 | Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
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 |
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. |