Foundations of Information Technology in the Era of Network and Mobile Computing
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer US

9781475752755, 9780387356082
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model Checking Birth and Death

2002 ◽  
pp. 435-447 ◽  
Author(s):  
Dino Distefano ◽  
Arend Rensink ◽  
Joost-Pieter Katoen
Keyword(s):  
Model Checking

scholarly journals Optimal-Reachability and Control for Acyclic Weighted Timed Automata

2002 ◽  
pp. 485-497 ◽  
Author(s):  
Salvatore Torre ◽  
Supratik Mukhopadhyay ◽  
Aniello Murano
Keyword(s):  
Timed Automata ◽  
And Control

scholarly journals Phantom Types and Subtyping

2002 ◽  
pp. 448-460 ◽  
Author(s):  
Matthew Fluet ◽  
Riccardo Pucella

scholarly journals Framework for Analyzing Garbage Collection

2002 ◽  
pp. 230-242
Author(s):  
Matthew Hertz ◽  
Neil Immerman ◽  
J. Eliot B Moss
Keyword(s):  
Garbage Collection

scholarly journals Responsive Bisimulation

2002 ◽  
pp. 601-612 ◽  
Author(s):  
Xiaogang Zhang ◽  
John Potter

scholarly journals Algorithmic Complexity of Protein Identification: Searching in Weighted Strings

2002 ◽  
pp. 143-156 ◽  
Author(s):  
Mark Cieliebak ◽  
Zsuzsanna Lipták ◽  
Emo Welzl ◽  
Thomas Erlebach ◽  
Jens Stoye
Keyword(s):  
Protein Identification ◽  
Algorithmic Complexity

scholarly journals On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks

2002 ◽  
pp. 71-82 ◽  
Author(s):  
Douglas M. Blough ◽  
Mauro Leoncini ◽  
Giovanni Resta ◽  
Paolo Santi
Keyword(s):  
Ad Hoc Networks ◽  
Wireless Ad Hoc Networks ◽  
Assignment Problem ◽  
Ad Hoc ◽  
Range Assignment ◽  
Hoc Networks
Load More ...
Sign in / Sign up

Export Citation Format

Share Document