JARD, CLAUDE: search on Z-Library

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

Don't use scam websites

1

Computing on-line the lattice of maximal antichains of posets

Guy-Vincent Jourdan, Jean-Xavier Rampon, Claude Jard

Journal:

Year:

1994

Language:

english

File:

PDF, 940 KB

english, 1994

2

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Year:

2006

Language:

english

File:

PDF, 466 KB

english, 2006

3

An event structure based semantics for high-level message sequence charts

HÉLOUËT, LOÏC, JARD, CLAUDE, CAILLAUD, BENOÎT

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 1.24 MB

english, 2002

4

[IEEE 2015 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Hyderabad, India (2015.5.25-2015.5.29)] 2015 IEEE International Parallel and Distributed Processing Symposium - Update Consistency for Wait-Free Concurrent Objects

Perrin, Matthieu, Mostefaoui, Achour, Jard, Claude

Year:

2015

Language:

english

File:

PDF, 231 KB

english, 2015

5

[ACM Press the 21st ACM SIGPLAN Symposium - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 - Causal consistency

Perrin, Matthieu, Mostefaoui, Achour, Jard, Claude

Year:

2016

Language:

english

File:

PDF, 334 KB

english, 2016

6

Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems

Mostéfaoui, Achour, Petrolia, Matoula, Raynal, Michel, Jard, Claude

Journal:

Theory of Computing Systems

Year:

2017

Language:

english

File:

PDF, 988 KB

english, 2017

7

[3H]-[Thr4,Gly7]OT: a highly selective ligand for central and peripheral OT receptors.

Elands, Jack, Barberis, Claude, Jard, Serge

Journal:

American Journal of Plant Physiology

Year:

1988

Language:

english

File:

PDF, 2.30 MB

english, 1988

8

Building a global clock for observing computations in distributed memory parallel computers

Jézéquel, Jean-Marc, Jard, Claude

Journal:

Concurrency Practice and Experience

Year:

1996

Language:

english

File:

PDF, 1.02 MB

english, 1996

9

Echidna, an estelle compiler to prototype protocols on distributed computers

Claude Jard, Jean-Marc Jezequel

Journal:

Concurrency and Computation: Practice and Experience

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

10

Synthèse d'une sonde biotinylée à bras clivable allongé pour l'isolement des récepteurs de l'angiotensine II

René Seyer, André Aumelas, Jacky Marie, Jean Claude Bonnafous, Serge Jard

Journal:

Helvetica Chimica Acta

Year:

1989

File:

PDF, 710 KB

1989

11

On-the-fly analysis of distributed computations

Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 750 KB

english, 1995

12

Protein purification using combined streptavidin (or avidin)-Sepharose and thiopropyl-Sepharose affinity chromatography

Franck Desarnaud, Jacky Marie, Renée Larguier, Colette Lombard, Serge Jard, Jean-Claude Bonnafous

Journal:

Journal of Chromatography A

Year:

1992

Language:

english

File:

PDF, 1.17 MB

english, 1992

13

An approach to testing specifications

Claude Jard, Gregor v. Bochmann

Journal:

Journal of Systems and Software

Year:

1983

Language:

english

File:

PDF, 983 KB

english, 1983

14

Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools

Roland Groz, Claude Jard, Claire Lassudrie

Journal:

Computer Networks and ISDN Systems

Year:

1985

Language:

english

File:

PDF, 1000 KB

english, 1985

15

Testing for unboundedness of fifo channels

Thierry Jéron, Claude Jard

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.57 MB

english, 1993

16

An experiment in automatic generation of test suites for protocols with verification technology

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 1.71 MB

english, 1997

17

Verification and test generation for the SSCOP protocol

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 283 KB

english, 2000

18

Synthesis of distributed testers from true-concurrency models of reactive systems

Journal:

Information and Software Technology

Year:

2003

Language:

english

File:

PDF, 343 KB

english, 2003

19

On-the-fly verification of finite transition systems

Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron

Journal:

Formal Methods in System Design

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

20

Protocol engineering using UML

Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoit Caillaud

Journal:

annals of telecommunications - annales des télécommunications

Year:

1999

Language:

english

File:

PDF, 1.12 MB

english, 1999

21

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 2.20 MB

english, 2005

22

Contributing Authors

Shigemasa Takai, Toshimitsu Ushio, Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 759 KB

english, 2005

23

Distributed Monitoring of Concurrent and Asynchronous Systems*

Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 796 KB

english, 2005

24

Autoradiographic localization of vasopressin and oxytocin binding sites in rat kidney

Tribollet, Eliane, Barberis, Claude, Dreifuss, Jean-Jacques, Jard, Serge

Journal:

Kidney International

Year:

1988

Language:

english

File:

PDF, 1.04 MB

english, 1988

25

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard

Journal:

Discrete Event Dynamic Systems

Year:

1998

Language:

english

File:

PDF, 512 KB

english, 1998

26

Synthesis of a biotinylated, iodinatable, and photoactivatable probe for angiotensin receptors

RENE SEYER, ANDRE AUMELAS, MARTINE TENCE, JACKY MARIE, JEAN-CLAUDE BONNAFOUS, SERGE JARD, BERTRAND CASTRO

Journal:

Chemical Biology & Drug Design

Year:

1989

Language:

english

File:

PDF, 967 KB

english, 1989

27

Vasopressin potentiates the noradrenaline-induced accumulation of cyclic AMP in the rat superior cervical ganglion

Pierre Petit, Claude Barberis, Serge Jard

Journal:

Year:

1988

Language:

english

File:

PDF, 455 KB

english, 1988

28

Localization and characterization of vasopressin binding sites in the rat brain using an iodinated linear AVP antagonist

Allan E. Johnson, Sylvie Audigier, Ferdinand Rossi, Serge Jard, Eliane Tribollet, Claude Barberis

Journal:

Year:

1993

Language:

english

File:

PDF, 2.58 MB

english, 1993

29

125I-labelled d(CH2)5[Tyr(Me)2,Thr4,Tyr-NH29]OVT: a selective oxytocin receptor ligand

Jack Elands, Claude Barberis, Serge Jard, Eliane Tribollet, Jean-Jacques Dreifuss, Krzysztof Bankowski, Maurice Manning, Wilbur H. Sawyer

Journal:

European Journal of Pharmacology

Year:

1988

Language:

english

File:

PDF, 1.37 MB

english, 1988

30

125I-d(CH2)5[Tyr(Me)2,Tyr(NH2)9]AVP: Iodination and binding characteristics of a vasopressin receptor ligand

Jack Elands, Claude Barberis, Serge Jard, Bernard Lammek, Maurice Manning, Wilbur H. Sawyer, E.Ronald de Kloet

Journal:

Year:

1988

Language:

english

File:

PDF, 431 KB

english, 1988

31

Two aromatic residues regulate the response of the human oxytocin receptor to the partial agonist arginine vasopressin

Bice Chini, Bernard Mouillac, Marie-Nöelle Balestre, Susanne Trumpp-Kallmeyer, Jan Hoflack, Marcel Hibert, Maria Andriolo, Sandrine Pupier, Serge Jard, Claude Barberis

Journal:

Year:

1996

Language:

english

File:

PDF, 761 KB

english, 1996

32

Vasoactive intestinal polypeptide increases inositol phospholipid breakdown in the rat superior cervical ganglion

Sylvie Audigier, Claude Barberis, Serge Jard

Journal:

Year:

1986

Language:

english

File:

PDF, 437 KB

english, 1986

33

Properties of a new radioiodinated antagonist for human vasopressin V2 and V1a receptors

Youssef Ala, Denis Morin, Eve Mahé, Nathalie Cotte, Bernard Mouillac, Serge Jard, Claude Barberis, Eliane Tribollet, Jean-Jacques Dreifuss, Wilbur H Sawyer, Nga Ching Wo, W.Y Chan, Aleksandra S Kolodz

Journal:

European Journal of Pharmacology

Year:

1997

Language:

english

File:

PDF, 396 KB

english, 1997

34

Pharmacology of Oxytocin and Vasopressin Receptors in the Central and Peripheral Nervous System

CLAUDE BARBERIS, SYLVIE AUDIGIER, THIERRY DURROUX, JACK ELANDS, ANNE SCHMIDT, SERGE JARD

Journal:

Annals of the New York Academy of Sciences

Year:

1992

Language:

english

File:

PDF, 394 KB

english, 1992

35

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations

Kattepur, Ajay, Benveniste, Albert, Jard, Claude

Year:

2012

Language:

english

File:

PDF, 351 KB

english, 2012

36

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 5215 || Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Cassez, Franck, Jard, Claude

Year:

2008

Language:

english

File:

PDF, 460 KB

english, 2008

37

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 5215 || Formal Modeling and Scheduling of Datapaths of Digital Document Printers

Cassez, Franck, Jard, Claude

Year:

2008

Language:

english

File:

PDF, 934 KB

english, 2008

38

Distributed implementation of message sequence charts

Abdallah, Rouwaida, Hélouët, Loïc, Jard, Claude

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

39

QoS-aware management of monotonic service orchestrations

Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.45 MB

english, 2014

40

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 || Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 124 KB

english, 2001

41

Symbolic unfolding of parametric stopwatch Petri nets

Jard, Claude, Lime, Didier, Roux, Olivier H., Traonouez, Louis-Marie

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 942 KB

english, 2013

42

Vasoactive intestinal polypeptide and carbachol act synergistically to induce the hydrolysis of inositol containing phospholipids in the rat superior cervical ganglion

Durroux, Thierry, Barberis, Claude, Jard, Serge

Journal:

Neuroscience Letters

Year:

1987

Language:

english

File:

PDF, 246 KB

english, 1987

43

Application of branching cells to QoS aware service orchestrations

Benveniste, Albert, Jard, Claude, Abbes, Samy

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 646 KB

english, 2014

44

Foreword in honor of Glynn Winskel

Benveniste, Albert, Jard, Claude, Abbes, Samy

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 174 KB

english, 2014

45

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations

Rosario, Sidney, Benveniste, Albert, Jard, Claude

Year:

2009

Language:

english

File:

PDF, 236 KB

english, 2009

46

[IEEE 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM) - New York, NY, USA (2009.06.1-2009.06.5)] 2009 IFIP/IEEE International Symposium on Integrated Network Management - Monitoring probabilistic SLAs in Web service orchestrations

Rosario, Sidney, Benveniste, Albert, Jard, Claude

Year:

2009

Language:

english

File:

PDF, 250 KB

english, 2009

47

Affinity chromatography purification of angiotensin II receptor using photoactivable biotinylated probes

Marie, Jacky, Seyer, Rene, Lombard, Colette, Desarnaud, Franck, Aumelas, Andre, Jard, Serge, Bonnafous, Jean Claude

Journal:

Year:

1990

Language:

english

File:

PDF, 1.75 MB

english, 1990

48

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - An Experiment in Automatic Generation of Protocols from HMSCs

Abdallah, Rouwaida, Jard, Claude

Year:

2011

Language:

english

File:

PDF, 385 KB

english, 2011

49

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 || Formal Methods in Practice: The Missing Links. A Perspective from the Security Area

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 143 KB

english, 2001

50

An Educational Case Study in Protocol Verification and Distributed Observation

Jard, Claude, Jèron, Thierry

Journal:

Computer Science Education

Year:

2000

Language:

english

File:

PDF, 237 KB

english, 2000