Browsing by author 2277 Subscribe author statistics Autor

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 61 to 80 of 114. < previous   next >
Issue DateTitleAuthor(s)TypeAccess
2015Mechanical simulation model of the systemic circulationLemos, Diogo Gonçalves; Nunes, Amaral; Machado, José, et al.ArticleRestricted access (Author)
Jul-2011A mechatronic device for spasticity quantificationFerreira, João Amaro Oliveira; Moreira, Vitor; Machado, José Mendes, et al.Conference paperOpen access
Apr-2015Mechatronic system for assistance on bath of bedridden elderly peopleBezerra, Karolina Celi Tavares; Machado, José; Silva, Silva, Bruno Manuel Fernandes da, et al.Conference paperRestricted access (Author)
2016Mechatronic system for performing blood pre-transfusion testsFerraz, Ana; Carvalho, Vítor; Machado, José, et al.ArticleRestricted access (Author)
2018A methodology of improvement of manufacturing productivity through increasing operational efficiency of the production processTrojanowska, Justyna; Kolinski, Adam; Galusik, Dariusz, et al.Conference paperOpen access
2004Model of mechanism behavior for verification of PLC programsMachado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques, et al.Conference paperOpen access
Jul-2011Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirementsKunz, Guilherme; Perondi, Eduardo; Machado, José MendesConference paperOpen access
Jul-2011Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controllerKunz, Guilherme; Machado, José Mendes; Perondi, EduardoConference paperOpen access
13-Mar-2013A multidisciplinary experience in Remote Physiological Systems laboratoryBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
2007A new plant modelling approach for formal verification purposesMachado, José; Seabra, Eurico; Soares, Filomena, et al.Conference paperOpen access
2013Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?Lobo, Edgar; Fertuzinhos, João; Silva, João Pedro Mendonça de Assunção da, et al.Conference paperRestricted access (UMinho)
Jan-2015PAIR: the remote industrial automation trainerSilva, Mário; Pereira, Filipe; Soares, Filomena, et al.Conference paperRestricted access (Author)
Apr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacConference paperOpen access
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséConference paperOpen access
2017A prática de atividade física de crianças e jovens de três freguesias do concelho de AmaranteGonçalves, Emília; Machado, José; Carvalho, Graça Simões deBook partOpen access
2015Preface of the "symposium on dependable mechatronic systems"Machado, JoséConference editorialRestricted access (Author)
2008Property patterns for the formal verification of automated production systemsCampos, J. Creissac; Machado, José; Seabra, EuricoConference paperOpen access
2015Prototype for determination of pre-transfusion tests based on image processing techniquesFerraz, Ana; Machado, José; Carvalho, VitorConference paperRestricted access (UMinho)
2016Purchase management improvement in a TV company from the industry district of Manaus (PIM)Kapisch, L.; Araújo, A.; Varela, Maria Leonilde Rocha, et al.ArticleOpen access
2015QR codes and Java applied to physiological data acquisition in biomedical engineering educationBarros, Carla; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)