| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A generalized result for the discrete-time two-queue randomly alternating service system
|
Bruneel, Herwig
|
|
|
168 |
C |
p.
|
artikel
|
| 2 |
Approximation of cumulative distribution functions by Bernstein phase-type distributions
|
Horváth, András
|
|
|
168 |
C |
p.
|
artikel
|
| 3 |
Certificates and witnesses for multi-objective queries in Markov decision processes
|
Baier, Christel
|
|
|
168 |
C |
p.
|
artikel
|
| 4 |
Computational algorithms and arrival theorem for non-conventional product-form solutions
|
Olliaro, Diletta
|
|
|
168 |
C |
p.
|
artikel
|
| 5 |
Controller synthesis in timed Büchi automata: Robustness and punctual guards
|
Barbot, Benoît
|
|
|
168 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
168 |
C |
p.
|
artikel
|
| 7 |
Editorial: Special issue on timed and stochastic approaches to system evaluation: Selected papers from QESTFORMATS 2024
|
|
|
|
168 |
C |
p.
|
artikel
|
| 8 |
Energy-performance tradeoffs in server farms with batch services and setup times
|
Le-Anh, Thu
|
|
|
168 |
C |
p.
|
artikel
|
| 9 |
Optimizing parallel I/O performance in NVMe SSDs by Dynamic cache partitioning
|
Li, Zecheng
|
|
|
168 |
C |
p.
|
artikel
|
| 10 |
Optimizing spatial modulation MIMO IoT systems with full-duplex/half-duplex UAVs and enhanced transmit antenna selection
|
Phung, Bao The
|
|
|
168 |
C |
p.
|
artikel
|
| 11 |
Statistical properties of a class of randomized binary search algorithms
|
Xia, Ye
|
|
|
168 |
C |
p.
|
artikel
|
| 12 |
The Multiserver Job Queuing Model with big and small jobs: Stability in the case of infinite servers
|
Anggraito, Adityo
|
|
|
168 |
C |
p.
|
artikel
|
Tijdschrift beschrijving