| 2021 | SAT | OptiLog: A Framework for SAT-based Systems. | Carlos Anstegui, Jesus Ojeda, Antnio Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres |
| 2020 | ICCSA | Numbers of Served and Lost Customers in Busy-Periods of M/M/1/n Systems with Balking. | Ftima Ferreira, Antnio Pacheco, Helena Ribeiro |
| 2012 | INFOCOM | Robust feature selection and robust PCA for internet traffic anomaly detection. | Cludia Pascoal, Maria Rosrio de Oliveira, Rui Valadas, Peter Filzmoser, Paulo Salvador, Antnio Pacheco |
| 2011 | SOFTCOM | Joint modeling of network related events with multi-dimensional Markov Modulated Deterministic Processes. | Paulo Salvador, Antnio Nogueira, Rui Valadas, Antnio Pacheco |
| 2010 | SIGMETRICS | An analytical framework to infer multihop path reliability in MANETs. | Nelson Antunes, Gonalo Jacinto, Antnio Pacheco |
| 2009 | DCC | A Comparative Study of Lossless Compression Algorithms on Multi-spectral Imager Data. | Michael D. Grossberg, Irina Gladkova, Srikanth Gottipati, M. Rabinowitz, P. Alabi, T. George, Antnio Pacheco |
| 2002 | KR | Observations and the Probabilistic Situation Calculus. | Paulo Mateus, Antnio Pacheco, Javier Pinto |