Second-order properties of the loss probability inM/M/s/s +c systems. - António Pacheco 001 (Queueing Syst. Theory Appl., 1994)

Some properties of the delay probability inM/M/s/s +c systems. - António Pacheco 001 (Queueing Syst. Theory Appl., 1994)

A storage model for data communication systems. - N. U. Prabhu; António Pacheco 001 (Queueing Syst. Theory Appl., 1995)

Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto; Amílcar Sernadas; Cristina Sernadas (Ann. Math. Artif. Intell., 2001)

Observations and the Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto (KR, 2002)

Model Checking CSL until Formulae with Random Time Bounds. - Marta Z. Kwiatkowska; Gethin Norman; António Pacheco 001 (PAPM-PROBMIV, 2002)

An integrated traffic model for multimedia wireless networks. - Nelson Antunes; António Pacheco 001; Rui Manuel Rocha (Comput. Networks, 2002)

A Markov Renewal Based Model for Wireless Networks. - Nelson Antunes; António Pacheco 001; Rui Manuel Rocha (Queueing Syst. Theory Appl., 2002)

Modeling Self-similar Traffic through Markov Modulated Poisson Processes over Multiple Time Scales. - António Nogueira; Paulo Salvador 001; Rui T. Valadas; António Pacheco 001 (HSNMC, 2003)

Categorical foundations for randomly timed automata. - Paulo Mateus; Manuel Cabral Morais; Cláudia Nunes; António Pacheco 001; Amílcar Sernadas; Cristina Sernadas (Theor. Comput. Sci., 2003)

Modeling Network Traffic with Multifractal Behavior. - António Nogueira; Paulo Salvador 001; Rui Valadas; António Pacheco 001 (Telecommun. Syst., 2003)

Multiscale Fitting Procedure Using Markov Modulated Poisson Processes. - Paulo Salvador 001; Rui T. Valadas; António Pacheco 001 (Telecommun. Syst., 2003)

Multi-time-Scale Traffic Modeling Using Markovian and L-Systems Models. - Paulo Salvador 001; António Nogueira; Rui Valadas; António Pacheco 001 (ECUMN, 2004)

Modeling IP traffic: joint characterization of packet arrivals and packet sizes using BMAPs. - Paulo Salvador 001; António Pacheco 001; Rui Valadas (Comput. Networks, 2004)

Using Neural Networks to Classify Internet Users. - António Nogueira; Maria Rosário de Oliveira; Paulo Salvador 001; Rui Valadas; António Pacheco 001 (AICT/SAPIR/ELETE, 2005)

Some Results for GIX/M/s/c Queues. - Fátima Ferreira; António Pacheco 001 (SAINT Workshops, 2005)

Analysis of GI/M/s/c queues using uniformisation. - Fátima Ferreira; António Pacheco 001 (Comput. Math. Appl., 2006)

Model checking expected time and expected reward formulae with random time bounds. - Marta Z. Kwiatkowska; Gethin Norman; António Pacheco 001 (Comput. Math. Appl., 2006)

Cluster Analysis of Internet Users Based on Hourly Traffic Utilization. - Maria Rosário de Oliveira; Rui Valadas; António Pacheco 001; Paulo Salvador 001 (IEICE Trans. Commun., 2007)

On the Dependencies between Internet Flow Characteristics. - Maria Rosário de Oliveira; António Pacheco 001; Cláudia Pascoal; Rui Valadas; Paulo Salvador 001 (FITraMEn, 2008)

Consecutive customer losses in oscillating GI X / M // n systems with state dependent services rates. - António Pacheco 001; Helena Ribeiro (Ann. Oper. Res., 2008)

Analysis of GIX/M(n)//N systems with stochastic customer acceptance policy. - Fátima Ferreira; António Pacheco 001 (Queueing Syst. Theory Appl., 2008)

Consecutive customer losses in regular and oscillating MX/G/1/n systems. - António Pacheco 001; Helena Ribeiro (Queueing Syst. Theory Appl., 2008)

On the minimum hop count and connectivity in one-dimensional ad hoc wireless networks. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001 (Telecommun. Syst., 2008)

Accurate resource estimation for generalized VoIP sources. - Antonio Jose Estepa; Rafael Estepa; António Pacheco 001 (Telecommun. Syst., 2008)

An analytical framework to infer multihop path reliability in MANETs. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001 (SIGMETRICS, 2010)

Detection of Outliers Using Robust Principal Component Analysis: A Simulation Study. - Cláudia Pascoal; Maria Rosário de Oliveira; António Pacheco 001; Rui Valadas (SMPS, 2010)

Modeling self-similar traffic over multiple time scales based on hierarchical Markovian and L-System models. - António Nogueira; Paulo Salvador 001; Rui Valadas; António Pacheco 001 (Comput. Commun., 2010)

Joint modeling of network related events with multi-dimensional Markov Modulated Deterministic Processes. - Paulo Salvador 001; António Nogueira; Rui Valadas; António Pacheco 001 (SoftCOM, 2011)

Performance evaluation of airport taxi services provision. - Fátima Ferreira; António Pacheco 001; M. Filomena Teodoro (Int. J. Math. Model. Numer. Optimisation, 2011)

Stochastic Ordering of Semi-Markov Processes. - Fátima Ferreira; António Pacheco 001 (Network Performance Engineering, 2011)

