Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-3-22

Symbolic bisimulation for the applied pi calculus *

Stéphanie Delaune, Steve Kremer, Mark D. Ryan

Journal of Computer Security

Retricted access

Research article

First published 2020-2

Formalization of fractional calculus and fractional order PI controller

Chunna Zhao, Murong Jiang, Yaqun Huan [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2018-4-9

Automated reasoning for equivalences in the applied pi calculus with barriers

Bruno Blanchet, Ben Smyth

Journal of Computer Security

Retricted access

Research article

First published 2021-1

IWSN: A novel method for modeling the interaction of web services

Li Bao, Jianxiong Wan, Le Hao

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2009-7-2

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan

Journal of Computer Security

Retricted access

Research article

First published 2014-4-23

Discovering concrete attacks on website authorization by formal analysis 1

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud [...]

Journal of Computer Security

Retricted access

Research article

First published 2013-2-12

Attacking and fixing Helios: An analysis of ballot secrecy

Véronique Cortier, Ben Smyth

Journal of Computer Security

Retricted access

Research article

First published 2008-8

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi

Multiagent and Grid Systems

Retricted access

Research article

First published 2018-2

Double-loop PI controller design of the DC-DC boost converter with a proposed approach for calculation of the controller parameters

Ayhan Özdemir, Zekiye Erdem

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2013-1

A Petri Net Interpretation of Open Reconfigurable Systems

Frédéric Peschanski, Hanna Klaudel, Raymond Devillers

Fundamenta Informaticae

Search results