skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

S61. THE ASSOCIATION OF VERBAL LEARNING DEFICITS WITH AGE AND SYMPTOMS IN SCHIZOPHRENIA

Kontis, Dimitrios ; Giannakopoulou, Alexandra ; Theochari, Eirini ; Andreopoulou, Angeliki ; Vassilouli, Spyridoula ; Giannakopoulou, Dimitra ; Siettou, Eleni ; Tsaltas, Eleftheria

Schizophrenia Bulletin, 2018, Vol. 44(suppl1), pp.S348-S348 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Translation and standardization of the HoNOSCA (Health of the Nation Outcome Scales for Children and Adolescents) scale in a Greek sample

Adamis, Dimitrios ; Giannakopoulou, Dimitra F ; Konstantopoulou, Aegli ; Michailides, Michael

Clinical Child Psychology and Psychiatry, October 2011, Vol.16(4), pp.567-573 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Editorial

Giannakopoulou, Dimitra ; Salaün, Gwen ; Butler, Michael

Formal Aspects of Computing, 2016, Vol.28(2), pp.179-180 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Modulation of the basal ganglia dopaminergic system in a transgenic mouse exhibiting dystonia-like features.(Report)

Giannakopoulou, Dimitra ; Armata, Ioanna ; Mitsacos, Ada ; Shashidharan, Pullani ; Giompres, Panagiotis

Journal of Neural Transmission, Dec, 2010, Vol.117(12), p.1401(9) [Periódico revisado por pares]

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

F61. THE RELATIONSHIP OF AGE AND SYMPTOMS WITH COGNITIVE PLANNING IN SCHIZOPHRENIA

Kontis, Dimitrios ; Giannakopoulou, Alexandra ; Theochari, Eirini ; Andreopoulou, Angeliki ; Vassilouli, Spyridoula ; Giannakopoulou, Dimitra ; Siettou, Eleni ; Tsaltas, Eleftheria

Schizophrenia Bulletin, 2018, Vol. 44(suppl1), pp.S243-S243 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Probabilistic verification and synthesis of the next generation airborne collision avoidance system

Essen, Christian ; Giannakopoulou, Dimitra

International Journal on Software Tools for Technology Transfer, 2016, Vol.18(2), pp.227-243 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

Katoen, J.-P.; Giannakopoulou, Dimitra ; Salaün, Gwen

Springer International Publishing, Cham 2014

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction and Learning for Infinite-State Compositional Verification

Dimitra Giannakopoulou ; Corina S. Păsăreanu

Electronic Proceedings in Theoretical Computer Science, 01 September 2013, Vol.129(Festschrift for Dave Schmidt), pp.211-228

Texto completo disponível

9
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Giannakopoulou, Dimitra ; Méry, Dominique

Springer Berlin Heidelberg, Berlin, Heidelberg 2012

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction and Learning for Infinite-State Compositional Verification

Giannakopoulou, Dimitra ; Păsăreanu, Corina S.

EPTCS 129, 2013, pp. 211-228

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (34)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (39)
  2. Recursos Textuais  (18)
  3. Anais de Congresso  (8)
  4. Livros  (3)
  5. Relatórios Técnicos  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2001  (5)
  2. 2001Até2004  (8)
  3. 2005Até2009  (11)
  4. 2010Até2014  (23)
  5. Após 2014  (18)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.