91
TÍTULO: DNAJB4 molecular chaperone distinguishes WT from mutant E-cadherin, determining their fate in vitro and in vivo
AUTORES: Simoes-Correia, J; Silva, DI; Melo, S; Figueiredo, J; Caldeira, J; Pinto, MT; Girao, H ; Pereira, P; Seruca, R;
PUBLICAÇÃO: 2013, FONTE: Human Molecular Genetics, VOLUME: 23, NÚMERO: 8
INDEXADO EM: CrossRef: 18
NO MEU: ORCID
93
TÍTULO: Can Biofluids Metabolic Profiling Help to Improve Healthcare during Pregnancy?  Full Text
AUTORES: Graca, G ; Diaz, SO ; Pinto, J; Barros, AS ; Duarte, IF ; Goodfellow, BJ ; Galhano, E; Pita, C; Almeida, MD; Carreira, IM ; Gil, AM ;
PUBLICAÇÃO: 2012, FONTE: SPECTROSCOPY-AN INTERNATIONAL JOURNAL, VOLUME: 27, NÚMERO: 5-6
INDEXADO EM: Scopus WOS CrossRef: 9
94
TÍTULO: Duffy Negative Antigen Is No Longer a Barrier to Plasmodium vivax - Molecular Evidences from the African West Coast (Angola and Equatorial Guinea)  Full Text
AUTORES: Cristina Mendes; Fernanda Dias; Joana Figueiredo; Vicenta G Gonzalez Mora; Jorge Cano; Bruno de Sousa ; Virgilio E do Rosario; Agustin Benito; Pedro Berzosa; Ana Paula Arez ;
PUBLICAÇÃO: 2011, FONTE: PLOS NEGLECTED TROPICAL DISEASES, VOLUME: 5, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 89
95
TÍTULO: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
96
TÍTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
97
TÍTULO: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: WOS
98
99
TÍTULO: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
100
TÍTULO: Semantic Equations for Formal Models in the Model-Driven Architecture
AUTORES: Barbosa, P; Ramalho, F; Figueiredo, J; Costa, A ; Gomes, L ; Oliveira Jr, Antonio; ;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
INDEXADO EM: Scopus WOS CrossRef: 1
Página 10 de 11. Total de resultados: 104.