Joana Pinto de Figueiredo
AuthID: R-001-HMC
91
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
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
92
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
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
Scopus CrossRef93
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
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
WOS94
TÃTULO: Impact of Prenatal Disorders on the Metabolic Profile of Second Trimester Amniotic Fluid: A Nuclear Magnetic Resonance Metabonomic Study Full Text
AUTORES: Graca, G ; Duarte, IF ; Barros, AS ; Goodfellow, BJ ; Diaz, SO ; Pinto, J; Carreira, IM ; Galhano, E; Pita, C; Gil, AM ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF PROTEOME RESEARCH, VOLUME: 9, NÚMERO: 11
AUTORES: Graca, G ; Duarte, IF ; Barros, AS ; Goodfellow, BJ ; Diaz, SO ; Pinto, J; Carreira, IM ; Galhano, E; Pita, C; Gil, AM ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF PROTEOME RESEARCH, VOLUME: 9, NÚMERO: 11
95
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
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
96
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
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
97
TÃTULO: Occurrence of the Cys611Tyr mutation and a novel Arg886Trp substitution in the RET proto-oncogene in multiple endocrine neoplasia type 2 families and sporadic medullary thyroid carcinoma cases originating from the central region of Portugal Full Text
AUTORES: Prazeres, HJ ; Rodrigues, F; Figueiredo, P; Naidenov, P; Soares, P ; Bugalho, MJ ; Lacerda, M; Campos, B; Martins, TC ;
PUBLICAÇÃO: 2006, FONTE: CLINICAL ENDOCRINOLOGY, VOLUME: 64, NÚMERO: 6
AUTORES: Prazeres, HJ ; Rodrigues, F; Figueiredo, P; Naidenov, P; Soares, P ; Bugalho, MJ ; Lacerda, M; Campos, B; Martins, TC ;
PUBLICAÇÃO: 2006, FONTE: CLINICAL ENDOCRINOLOGY, VOLUME: 64, NÚMERO: 6
98
TÃTULO: 32 linear array position sensitive detector based on NIP and hetero a-Si : H microdevices Full Text
AUTORES: Martins, R ; Figueiredo, J; Silva, V; Aguas, H ; Soares, F; Marques, A; Ferreira, I ; Fortunato, E ;
PUBLICAÇÃO: 2002, FONTE: 19th International Conference on Amorphis and Microcrystalline Semiconductors (ICAMS 19) in JOURNAL OF NON-CRYSTALLINE SOLIDS, VOLUME: 299, NÚMERO: PART 2
AUTORES: Martins, R ; Figueiredo, J; Silva, V; Aguas, H ; Soares, F; Marques, A; Ferreira, I ; Fortunato, E ;
PUBLICAÇÃO: 2002, FONTE: 19th International Conference on Amorphis and Microcrystalline Semiconductors (ICAMS 19) in JOURNAL OF NON-CRYSTALLINE SOLIDS, VOLUME: 299, NÚMERO: PART 2
99
TÃTULO: Thin film position sensitive detectors based on pin amorphous silicon carbide structures Full Text
AUTORES: Cabrita, A; Figueiredo, J; Pereira, L ; Aguas, H ; Silva, V; Brida, D; Ferreira, I ; Fortunato, E ; Martins, R ;
PUBLICAÇÃO: 2001, FONTE: Spring Meeting of the European-Materials-Research-Society in APPLIED SURFACE SCIENCE, VOLUME: 184, NÚMERO: 1-4
AUTORES: Cabrita, A; Figueiredo, J; Pereira, L ; Aguas, H ; Silva, V; Brida, D; Ferreira, I ; Fortunato, E ; Martins, R ;
PUBLICAÇÃO: 2001, FONTE: Spring Meeting of the European-Materials-Research-Society in APPLIED SURFACE SCIENCE, VOLUME: 184, NÚMERO: 1-4
100
TÃTULO: EXPRESSION OF C-ERB B-2 PROTEIN AND DNA-PLOIDY IN BREAST CARCINOGENESIS
AUTORES: SCHMITT, FC ; FIGUEIREDO, P; LACERDA, M;
PUBLICAÇÃO: 1995, FONTE: ARCHIVES OF PATHOLOGY & LABORATORY MEDICINE, VOLUME: 119, NÚMERO: 9
AUTORES: SCHMITT, FC ; FIGUEIREDO, P; LACERDA, M;
PUBLICAÇÃO: 1995, FONTE: ARCHIVES OF PATHOLOGY & LABORATORY MEDICINE, VOLUME: 119, NÚMERO: 9
INDEXADO EM: Scopus WOS
Scopus WOS