José Mendes Machado
AuthID: R-000-8RA
111
TITLE: Using timed automata for modeling, simulating and verifying networked systems controller’s specifications Full Text
AUTHORS: Kunz, G; Machado, J; Perondi, E;
PUBLISHED: 2015, SOURCE: Neural Computing and Applications
AUTHORS: Kunz, G; Machado, J; Perondi, E;
PUBLISHED: 2015, SOURCE: Neural Computing and Applications
INDEXED IN:
Scopus
CrossRef
![](/img/scopus_icon.png)
![](/img/crossref.png)
112
TITLE: Cloud-Based Framework for Advanced Maintenance Tasks
AUTHORS: Ferreira, RJ; Jose Machado; Harry Rose;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Ferreira, RJ; Jose Machado; Harry Rose;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN:
WOS
![](/img/clarivate-icon.png)
113
TITLE: Prototype for determination of pre-transfusion tests based on image processing techniques
AUTHORS: Ana Ferraz; Jose Machado; Vitor Carvalho;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
AUTHORS: Ana Ferraz; Jose Machado; Vitor Carvalho;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
INDEXED IN:
WOS
![](/img/clarivate-icon.png)
114
TITLE: Shortening Changeover Time - An Industrial Study
AUTHORS: Justyna Trojanowska; Krzysztof Zywicki; Maria Leonilde R Varela; Jose M Machado;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Justyna Trojanowska; Krzysztof Zywicki; Maria Leonilde R Varela; Jose M Machado;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN:
WOS
![](/img/clarivate-icon.png)
115
TITLE: Modelling and Design of a Tridimensional Compliant Leg for Bioloid Quadruped Full Text
AUTHORS: Mafalda Couto; Cristina P Santos; Jose Machado;
PUBLISHED: 2014, SOURCE: APPLIED MATHEMATICS & INFORMATION SCIENCES, VOLUME: 8, ISSUE: 4
AUTHORS: Mafalda Couto; Cristina P Santos; Jose Machado;
PUBLISHED: 2014, SOURCE: APPLIED MATHEMATICS & INFORMATION SCIENCES, VOLUME: 8, ISSUE: 4
IN MY:
ORCID |
ResearcherID
![](/img/orcid_icon.png)
![](/img/clarivate-icon.png)
116
TITLE: Remote Physiological Signals Acquisition: Didactic experiments
AUTHORS: Barros, C; Leao, CP; Soares, F ; Minas, G; Machado, J;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV)
AUTHORS: Barros, C; Leao, CP; Soares, F ; Minas, G; Machado, J;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV)
117
TITLE: E-health decision support system for differential diagnosis
AUTHORS: Cucu, R; Avram, C; Astilean, A; Farcas, IG; Machado, J;
PUBLISHED: 2014, SOURCE: 2014 19th IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2014 in Proceedings of 2014 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2014
AUTHORS: Cucu, R; Avram, C; Astilean, A; Farcas, IG; Machado, J;
PUBLISHED: 2014, SOURCE: 2014 19th IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2014 in Proceedings of 2014 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2014
INDEXED IN:
Scopus
CrossRef
![](/img/scopus_icon.png)
![](/img/crossref.png)
118
TITLE: Numerical simulation of compressive response of open-cell aluminum foams
AUTHORS: Machado, M; Peixinho, N;
PUBLISHED: 2014, SOURCE: 5th International Conference on Mechanical and Aerospace Engineering, ICMAE 2014 in Advanced Materials Research, VOLUME: 1016
AUTHORS: Machado, M; Peixinho, N;
PUBLISHED: 2014, SOURCE: 5th International Conference on Mechanical and Aerospace Engineering, ICMAE 2014 in Advanced Materials Research, VOLUME: 1016
INDEXED IN:
Scopus
CrossRef
![](/img/scopus_icon.png)
![](/img/crossref.png)
119
TITLE: Development of Dependable Controllers in the Context of Machines Design
AUTHORS: Machado, J; Campos, JC ;
PUBLISHED: 2014, SOURCE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16
AUTHORS: Machado, J; Campos, JC ;
PUBLISHED: 2014, SOURCE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16
IN MY:
ResearcherID
![](/img/clarivate-icon.png)
120
TITLE: Mechatronic System for ABO Human Blood Typing
AUTHORS: Vania Moreira; Jose Machado; Vitor Carvalho ; Filomena Soares ; Ana Ferraz;
PUBLISHED: 2014, SOURCE: JOURNAL OF MEDICAL DEVICES-TRANSACTIONS OF THE ASME, VOLUME: 8, ISSUE: 4
AUTHORS: Vania Moreira; Jose Machado; Vitor Carvalho ; Filomena Soares ; Ana Ferraz;
PUBLISHED: 2014, SOURCE: JOURNAL OF MEDICAL DEVICES-TRANSACTIONS OF THE ASME, VOLUME: 8, ISSUE: 4