BARTHE, GILLES: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Foundations of Probabilistic Programming || The Logical Essentials of Bayesian Reasoning

Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

Year:

2020

File:

PDF, 537 KB

2020

2

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || An Introduction to Dependent Type Theory

Barthe, Gilles, Dybjer, Peter, Pinto, Luís, Saraiva, João

Year:

2002

Language:

english

File:

PDF, 369 KB

english, 2002

3

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design V Volume 5705 || Federated Identity Management

Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Year:

2009

Language:

english

File:

PDF, 599 KB

english, 2009

4

A relational logic for higher-order programs

AGUIRRE, ALEJANDRO, BARTHE, GILLES, GABOARDI, MARCO, GARG, DEEPAK, STRUB, PIERRE-YVES

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 3.45 MB

english, 2019

5

CPS Translations and Applications: The Cube and Beyond

Gilles Barthe, John Hatcliff, Morten Heine B. Sørensen

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 284 KB

english, 1999

6

[IEEE 2009 30th IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2009.05.17-2009.05.20)] 2009 30th IEEE Symposium on Security and Privacy - Formally Certifying the Security of Digital Signature Schemes

Zanella-Béguelin, Santiago, Barthe, Gilles, Grégoire, Benjamin, Olmedo, Federico

Year:

2009

Language:

english

File:

PDF, 346 KB

english, 2009

7

A computational view of implicit coercions in type theory

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 443 KB

english, 2005

8

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Gawlitza, Thomas, Monniaux, David, Barthe, Gilles

Journal:

Logical Methods in Computer Science

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

9

[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 7159 || Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches

Barthe, Gilles, Livshits, Benjamin, Scandariato, Riccardo

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

10

An Abstract Model of Certificate Translation

Barthe, Gilles, Kunz, César

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 937 KB

english, 2011

11

Product programs and relational program logics

Barthe, Gilles, Crespo, Juan Manuel, Kunz, César

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 728 KB

english, 2016

12

A relational logic for higher-order programs

Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-Yves

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 391 KB

english, 2017

13

Proving expected sensitivity of probabilistic programs

Barthe, Gilles, Espitau, Thomas, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 423 KB

english, 2017

14

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - Symbolic Proofs for Lattice-Based Cryptography

Barthe, Gilles, Fan, Xiong, Gancher, Joshua, Grégoire, Benjamin, Jacomme, Charlie, Shi, Elaine

Year:

2018

Language:

english

File:

PDF, 1.98 MB

english, 2018

15

Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations

Barthe, Gilles, Belaïd, Sonia, Dupressoir, François, Fouque, Pierre-Alain, Grégoire, Benjamin, Standaert, François-Xavier, Strub, Pierre-Yves

Journal:

Journal of Cryptographic Engineering

Year:

2019

Language:

english

File:

PDF, 470 KB

english, 2019

16

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - FaCT: a DSL for timing-sensitive computation

Cauligi, Sunjay, Stefan, Deian, Soeller, Gary, Johannesmeyer, Brian, Brown, Fraser, Wahby, Riad S., Renner, John, Grégoire, Benjamin, Barthe, Gilles, Jhala, Ranjit

Year:

2019

Language:

english

File:

PDF, 375 KB

english, 2019

17

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Bidirectional type checking for relational properties

Çiçek, Ezgi, Qu, Weihao, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak

Year:

2019

Language:

english

File:

PDF, 1000 KB

english, 2019

18

Acoustic, magnetic and seismic investigation of the sea floor off the uraniferous district of Piriac, France

Yves Cottaz, Veronique Barthes, Serge Berne, Philippe Crochon, Gilles Lericolais, Francis Robach

Journal:

Year:

1989

Language:

english

File:

PDF, 3.31 MB

english, 1989

19

Security types preserving compilation

Gilles Barthe, Tamara Rezk, Amitabh Basu

Journal:

Computer Languages, Systems & Structures

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

20

Preventing Timing Leaks Through Transactional Branching Instructions

Gilles Barthe, Tamara Rezk, Martijn Warnier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 379 KB

english, 2006

21

An induction principle for pure type systems

Gilles Barthe, John Hatcliff, Morten Heine B. Sørensen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 272 KB

english, 2001

22

Weak normalization implies strong normalization in a class of non-dependent pure type systems

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 297 KB

english, 2001

23

A Notion of Classical Pure Type System (Preliminary version)

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.18 MB

english, 1997

24

Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)

Gilles Barthe, John Hatcliff, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.30 MB

english, 1998

25

Preface: Volume 75

Gilles Barthe, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 46 KB

english, 2003

26

Proteomic profiling of oil bodies isolated from the unicellular green microalga Chlamydomonas reinhardtii: With focus on proteins involved in lipid metabolism

Hoa M. Nguyen, Mathieu Baudet, Stéphan Cuiné, Jean-Marc Adriano, Damien Barthe, Emmanuelle Billon, Christophe Bruley, Fred Beisson, Gilles Peltier, Myriam Ferro, Yonghua Li-Beisson

Journal:

Year:

2011

Language:

english

File:

PDF, 217 KB

english, 2011

27

Tool-Assisted Specification and Verification of Typed Low-Level Languages

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 503 KB

english, 2005

28

Conception d'un peptide amphiphile en « faisceaux d'hélices »

Philippe Barthe, Martin Cohen-Gonsaud, Gudrun Aldrian-Herrada, Alain Chavanieu, Gilles Labesse, Christian Roumestand

Journal:

Comptes Rendus Chimie

Year:

2004

Language:

french

File:

PDF, 459 KB

french, 2004

