Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-8

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Marek A. Bednarczyk, Wojciech Jamroga, Wiesław Pawłowski

Fundamenta Informaticae

Open access

Research article

First published 2017-4

Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO

Shengxin Dai, Mei Hong, Bing Guo

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2022-11

Model Adequacy Checking/Goodness-of-fit Testing for Behavior in Joint Dynamic Network/Behavior Models,with an Extension to Two-mode Networks

Cheng Wang, Carter T. Butts, John Hipp [...]

Sociological Methods & Research

Retricted access

Research article

First published 2008-1-1

A logical framework for history-based access control and reputation systems

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

Journal of Computer Security

Retricted access

Research article

First published 2017-8

Model validation and selection for personalized medicine using dynamic-weighted ordinary least squares

Michael P Wallace, Erica EM Moodie, David A Stephens

Statistical Methods in Medical Research

Retricted access

Research article

First published 2018

A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games

Chanjuan Liu, Fenrong Liu, Kaile Su

Fundamenta Informaticae

Retricted access

Research article

First published 2010-7

Model Checking Optimisation Based Congestion Control Algorithms

Alessio Lomuscio, Ben Strulo, Nigel G. Walker [...]

Fundamenta Informaticae

Open access

Research article

First published 2020-5

Design and model checking of timed automata oriented architecture for Internet of thing

Guang Chen, Tonghai Jiang, Meng Wang [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2010-5

On the structural parameters of magnetorheological damper

Longlei Dong, Guirong Yan, Yanting Du

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2020

Combining Static and Dynamic Contract Checking for Curry

Michael Hanus

Fundamenta Informaticae

Search results