BARTHE, GILLES: search on Z-Library

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

Don't use scam websites

51

805-2 Faster but not more Complete Thrombolysis with Tissue Plasminogen Activator than with Streptokinase in Massive Pulmonary Embolism

Meneveau, Nicolas, Schiele, François, Barthès, François, Vuillemenot, Alain, Anguenot, Thierry, Valette, Benoit, Grollier, Gilles, Bernard, Yvette, Bassand, Jean-Pierre

Journal:

Journal of the American College of Cardiology

Year:

1995

Language:

english

File:

PDF, 147 KB

english, 1995

52

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || The Join Calculus: A Language for Distributed Mobile Programming

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

Year:

2002

Language:

english

File:

PDF, 534 KB

english, 2002

53

High temperature oxidation of AlCrFe complex metallic alloys

Prud’homme, N., Ribot, P., Herinx, M., Gille, P., Bauer, B., de Weerd, M.-C., Barthés-Labrousse, M.-G.

Journal:

Corrosion Science

Year:

2014

Language:

english

File:

PDF, 3.89 MB

english, 2014

54

Probabilistic Relational Reasoning for Differential Privacy

Barthe, Gilles, Köpf, Boris, Olmedo, Federico, Zanella-Béguelin, Santiago

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2013

Language:

english

File:

PDF, 469 KB

english, 2013

55

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - Information-Theoretic Bounds for Differentially Private Mechanisms

Barthe, Gilles, Kopf, Boris

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

56

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Tractable Enforcement of Declassification Policies

Barthe, Gilles, Cavadini, Salvador, Rezk, Tamara

Year:

2008

Language:

english

File:

PDF, 547 KB

english, 2008

57

A new infrared spectroscopy technique for structural studies of mass-selected neutral polar complexes without chromophore

Lucas, Bruno, Lecomte, Fr�d�ric, Reimann, Bernd, Barth, Hans-Dieter, Gr�goire, Gilles, Bouteiller, Yves, Schermann, Jean-Pierre, Desfran�ois, Charles

Journal:

Physical Chemistry Chemical Physics

Year:

2004

Language:

english

File:

PDF, 137 KB

english, 2004

58

[IEEE 2002 IEEE International Reliability Physics Symposium Proceedings. 40th Annual - Dallas, TX, USA (7-11 April 2002)] 2002 IEEE International Reliability Physics Symposium. Proceedings. 40th Annual (Cat. No.02CH37320) - Investigation of via-dominated multi-modal electromigration failure distributions in dual damascene Cu interconnects with a discussion of the statistical implications

Gill, J., Sullivan, T., Yankee, S., Barth, H., von Glasow, A.

Year:

2002

Language:

english

File:

PDF, 577 KB

english, 2002

59

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Robustness Guarantees for Anonymity

Barthe, Gilles, Hevia, Alejandro, Luo, Zhengqin, Rezk, Tamara, Warinschi, Bogdan

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

60

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Verified Computational Differential Privacy with Applications to Smart Metering

Barthe, Gilles, Danezis, George, Gregoire, Benjamin, Kunz, Cesar, Zanella-Beguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 426 KB

english, 2013

61

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - A Machine-Checked Formalization of Sigma-Protocols

Barthe, Gilles, Hedin, Daniel, Béguelin, Santiago Zanella, Grégoire, Benjamin, Heraud, Sylvain

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

62

Challenging material patterning: Fine lithography on coarse substrates

Gilles, Sandra, Steppert, Ann-Kathrin, Schaal, Patrick A., Barth, Martin, Niewoehner, Ludwig, Simon, Ulrich

Journal:

Year:

2014

Language:

english

File:

PDF, 382 KB

english, 2014

63

Recurrent inactivating mutations of ARID2 in non-small cell lung carcinoma

Manceau, Gilles, Letouzé, Eric, Guichard, Cécile, Didelot, Audrey, Cazes, Aurelie, Corté, Hélène, Fabre, Elizabeth, Pallier, Karine, Imbeaud, Sandrine, Le Pimpec-Barthes, Françoise, Zucman-Rossi, Jess

Journal:

International Journal of Cancer

Year:

2013

Language:

english

File:

PDF, 357 KB

english, 2013

64

[IEEE 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2011) - Cancun, Mexico (2011.11.30-2011.12.2)] 2011 International Conference on Reconfigurable Computing and FPGAs - Open-Scale: A Scalable, Open-Source NOC-based MPSoC for Design Space Exploration