29

Order-Sorted Inductive Types

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 252 KB

english, 1999

30

Migration intra-duodénale d’un greffon mésentérico-cave

Gilles Poncet, Jérôme Dumortier, Adelino Pereira, Olivier Dumont, Pascale Fouque, Luc Henry, Jean-Yves Scoazec, Xavier Barth

Journal:

Gastroentérologie Clinique et Biologique

Year:

2005

Language:

french

File:

PDF, 109 KB

french, 2005

31

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || Monads and Effects

Barthe, Gilles, Dybjer, Peter, Pinto, Luís, Saraiva, João

Year:

2002

Language:

english

File:

PDF, 608 KB

english, 2002

32

Kinetic and pharmacological characterization of vasopressin membrane receptors from human kidney medulla: Relation to adenylate cyclase activation

Gilles Guillon, Daniel Butlen, Bernard Cantau, Tomislav Barth, Serge Jard

Journal:

European Journal of Pharmacology

Year:

1982

Language:

english

File:

PDF, 958 KB

english, 1982

33

Description and first results of an explicit electrical scheme in a 3D cloud resolving model

Christelle Barthe, Gilles Molinié, Jean-Pierre Pinty

Journal:

Atmospheric Research

Year:

2005

Language:

english

File:

PDF, 610 KB

english, 2005

34

Cleaved surfaces of d-AlNiCo and ξ′-AlPdMn

C Cecco, C Barth, P Gille, M Feuerbacher, G Krausch, M Reichling

Journal:

Journal of Non-Crystalline Solids

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

35

Novel molecular diagnostic approaches for X-linked centronuclear (myotubular) myopathy reveal intronic mutations

Valérie Tosch, Nasim Vasli, Christine Kretz, Anne-Sophie Nicot, Claire Gasnier, Nicolas Dondaine, Denis Oriot, Magalie Barth, Hugues Puissant, Norma B. Romero, Carsten G. Bönnemann, Betty Heller, Gill

Journal:

Neuromuscular Disorders

Year:

2010

Language:

english

File:

PDF, 460 KB

english, 2010

36

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Year:

2011

Language:

english

File:

PDF, 383 KB

english, 2011

37

Downhole magnetostratigraphy in sediments: Comparison with the paleomagnetism of a core.

Pozzi, Jean Pierre, Barthès, Véronique, Thibal, Jérôme, Pocachard, Jacques, Lim, Mutaek, Thomas, Thierry, Pages, Gilles

Journal:

Journal of Geophysical Research

Year:

1993

Language:

english

File:

PDF, 1.23 MB

english, 1993

38

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5944 || Model-Checking In-Lined Reference Monitors

Barthe, Gilles, Hermenegildo, Manuel

Year:

2010

Language:

english

File:

PDF, 360 KB

english, 2010

39

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 || Privacy-Friendly Energy-Metering via Homomorphic Encryption

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 250 KB

english, 2011

40

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design V Volume 5705 || Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks

Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Year:

2009

Language:

english

File:

PDF, 753 KB

english, 2009

41

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 6602 ||

Year:

2011

Language:

english

File:

PDF, 6.25 MB

english, 2011

42

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Year:

2011

Language:

english

File:

PDF, 271 KB

english, 2011

43

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design V Volume 5705 || The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Year:

2009

Language:

english

File:

PDF, 631 KB

english, 2009

44

SEFM: software engineering and formal methods

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 109 KB

english, 2015

45

STM and XPS investigation of the oxidation of the Al4(Cr,Fe) quasicrystal approximant

Parle, J.K., Beni, A., Dhanak, V.R., Smerdon, J.A., Schmutz, P., Wardé, M., Barthés-Labrousse, M.-G., Bauer, B., Gille, P., Sharma, H.R., McGrath, R.

Journal:

Applied Surface Science

Year:

2013

Language:

english

File:

PDF, 2.39 MB

english, 2013

46

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 || An Authentication Trust Metric for Federated Identity Management Systems

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 310 KB

english, 2011

47

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 ||

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 5.20 MB

english, 2011

48

Italian ryegrass establishment by self-seeding in integrated crop–livestock systems: Effects of grazing management and crop rotation strategies

Barth Neto, Armindo, Savian, Jean Victor, Tres Schons, Radael Marinho, Bonnet, Olivier Jean François, Canto, Marcos Weber do, Moraes, Aníbal de, Lemaire, Gilles, de Faccio Carvalho, Paulo César

Journal:

European Journal of Agronomy

Year:

2014

Language:

english

File:

PDF, 898 KB

english, 2014

49

Synthesis and preliminary evaluation of a new fluorine-18 labelled triazine derivative for PET imaging of cannabinoid CB2 receptor

Hortala, Laurent, Arnaud, Joëlle, Roux, Pascale, Oustric, Didier, Boulu, Laurent, Oury-Donat, Florence, Avenet, Patrick, Rooney, Thomas, Alagille, David, Barret, Olivier, Tamagnan, Gilles, Barth, Fran

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2014

Language:

english

File:

PDF, 692 KB

english, 2014

50

Italian ryegrass establishment by self-seeding in integrated crop-livestock systems: Effects of grazing management and crop rotation strategies

Barth Neto, Armindo, Savian, Jean Victor, Schons, Radael Marinho Tres, Bonnet, Olivier Jean François, Canto, Marcos Weber do, Moraes, Aníbal de, Lemaire, Gilles, Carvalho, Paulo César de Faccio

Journal:

European Journal of Agronomy

Year:

2014

Language:

english

File:

PDF, 653 KB

english, 2014