• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2023
• 
  Diogo Couto, Steffan Davies, Joaquim João Sousa, António Cunha:
  Phase Unwrapping using ML methods. CENTERIS/ProjMAN/HCist 2023: 2048-2055
• 
  Alexandre Neto, Diogo Couto, Miguel T. Coimbra, António Cunha:
  Colonoscopic Polyp Detection with Deep Learning Assist. VISIGRAPP (4: VISAPP) 2023: 928-935
• 2022
• 
  Diogo Rato, Marta Couto, Rui Prada:
  Behavior vs Appearance: What Type of Adaptations are More Socially Motivated? AAMAS 2022: 1720-1722
• 
  Diogo Rato, Marta Couto, Rui Prada:
  Attributing Social Motivations to Changes in Agents' Behavior and Appearance. HAI 2022: 219-226
• 2021
• 
  Diogo Rato, Marta Couto, Rui Prada:
  Fitting the Room: Social Motivations for Context-Aware Agents. HAI 2021: 39-46
• 
  João Silva, Diogo Brito, Gonçalo Rodrigues, Taimur Gibran Rabuske, António Couto-Pinto, Jorge R. Fernandes:
  Methods for Fast Characterization of Noise and Offset in Dynamic Comparators. NEWCAS 2021: 1-4
• 
  Diogo Cortiz, Newton Calegari, Fabiana Oliveira, Daniel Couto Gatti:
  Game Design for Blockchain Learning. CoRR abs/2104.07086 (2021)
• 2020
• 
  Sérgio Guerreiro, Diogo Silva, Tiago Rosado, André Vasconcelos, Miguel Correia, Pedro Sousa:
  Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 15: 15:1-15:41 (2020)
• 
  Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen:
  Enabling continuous integration in a formal methods setting. Int. J. Softw. Tools Technol. Transf. 22(6): 667-683 (2020)
• 
  Diogo Serranito, André Vasconcelos, Sérgio Guerreiro, Miguel Correia:
  Blockchain Ecosystem for Verifiable Qualifications. BRAINS 2020: 192-199
• 2018
• 
  Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni:
  Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. ISoLA (3) 2018: 488-503
• 2017
• 
  Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen:
  Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops 2017: 284-299
• 2016
• 
  Nuno Santos, João M. Fernandes, Maria Sameiro Carvalho, Pedro V. Silva, Fábio A. Fernandes, Márcio P. Rebelo, Diogo Barbosa, Paulo Maia, Marco Couto, Ricardo J. Machado:
  Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project. ICCSA (4) 2016: 480-495
• 
  Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl:
  Principles for reuse in formal language tools. SAC 2016: 1997-2000
• 
  Gabriela B. Alves, Michele A. Brandão, Diogo M. Santana, Ana Paula Couto da Silva, Mirella M. Moro:
  The Strength of Social Coding Collaboration on GitHub. SBBD 2016: 247-252
• 
  Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards:
  Combining Harvesting Operation Optimisations using Strategy-based Simulation. SIMULTECH 2016: 25-32
• 
  Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards:
  Model-Based Development of a Multi-algorithm Harvest Planning System. SIMULTECH (Selected Papers) 2016: 19-33
• 
  Diogo Gonçalves, Miguel Costa, Francisco M. Couto:
  A Flexible Recommendation System for Cable TV. CoRR abs/1609.02451 (2016)
• 
  Diogo Gonçalves, Miguel Costa, Francisco M. Couto:
  A Large-Scale Characterization of User Behaviour in Cable TV. CoRR abs/1609.02453 (2016)
• 2015
• 
  Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl:
  Migrating to an Extensible Architecture for Abstract Syntax Trees. WICSA 2015: 145-154
• 
  Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen:
  Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE 2015: 14-27
• 2014
• 
  André Leal, Diogo Gonçalves, Bruno Martins, Francisco M. Couto:
  ULisboa: Identification and Classification of Medical Concepts. SemEval@COLING 2014: 711-715
• 
  Claire Ingram, Richard John Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luís Diogo Couto:
  Modelling patterns for systems of systems architectures. SysCon 2014: 146-153
• 
  Luís Diogo Couto, Simon Foster, Richard John Payne:
  Towards Verification of Constituent Systems through Automated Proof. CoRR abs/1404.7792 (2014)
• 2010
• 
  Julia M. Colleoni Couto, Tiago Marcelino, Henry Braun, Diogo Strube de Lima, Soraia Raupp Musse:
  Generation of Cartoon 2D Cracks Based on Leaf Venation Patterns. SBGames 2010: 165-170