 |
|||||||||
|
|||||||||
  |
|||||||||
 |
|||||||||
Franco Raimondi and Alessio Lomuscio. Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation. Technical Report TR-04-01, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Franco Raimondi and Alessio Lomuscio. Automatic verification of deontic properties of multi-agent systems. Technical Report TR-04-02, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Bożena Woźna. Bounded Model Checking for the universal fragment of CTL*. Technical Report TR-04-03, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Bożena Woźna and Andrzej Zbrzezny. Checking ACTL* properties of Discrete Timed Automata via Bounded Model Checking. (Revised version of the paper published in Proceedings of the 1st International Workshop on Formal Analysis and Modeling of Timed Systems (FORMATS'03)). Technical Report TR-04-04, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Denham Coates-Evelyn. In-Place Merging Algorithms. Technical Report TR-04-05, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Godfrey Justo and Tomasz Radzik. Wavelength Assignment in Multifiber Rings with limited Conversion. Technical Report TR-04-06, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Arjuna Sathiaseelan and Tomasz Radzik. Robust TCP (TCP-R) with Explicit Packet Drop Notifcation (EPDN) for Satellite Networks. Technical Report TR-04-07, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Arjuna Sathiaseelan and Tomasz Radzik. Reorder Notifying TCP (RN-TCP) with Explicit Packet Drop Notification (EPDN). Technical Report TR-04-08, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Peter Clifford, Raphaël Clifford and Costas Iliopoulos. Fourier transform methods for δ and (δ, γ) matching and other measures of string similarity. Technical Report TR-04-09, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Godfrey Justo and Tomasz Radzik. Experimental Study for Static Wavelength Assignment in All-Optical Rings without Wavelength Conversion. Technical Report TR-04-10, Department of Computer Science, King's College London, 2004. (BibTex, Paper)
Laurence Tratt. Compile-time
meta-programming in Converge.
Technical Report TR-04-11, Department of Computer Science, King's
College London, 2004. (BibTex, Paper)
Leszek Gasieniec, Aris Pagourtzis, Igor
Potapov, and Tomasz Radzik. Deterministic Communication in Radio
Networks with Large Labels.
Technical Report TR-04-12, Department of Computer Science, King's
College London, 2004. (BibTex, Paper)
| |||||
 | |||||
| |||||
| Informatics | KCL Home | Contact | Top | ||
| |||||
| |||||