Busseuil, Remi, Barthe, Lyonel, Almeida, Gabriel Marchesan, Ost, Luciano, Bruguier, Florent, Sassatelli, Gilles, Benoit, Pascal, Robert, Michel, Torres, Lionel

Year:

2011

Language:

english

File:

PDF, 679 KB

english, 2011

65

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Preservation of Proof Pbligations for Hybrid Verification Methods

Barthe, Gilles, Kunz, César, Pichardie, David, Samborski-Forlese, Julián

Year:

2008

Language:

english

File:

PDF, 467 KB

english, 2008

66

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 5051 || Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers

Barthe, Gilles, de Boer, Frank S.

Year:

2008

Language:

english

File:

PDF, 342 KB

english, 2008

67

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Proving Differential Privacy in Hoare Logic

Barthe, Gilles, Gaboardi, Marco, Gallego Arias, Emilio Jesus, Hsu, Justin, Kunz, Cesar, Strub, Pierre-Yves

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

68

Development of a Multiple-Locus Variable-Number Tandem-Repeat Typing Scheme for Genetic Fingerprinting of Burkholderia cenocepacia and Application to Nationwide Epidemiological Analysis

Segonds, Christine, Thouverez, Michelle, Barthe, Antoine, Bossuet-Greif, Nadège, Tisseyre, Lenka, Plésiat, Patrick, Vergnaud, Gilles, Chabanon, Gérard, Pourcel, Christine, Gilligan, P. H.

Journal:

Journal of Clinical Microbiology

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

69

[Lecture Notes in Computer Science] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Volume 3362 || Mastering Test Generation from Smart Card Software Formal Models

Barthe, Gilles, Burdy, Lilian, Huisman, Marieke, Lanet, Jean-Louis, Muntean, Traian

Year:

2005

Language:

english

File:

PDF, 846 KB

english, 2005

70

Remarks on the equational theory of non-normalizing pure type systems

BARTHE, GILLES, COQUAND, THIERRY

Journal:

Journal of Functional Programming

Year:

2003

Language:

english

File:

PDF, 314 KB

english, 2003

71

Secure information flow by self-composition

BARTHE, GILLES, D'ARGENIO, PEDRO R., REZK, TAMARA

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 591 KB

english, 2011

72

A certified lightweight non-interference Java bytecode verifier

BARTHE, GILLES, PICHARDIE, DAVID, REZK, TAMARA

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 1.30 MB

english, 2013

73

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 4912 ||

Barthe, Gilles, Fournet, Cédric

Year:

2008

Language:

english

File:

PDF, 7.25 MB

english, 2008

74

Arthroscopic Posterior Bone Graft for Posterior Instability

Barth, Johannes, Grosclaude, Sophie, Lädermann, Alexandre, Denard, Patrick J., Graveleau, Nicolas, Walch, Gilles

Journal:

Techniques in Shoulder & Elbow Surgery

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

75

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Distributed Implementation of Systems with Multiparty Interactions and Priorities

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Year:

2011

Language:

english

File:

PDF, 356 KB

english, 2011

76

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Year:

2011

Language:

english

File:

PDF, 460 KB

english, 2011

77

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 5051 || Modeling and Model Checking Software Product Lines

Barthe, Gilles, de Boer, Frank S.

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

78

Security of multithreaded programs by compilation

Barthe, Gilles, Rezk, Tamara, Russo, Alejandro, Sabelfeld, Andrei

Journal:

ACM Transactions on Information and System Security

Year:

2010

Language:

english

File:

PDF, 475 KB

english, 2010

79

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Computational indistinguishability logic

Barthe, Gilles, Daubignard, Marion, Kapron, Bruce, Lakhnech, Yassine

Year:

2010

Language:

english

File:

PDF, 641 KB

english, 2010

80

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Hybrid Specification of Reactive Systems: An Institutional Approach

Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo

Year:

2011

Language:

english

File:

PDF, 617 KB

english, 2011

81

Formal Verification of an SSA-Based Middle-End for CompCert

Barthe, Gilles, Demange, Delphine, Pichardie, David

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 1.28 MB

english, 2014

82

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Verified security of redundancy-free encryption from Rabin and RSA

Barthe, Gilles, Pointcheval, David, Zanella Béguelin, Santiago

