( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Categorical foundations for randomly timed automata.

, , , , , и . Theor. Comput. Sci., 308 (1-3): 393-427 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Carlos Pacheco

Ricardo Pacheco

António Marques

António Maretzek

António Silva

 

Другие публикации лиц с тем же именем

Theoretical evaluation of feature selection methods based on mutual information., , , и . Neurocomputing, (2017)Theoretical foundations of forward feature selection methods based on mutual information., , , и . Neurocomputing, (2019)Estimation of the traffic intensity in a piecewise-stationary Mt/Gt/1 queue with probing., , , и . SIGMETRICS Perform. Evaluation Rev., 44 (2): 3-5 (2016)Probing a M/G/1 queue with general input and service times., , и . SIGMETRICS Perform. Evaluation Rev., 41 (3): 34-36 (2013)Some properties of the delay probability inM/M/s/s +c systems.. Queueing Syst. Theory Appl., 15 (1-4): 309-324 (1994)On the Dependencies between Internet Flow Characteristics., , , , и . FITraMEn, том 5464 из Lecture Notes in Computer Science, стр. 68-80. Springer, (2008)Modeling Network Traffic with Multifractal Behavior., , , и . Telecommun. Syst., 24 (2-4): 339-362 (2003)Model Checking CSL until Formulae with Random Time Bounds., , и . PAPM-PROBMIV, том 2399 из Lecture Notes in Computer Science, стр. 152-168. Springer, (2002)Queues with Server Vacations as a Model for Pretimed Signalized Urban Traffic., , и . Transp. Sci., 51 (3): 841-851 (2017)Observations and the Probabilistic Situation Calculus., , и . KR, стр. 327-340. Morgan Kaufmann, (2002)