Items where Institution is :Other partners > Universidade do Minho (PORTUGAL)

Canny, Alexandre and Navarre, David and Campos, José Creissac and Palanque, Philippe Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. (2020) In: International Workshop on Formal Methods for Interactive Systems (FMIS 2019), 7 October 2019 - 11 October 2019 (Porto, Portugal).

Campos, José Creissac and Fayollas, Camille and Gonçalves, Marcelo and Martinie De Almeida, Célia and Navarre, David and Palanque, Philippe and Pinto, Miguel A more intelligent test case generation approach through task models manipulation. (2017) Proceedings of the ACM on Human-Computer Interaction, 1 (9). 1-20. ISSN 2573-0142

Fayollas, Camille and Martinie De Almeida, Celia and Palanque, Philippe and Masci, Paolo and Harrison, Michael Douglas and Campos, José Creissac and Rodrigues E Silva, Saulo Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. (2017) In: 3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, 21st International Symposium on Formal Methods, 8 November 2016 - 8 November 2016 (Limassol, Cyprus).

Campos, José Creissac and Fayollas, Camille and Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe and Pinto, Miguel Systematic automation of scenario-based testing of user interfaces. (2016) In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), 21 June 2016 - 24 June 2016 (Bruxelles, Belgium).

Espírito Santo, José and Matthes, Ralph and Nakazawa, Koji and Pinto, Luís Monadic translation of classical sequent calculus. (2013) Mathematical Structures in Computer Science, 23 (6). 1111-1162. ISSN 0960-1295

Espírito Santo, José and Matthes, Ralph and Pinto, Luís A Coinductive Approach to Proof Search. (2013) In: Fixed Points in Computer Science (FICS 2013), 1 September 2013 (Turin, Italy).

Silva, João Carlos and Silva, José Luis and Campos, José Creissac and Saraiva, João António A Model-based Approach for Test Cases Generation. (2013) In: IEEE Iberian Conference on Information Systems and Technologies - CISTI, 19 June 2013 - 22 June 2013 (Lisbonne, Portugal).

Gomes, Tiago and Abade, Tiago and Campos, José Creissac and Harrison, Michael Douglas and Silva, José Luis Desenvolvimento de Jogos Educativos na plataforma APEX : O Jogo da Asma. (2013) In: 5ª edição da Conferência Nacional sobre Interação (2013), 7 November 2013 - 8 November 2013 (Vila Real, Portugal).

Simberloff, Daniel and Martin, Jean-Louis and Genovesi, Piero and Maris, Virginie and Wardle, David A. and Aronson, James and Courchamp, Franck and Galil, Bella and García-Berthou, Emili and Pascal, Michel and Pyšek, Petr and Sousa, Ronaldo and Tabacchi, Eric and Vilà, Montserrat Impacts of biological invasions: what's what and the way forward. (2013) Trends in Ecology & Evolution, 28 (1). 58-66. ISSN 1872-8383

Barbosa, Carlos Nuno and Chabert, France and Nassiet, Valérie and Viana, Joao Carlos and Pereira, Paulo Effect of Clay Amounts on Morphology and Mechanical Performances in Multiscale PET Composites. (2011) In: The 14th European Scientific Association for Material Forming - ESAFORM 2011, 27 April 2011 - 29 April 2011 (Belfast, United Kingdom).

Duarte, Sofia and Pascoal, Claudia and Garabétian, Frédéric and Cassio, Fernanda and Charcosset, Jean-Yves Microbial decomposers communities are mainly structured by trophic status in circumneutral and alkaline streams. (2009) Applied and Environmental Microbiology, 75 (19). 6211-6221. ISSN 0099-2240