Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-1

On the Controller Synthesis for Finite-State Markov Decision Processes

Antonín Kučera, Oldřich Stražovský

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

Łukasiewicz μ -calculus

Matteo Mio, Alex Simpson

Fundamenta Informaticae

Free access

Research article

First published 2006-11

Double-Compartment Cell Culture Apparatus: Construction and Biochemical Evaluation for Bioartificial Liver Support

Masahiro Takahashi, Masayuki Sakurai, Shin Enosawa [...]

Cell Transplantation

Retricted access

Research article

First published 2009-10

A Decidable Probability Logic for Timed Probabilistic Systems

Ruggero Lanotte, Danièle Beauquier

Fundamenta Informaticae

Retricted access

Research article

First published 1994-02

Interleukin 2-Independent Interleukin 7 Activity Enhances Cytotoxic Immune Response of HIV-1-Infected Individuals

Claudio Carini, Max Essex

AIDS Research and Human Retroviruses

Retricted access

Research article

First published 2004-5-1

Probabilistic analysis of an anonymity system

Vitaly Shmatikov

Journal of Computer Security

Free access

Research article

First published 2004-7

Superior Therapeutic Efficacy of Alphavirus-Mediated Immunization against Human Papilloma Virus Type 16 Antigens in a Murine Tumour Model: Effects of the Route of Immunization

Toos Daemen, Annelies Riezebos-Brilman, Joke Regts [...]

Antiviral Therapy

Retricted access

Research article

First published 2000-5

In Vitro and in Vivo Responses to Interleukin 12 Are Maintained until the Late SIV Infection Stage but Lost during AIDS

François Villinger, Silvana Bucur, Nathaniel F. Chikkala [...]

AIDS Research and Human Retroviruses

Search results