Year:

2012

Language:

english

File:

PDF, 509 KB

english, 2012

83

[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 - Formally verifying information flow type systems for concurrent and thread systems

Barthe, Gilles, Nieto, Leonor Prensa

Year:

2004

Language:

english

File:

PDF, 201 KB

english, 2004

84

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Formal certification of code-based cryptographic proofs

Barthe, Gilles, Grégoire, Benjamin, Zanella Béguelin, Santiago

Year:

2008

Language:

english

File:

PDF, 357 KB

english, 2008

85

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Certified computer-aided cryptography

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François

Year:

2013

Language:

english

File:

PDF, 817 KB

english, 2013

86

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - From relational verification to SIMD loop synthesis

Barthe, Gilles, Crespo, Juan Manuel, Kunz, Cesar, Gulwani, Sumit, Marron, Mark

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

87

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Probabilistic relational verification for cryptographic implementations

Barthe, Gilles, Fournet, Cédric, Grégoire, Benjamin, Strub, Pierre-Yves, Swamy, Nikhil, Zanella-Béguelin, Santiago

Year:

2014

Language:

english

File:

PDF, 719 KB

english, 2014

88

Certificate translation for optimizing compilers

Barthe, Gilles, Grégoire, Benjamin, Kunz, César, Rezk, Tamara

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 909 KB

english, 2009

89

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Probabilistic relational reasoning for differential privacy

Barthe, Gilles, Köpf, Boris, Olmedo, Federico, Zanella Béguelin, Santiago

Year:

2012

Language:

english

File:

PDF, 552 KB

english, 2012

90

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Full proof cryptography

Bacelar Almeida, José, Barbosa, Manuel, Bangerter, Endre, Barthe, Gilles, Krenn, Stephan, Zanella Béguelin, Santiago

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

91

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - System-level Non-interference for Constant-time Cryptography

Barthe, Gilles, Betarte, Gustavo, Campo, Juan, Luna, Carlos, Pichardie, David

Year:

2014

Language:

english

File:

PDF, 921 KB

english, 2014

92

[ACM Press the 2005 ACM SIGPLAN international workshop - Long Beach, California, USA (2005.01.10-2005.01.10)] Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05 - Non-interference for a JVM-like language

Barthe, Gilles, Rezk, Tamara

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

93

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Fully automated analysis of padding-based encryption in the computational model

Barthe, Gilles, Crespo, Juan Manuel, Grégoire, Benjamin, Kunz, César, Lakhnech, Yassine, Schmidt, Benedikt, Zanella-Béguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

94

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - Synthesis of Fault Attacks on Cryptographic Implementations

Barthe, Gilles, Dupressoir, François, Fouque, Pierre-Alain, Grégoire, Benjamin, Zapalowicz, Jean-Christophe

Year:

2014

Language:

english

File:

PDF, 920 KB

english, 2014

95

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Barthe, Gilles, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

96

[ACM Press the 7th workshop - Brussels, Belgium (2008.04.01-2008.04.01)] Proceedings of the 7th workshop on Foundations of aspect-oriented languages - FOAL '08 - Certificate translation for specification-preserving advices

Barthe, Gilles, Kunz, César

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

97

High-Assurance Cryptography: Cryptographic Software We Can Trust

Journal:

IEEE Security & Privacy Magazine

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

98

Adsorption of O2 and C2Hn (n=2, 4, 6) on the Al9Co2(001) and o-Al13Co4(100) complex metallic alloy surfaces

Wardé, M., Herinx, M., Ledieu, J., Serkovic Loli, L.N., Fournée, V., Gille, P., Le Moal, S., Barthés-Labrousse, M.-G.

Journal:

Applied Surface Science

Year:

2015

Language:

english

File:

PDF, 2.13 MB

english, 2015

99

[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - Automated Proofs of Pairing-Based Cryptography

Barthe, Gilles, Grégoire, Benjamin, Schmidt, Benedikt

Year:

2015

Language:

english

File:

PDF, 738 KB

english, 2015

100

L'ABRI DU MARAS (SAINT-MARTIN-D'ARDÈCHE)

J.-L. Baudet, Dr Barthès, J. Bouchud, P. Gilles, P. Grenier and J. Nicolas

Journal:

Revue archéologique

Year:

1955

Language:

french

File:

PDF, 1.66 MB

french, 1955