91
TITLE: Duffy Negative Antigen Is No Longer a Barrier to Plasmodium vivax - Molecular Evidences from the African West Coast (Angola and Equatorial Guinea)  Full Text
AUTHORS: 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 ;
PUBLISHED: 2011, SOURCE: PLOS NEGLECTED TROPICAL DISEASES, VOLUME: 5, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 89
92
TITLE: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTHORS: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
93
TITLE: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTHORS: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus CrossRef
94
TITLE: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTHORS: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: WOS
96
TITLE: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTHORS: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
97
TITLE: Semantic Equations for Formal Models in the Model-Driven Architecture
AUTHORS: Barbosa, P; Ramalho, F; Figueiredo, J; Costa, A ; Gomes, L ; Oliveira Jr, Antonio; ;
PUBLISHED: 2010, SOURCE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
INDEXED IN: Scopus WOS CrossRef: 1
99
TITLE: 32 linear array position sensitive detector based on NIP and hetero a-Si : H microdevices  Full Text
AUTHORS: Martins, R ; Figueiredo, J; Silva, V; Aguas, H ; Soares, F; Marques, A; Ferreira, I ; Fortunato, E ;
PUBLISHED: 2002, SOURCE: 19th International Conference on Amorphis and Microcrystalline Semiconductors (ICAMS 19) in JOURNAL OF NON-CRYSTALLINE SOLIDS, VOLUME: 299, ISSUE: PART 2
INDEXED IN: Scopus WOS CrossRef
100
TITLE: Thin film position sensitive detectors based on pin amorphous silicon carbide structures  Full Text
AUTHORS: Cabrita, A; Figueiredo, J; Pereira, L ; Aguas, H ; Silva, V; Brida, D; Ferreira, I ; Fortunato, E ; Martins, R ;
PUBLISHED: 2001, SOURCE: Spring Meeting of the European-Materials-Research-Society in APPLIED SURFACE SCIENCE, VOLUME: 184, ISSUE: 1-4
INDEXED IN: Scopus WOS CrossRef
Page 10 of 11. Total results: 101.