• 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 31 matches

• 2023
• 
  Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima:
  Beyond Code Generation: The Need for Type-Aware Language Models. APR@ICSE 2023: 21-22
• 
  José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva:
  Efficient Embedding of Strategic Attribute Grammars via Memoization. PEPM@POPL 2023: 41-54
• 
  Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, João Saraiva:
  GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair. SLE 2023: 111-124
• 2022
• 
  João Paulo Monteiro, Alberto R. Cunha, Alexandre Silva, Carlos Fernandes, Diogo Neves, Fabian Naf, Gonçalo Tavares, José Freitas, João Pinto, Moisés Piedade, Nuno Ramos, Paulo J. S. Gil, Paulo Macedo, Rúben Afonso, Renato Encarnação, Rodrigo Ramos, Tomás Almeida, Rui Manuel Rocha:
  ISTSat-1, a space-based Automatic Dependent Surveillance-Broadcast demonstration CubeSat mission. Int. J. Satell. Commun. Netw. 40(4): 268-293 (2022)
• 
  José Nuno Macedo, Marcos Viera, João Saraiva:
  Zipping Strategies and Attribute Grammars. FLOPS 2022: 112-132
• 
  João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira:
  Verification of railway network models with EVEREST. MoDELS 2022: 345-355
• 
  Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha:
  Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE 2022: 885-896
• 2021
• 
  Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva:
  Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211: 102690 (2021)
• 
  Nuno Gil Fonseca, Luís Macedo, António José Mendes:
  The importance of using the CodeInsights monitoring tool to support teaching programming in the context of a pandemic. FIE 2021: 1-8
• 
  José Nuno Macedo, Marcos Viera, João Saraiva:
  Zipping Strategies and Attribute Grammars. CoRR abs/2110.07902 (2021)
• 2020
• 
  Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva:
  Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ 2020: 61-77
• 
  José Nuno Macedo, João Saraiva:
  InDubio: A Combinator Library to Disambiguate Ambiguous Grammars. ICCSA (4) 2020: 1002-1018
• 
  José Nuno Macedo, João Saraiva:
  Expressing disambiguation filters as combinators. SAC 2020: 1348-1351
• 2019
• 
  José Nuno Macedo, Ricardo Moreira, Jácome Cunha, João Saraiva:
  Get Your Spreadsheets Under (Version) Control. CIbSE 2019: 100-113
• 
  Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva:
  Sharing and Learning Alloy on the Web. CoRR abs/1907.02275 (2019)
• 2018
• 
  José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença:
  Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2(ICFP): 82:1-82:17 (2018)
• 
  Nuno Gil Fonseca, Luís Macedo, Maria José Marcelino, António José Mendes:
  Augmenting the teacher's perspective on programming student's performance via permanent monitoring. FIE 2018: 1-9
• 
  Nuno Gil Fonseca, Luís Macedo, António José Mendes:
  Supporting Differentiated Instruction in Programming Courses through Permanent Progress Monitoring. SIGCSE 2018: 209-214
• 
  Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
  Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52
• 2017
• 
  José Nuno Oliveira, Hugo Daniel Macedo:
  The data cube as a typed linear algebra operator. DBPL 2017: 6:1-6:11
• 
  Nuno Gil Fonseca, Luís Macedo, António José Mendes:
  Monitoring the Progress of Programming Students Supported by a Digital Teaching Assistant. EPIA 2017: 75-86
• 
  Raju Halder, José Proença, Nuno Macedo, André Santos:
  Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE 2017: 44-50
• 2016
• 
  Nuno Gil Fonseca, Luís Macedo, António José Mendes:
  CodeInsights: Monitoring programming students' progress. CompSysTech 2016: 375-382
• 
  José Neves, Nuno Gonçalves, Ruben Oliveira, Sabino Gomes, João Neves, Joaquim Macedo, António Abelha, Cesar Analide, José Machado, Manuel Filipe Santos, Henrique Vicente:
  Screening a Case Base for Stroke Disease Detection. HAIS 2016: 3-13
• 2015
• 
  Hugo Daniel Macedo, José Nuno Oliveira:
  A linear algebra approach to OLAP. Formal Aspects Comput. 27(2): 283-307 (2015)
• 
  Nuno Braga, Cláudio Alves, Rita Macedo, José M. Valério de Carvalho:
  A Model-Based Heuristic for the Combined Cutting Stock and Scheduling Problem. ICCSA (2) 2015: 490-505
• 2013
• 
  Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira:
  Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
• 
  Hugo Daniel Macedo, José Nuno Oliveira:
  Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. 78(11): 2160-2191 (2013)
• 
  Hugo Daniel Macedo, José Nuno Oliveira:
  Typing linear algebra: A biproduct-oriented approach. CoRR abs/1312.4818 (2013)
• 2010
• 
  Hugo Daniel Macedo, José Nuno Oliveira:
  Towards Linear Algebras of Components. FACS 2010: 300-303

skipping 1 more match