Markovian Modelling of Internet Traffic. - António Nogueira; Paulo Salvador 001; Rui Valadas; António Pacheco 001 (Network Performance Engineering, 2011)

Robust feature selection and robust PCA for internet traffic anomaly detection. - Cláudia Pascoal; Maria Rosário de Oliveira; Rui Valadas; Peter Filzmoser; Paulo Salvador 001; António Pacheco 001 (INFOCOM, 2012)

Probing a M/G/1 queue with general input and service times. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001 (SIGMETRICS Perform. Evaluation Rev., 2013)

Kalman Filter Sensitivity Evaluation With Orthogonal and J-Orthogonal Transformations. - Maria V. Kulikova; António Pacheco 001 (IEEE Trans. Autom. Control., 2013)

Analytic and computational analysis of the discrete-time GI/D-MSP/1 queue using roots. - Sujit Kumar Samanta; Mohan L. Chaudhry; António Pacheco 001; U. C. Gupta 001 (Comput. Oper. Res., 2015)

Hop Count Distributions of the Furthest and Nearest Distance Routing Protocols in Mobile Ad Hoc Networks. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001 (SIAM J. Appl. Math., 2015)

On the Blocking Probability and Loss Rates in Nonpreemptive Oscillating Queueing Systems. - Fátima Ferreira; António Pacheco 001; Helena Ribeiro (ASMTA, 2016)

A simple analysis of system characteristics in the batch service queue with infinite-buffer and Markovian service process using the roots method: GI/C-MSP(a,b)/1/∞. - M. L. Chaudhry 001; Abhijit Datta Banik; António Pacheco 001; Souvik Ghosh 002 (RAIRO Oper. Res., 2016)

Estimation of the traffic intensity in a piecewise-stationary Mt/Gt/1 queue with probing. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001; Cornelia Wichelhaus (SIGMETRICS Perform. Evaluation Rev., 2016)

Application of a Particular Class of Markov Chains in the Assessment of Semi-actuated Signalized Intersections. - Francisco Macedo; Paula Milheiro de Oliveira; António Pacheco 001; Maria Lurdes Simões (ASMTA, 2017)

A simple analysis of the batch arrival queue with infinite-buffer and Markovian service process using roots method: GI[X]/C-MSP/1/∞. - Mohan L. Chaudhry; Abhijit Datta Banik; António Pacheco 001 (Ann. Oper. Res., 2017)

Moments of losses during busy-periods of regular and nonpreemptive oscillating MX/G/1/n systems. - Fátima Ferreira; António Pacheco 001; Helena Ribeiro (Ann. Oper. Res., 2017)

A theoretical framework for evaluating forward feature selection methods based on mutual information. - Francisco Macedo; Maria Rosário de Oliveira; António Pacheco 001; Rui Valadas (CoRR, 2017)

Theoretical evaluation of feature selection methods based on mutual information. - Cláudia Pascoal; Maria Rosário de Oliveira; António Pacheco 001; Rui Valadas (Neurocomputing, 2017)

Queues with Server Vacations as a Model for Pretimed Signalized Urban Traffic. - António Pacheco 001; Maria Lurdes Simões; Paula Milheiro de Oliveira (Transp. Sci., 2017)

Detecting Internet-Scale Traffic Redirection Attacks Using Latent Class Models. - Ana Subtil; Maria Rosário de Oliveira; Rui Valadas; António Pacheco 001; Paulo Salvador 001 (SoCPaR, 2018)

Theoretical foundations of forward feature selection methods based on mutual information. - Francisco Macedo; Maria Rosário de Oliveira; António Pacheco 001; Rui Valadas (Neurocomputing, 2019)

Numbers of Served and Lost Customers in Busy-Periods of M/M/1/n Systems with Balking. - Fátima Ferreira; António Pacheco 001; Helena Ribeiro (ICCSA (3), 2020)

A comparative analysis of two computer science degree offerings. - Anna Carolina Finamore; Haydée Guillot Jiménez; Marco A. Casanova; Bernardo Pereira Nunes; Ana Moura Santos; António Pacheco Pires (J. Braz. Comput. Soc., 2020)

Misleading signals in joint schemes for the mean vector and covariance matrix. - Manuel Cabral Morais; Wolfgang Schmid; Patrícia Ferreira Ramos; Taras Lazariv; António Pacheco 001 (Qual. Reliab. Eng. Int., 2020)

Distribution of the number of losses in busy-periods of oscillating MX/G/1/(n, a, b) systems. - Fátima Ferreira; António Pacheco 001; Helena Ribeiro (Comput. Oper. Res., 2021)

Association measures for interval variables. - Maria Rosário de Oliveira; Margarida Azeitona; António Pacheco 001; Rui Valadas (Adv. Data Anal. Classif., 2022)

Feature selection using Decomposed Mutual Information Maximization. - Francisco Macedo; Rui Valadas; Eunice Carrasquinha; Maria Rosário de Oliveira; António Pacheco 001 (Neurocomputing, 2022)

Statistical inference in queueing networks with probing information. - Nelson Antunes; Gonçalo Jacinto; António Pacheco 001 (Queueing Syst. Theory Appl., 2022)

Detection of Internet-wide traffic redirection attacks using machine learning techniques. - Ana Subtil; M. Rosário Oliveira; Rui Valadas; Paulo Salvador 001; António Pacheco 001 (IET Networks, 2023)