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

Model Checking Birth and Death

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_36 ◽

2002 ◽

pp. 435-447 ◽

Author(s):

Dino Distefano ◽

Arend Rensink ◽

Joost-Pieter Katoen

Keyword(s):

Download Full-text

Optimal-Reachability and Control for Acyclic Weighted Timed Automata

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_40 ◽

2002 ◽

pp. 485-497 ◽

Author(s):

Salvatore Torre ◽

Supratik Mukhopadhyay ◽

Aniello Murano

Keyword(s):

Timed Automata ◽

Download Full-text

A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_25 ◽

2002 ◽

pp. 292-309

Author(s):

B. S. Panda ◽

Sajal K. Das

Keyword(s):

Linear Time ◽

Time Algorithm ◽

Linear Time Algorithm

Download Full-text

Phantom Types and Subtyping

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_37 ◽

2002 ◽

pp. 448-460 ◽

Author(s):

Matthew Fluet ◽

Riccardo Pucella

Download Full-text

Framework for Analyzing Garbage Collection

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_20 ◽

2002 ◽

pp. 230-242

Author(s):

Matthew Hertz ◽

Neil Immerman ◽

J. Eliot B Moss

Keyword(s):

Garbage Collection

Download Full-text

Responsive Bisimulation

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_49 ◽

2002 ◽

pp. 601-612 ◽

Author(s):

Xiaogang Zhang ◽

John Potter

Download Full-text

About Compositional Analysis of π-Calculus Processes

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_43 ◽

2002 ◽

pp. 524-536 ◽

Author(s):

Fabio Martinelli

Keyword(s):

Compositional Analysis ◽

Download Full-text

Algorithmic Complexity of Protein Identification: Searching in Weighted Strings

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_13 ◽

2002 ◽

pp. 143-156 ◽

Author(s):

Mark Cieliebak ◽

Zsuzsanna Lipták ◽

Emo Welzl ◽

Thomas Erlebach ◽

Jens Stoye

Keyword(s):

Protein Identification ◽

Algorithmic Complexity

Download Full-text

Safe Dynamic Binding in the Join Calculus

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_46 ◽

2002 ◽

pp. 563-575 ◽

Author(s):

Alan Schmitt

Keyword(s):

Dynamic Binding

Download Full-text

Micro Mobile Programs

Foundations of Information Technology in the Era of Network and Mobile Computing ◽

10.1007/978-0-387-35608-2_30 ◽

2002 ◽

pp. 356-369 ◽

Author(s):

Carl A. Gunter

Download Full-text