IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402081405

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recovering Resources in the π-Calculus (DRAFT)

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_46 ◽

2006 ◽

pp. 605-618 ◽

Author(s):

David Teller

Keyword(s):

Download Full-text

Dynamic Typing with Dependent Types

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_34 ◽

2006 ◽

pp. 437-450 ◽

Author(s):

Xinming Ou ◽

Gang Tan ◽

Yitzhak Mandelbaum ◽

David Walker

Keyword(s):

Dependent Types ◽

Download Full-text

The tPI (tRNA Pairing Index) a Mathematical Measure of Repetition in a (Biological) Sequence

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_1 ◽

2006 ◽

pp. 1-2

Author(s):

Gaston H. Gonnet

Keyword(s):

Biological Sequence

Download Full-text

Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_36 ◽

2006 ◽

pp. 465-478 ◽

Author(s):

Chung-Chih Li

Keyword(s):

Asymptotic Behaviors

Download Full-text

Remove key Escrow from the Identity-Based Encryption System

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_6 ◽

2006 ◽

pp. 37-50 ◽

Author(s):

Zhaohui Cheng ◽

Richard Comley ◽

Luminita Vasiu

Keyword(s):

Identity Based Encryption ◽

Download Full-text

A Randomised Algorithm for Checking The Normality of Cryptographic Boolean Functions

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_7 ◽

2006 ◽

pp. 51-66

Author(s):

An Braeken ◽

Christopher Wolf ◽

Bart Preneel

Keyword(s):

Boolean Functions

Download Full-text

Solving Packing Problem with Weaker Block Solvers

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_24 ◽

2006 ◽

pp. 293-306

Author(s):

Hu Zhang

Keyword(s):

Packing Problem

Download Full-text

Approximation Algorithms for Mixed Fractional Packing and Covering Problems

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_19 ◽

2006 ◽

pp. 223-236 ◽

Author(s):

Klaus Jansen

Keyword(s):

Approximation Algorithms ◽

Covering Problems ◽

Packing And Covering

Download Full-text

Resource Bounded Immunity and Simplicity

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_9 ◽

2006 ◽

pp. 81-96

Author(s):

Toshio Suzuki ◽

Tomoyuki Yamakami

Download Full-text

The Driving Philosophers

IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics ◽

10.1007/1-4020-8141-3_16 ◽

2006 ◽

pp. 181-194 ◽

Author(s):

S. Baehni ◽

R. Baldoni ◽

R. Guerraoui ◽

B. Pochon

Download Full-text