Autor: "Laroussinie, F." - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Model Checking Timed Automata with One or Two Clocks
Autorzy:: Laroussinie, F.
Markey, N.Aff18, Aff19
Schnoebelen, Ph.; Pokaż więcej
Źródło:: CONCUR 2004 - Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings. 3170:387-401

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Parametric Analysis of the State Explosion Problem in Model Checking : (Extended Abstract)
Autorzy:: Demri, S.
Laroussinie, F.
Schnoebelen, P.; Pokaż więcej
Źródło:: STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings. 2285:620-631

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Clinical Evidence of the Role of the Cerebellum in the Suppression of Overt Articulatory Movements During Reading. A Study of Reading in Children and Adolescents Treated for Cerebellar Pilocytic Astrocytoma
Autorzy:: Ait Khelifa-Gallois, N.
Puget, S.
Longaud, A.
Laroussinie, F.
Soria, C.
Sainte-Rose, C.
Dellatolas, G.; Pokaż więcej
Źródło:: The Cerebellum. April 2015 14(2):97-105

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics
Autorzy:: Laroussinie, F.
Schnoebelen, Ph.
Turuani, M.; Pokaż więcej
Źródło:: LATIN 2000: Theoretical Informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings. 1776:437-446

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Translation Results for Modal Logics of Reactive Systems
Autorzy:: Laroussinie, F.
Pinchinat, S.Aff5, Aff6
Schnoebelen, Ph.; Pokaż więcej
Źródło:: Algebraic Methodology and Software Technology (AMAST’93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993. :297-306
Degree:: BSc, MSc, FIMA, FBCS, C.Eng., C.Math.
PhD

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A hierarchy of temporal logics with past : Extended abstract
Autorzy:: Laroussinie, F.
Schnoebelen, Ph.; Pokaż więcej
Źródło:: STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings. 775:47-58

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Une consultation multidisciplinaire pour les enfants traités pour une tumeur cérébrale
Autorzy:: Kieffer, V.
Oppenheim, D.
Laroussinie, F.
Gadalou, G.
Coutinho, V.
Ribaille, C.
Raquin, M.-A.
Doz, F.
Hartmann, O.
Kalifa, C.
Laurent-Vannier, A.
Grill, J.; Pokaż więcej
Alternatywny tytuł:: A multidisciplinary consultation for children with brain tumors (English)
Źródło:: In Archives de pédiatrie 2007 14(11):1282-1289

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Efficient timed model checking for discrete-time systems
Autorzy:: Laroussinie, F.
Markey, N.
Schnoebelen, Ph.; Pokaż więcej
Źródło:: In Theoretical Computer Science 2006 353(1):249-271

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Intellectual outcome in children with malignant tumors of the posterior fossa: influence of the field of irradiation and quality of surgery
Autorzy:: Hoppe-Hirsch, E.
Brunet, L.
Laroussinie, F.
Cinalli, G.
Pierre-Kahn, A.
Rénier, D.
Sainte-Rose, C.
Hirsch, J. F.; Pokaż więcej
Źródło:: Child's Nervous System. June 1995 11(6):340-345

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On the expressivity and complexity of quantitative branching-time temporal logics
Autorzy:: Laroussinie, F.
Schnoebelen, Ph.
Turuani, M.; Pokaż więcej
Źródło:: In Theoretical Computer Science 2003 297(1):297-315

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Konferencja

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Late outcome of the surgical treatment of hydrocephalus
Autorzy:: Hoppe-Hirsch, E.
Laroussinie, F.
Brunet, L.
Sainte-Rose, C.
Renier, D.
Cinalli, G.
Zerah, M.
Pierre-Kahn, A.; Pokaż więcej
Źródło:: Child's Nervous System. March 1998 14(3):97-99

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Specification in CTL+Past for Verification in CTL
Autorzy:: Laroussinie, F.
Schnoebelen, Ph.; Pokaż więcej
Źródło:: In Information and Computation 10 January 2000 156(1-2):236-263

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics.
Autorzy:: Gonnet, Gastón H.
Panario, Daniel
Viola, Alfredo
Laroussinie, F.
Schnoebelen, Ph.
Turuani, M.; Pokaż więcej
Źródło:: LATIN 2000: Theoretical Informatics; 2000, p437-446, 10p

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Guidelines for a graduate curriculum on embedded software and systems.
Autorzy:: Caspi, P.
Sangiovanni-Vincentelli, A.
Almeida, L.
Benveniste, A.
Bouyssounouse, B.
Buttazzo, G.
Crnkovic, I.
Damm, W.
Engblom, J.
Folher, G.
Garcia-Valls, M.
Kopetz, H.
Lakhnech, Y.
Laroussinie, F.
Lavagno, L.
Lipari, G.
Maraninchi, F.
Peti, Ph.
Puente, J. de la
Scaife, N.; Pokaż więcej
Źródło:: ACM Transactions on Embedded Computing Systems; Aug2005, Vol. 4 Issue 3, p587-611, 25p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 20.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Laroussinie, F."" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji