Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-07-23

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Fundamenta Informaticae

Retricted access

Research article

First published 2006-11

Typing the Behavior of Software Components using Session Types

Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara

Fundamenta Informaticae

Retricted access

Research article

First published 2014-9

Workload from Nuclear Power Plant Task Types Across Repeated Sessions

Rebecca Leis, Lauren Reinerman-Jones, Joseph Mercado [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2024-10

Online Classification of Unstructured Free-Living Exercise Sessions in People with Type 1 Diabetes

Emilia Fushimi, Eleonora M. Aiello, Sunghyun Cho [...]

Diabetes Technology & Therapeutics

Retricted access

Research article

First published 2008-10-13

A secure compiler for session abstractions

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet [...]

Journal of Computer Security

Free access

Abstract

First published 2001-5

Poster Session III: Q: Tension-Type Headache

Cephalalgia

Retricted access

Research article

First published 2019-9

Feasibility of Motivational Interviewing and Physical Activity Counseling Sessions for Improving Physical Activity Self-Management for Latina Women Either at Risk for or Diagnosed With Type 2 Diabetes Mellitus

Patricia D. Soderlund, Gail W. Stuart, Martina Mueller [...]

Journal of Transcultural Nursing

Retricted access

Research article

First published 2012-10

Changes in Inflammatory Markers during a Hemodialysis Session and Their Relation to Vascular Access Type

Benaya Rozen-Zvi, Arie Erman, Asher Korzets [...]

The Journal of Vascular Access

Retricted access

Research article

First published 2023-03

Comparison of Insulin Glargine 300 U/mL and Insulin Degludec 100 U/mL Around Spontaneous Exercise Sessions in Adults with Type 1 Diabetes: A Randomized Cross-Over Trial (ULTRAFLEXI-1 Study)

Othmar Moser, Alexander Müller, Felix Aberer [...]

Diabetes Technology & Therapeutics

Retricted access

Research article

First published 1969-9

Session 6: Vending Machines and Pillar Boxes: ‘G’ Type Stamp-Vending Machine

R. J. Bath, M. Taylor

Proceedings of the Institution of Mechanical Engineers,Conference Proceedings

Search results