Citation Impact
Citing Papers
State-of-the-art in artificial neural network applications: A survey
2018 Standout
Online selection of discriminative tracking features
2005 Standout
Providing public intradomain traffic matrices to the research community
2006
Federated Learning in Mobile Edge Networks: A Comprehensive Survey
2020 Standout
Scalable tensor factorizations for incomplete data
2010 Standout
A survey of QoS architectures
1998
Process algebra for performance evaluation
2002
Generalized multicast congestion control
2006
QoS-aware middleware for Web services composition
2004 Standout
The model checker SPIN
1997 Standout
A comprehensive survey on machine learning for networking: evolution, applications and research opportunities
2018
Verifying Semantic Relations in SPIN
2002
Model-checking algorithms for continuous-time markov chains
2003 Standout
Works of Guy Leduc being referenced
An introduction to ET-LOTOS for the description of time-sensitive systems
1997
TOTEM: A Toolbox for Traffic Engineering Methods
2006
A machine learning approach to improve congestion control over wireless computer networks
2004
Enhancement of TCP over wired/wireless networks with packet loss classifiers inferred by supervised learning
2008
On the role of implementation relations in the design of distributed systems using LOTOS
1991
A survey of optimal network congestion control for unicast and multicast transmission
2005
The OSI 95 Connection-Mode Transport Service: The Enhanced QoS
1992
Machine-learnt versus analytical models of TCP throughput
2007