V. JOUANNAUD: search on Z-Library

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

Don't use scam websites

51

[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 201 || Data flow graph optimization in if1

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 950 KB

english, 1985

52

Évolution de la fonction rénale sous-antiangiogéniques. Résultats de l’étude MARS

Janus, N., Ray-Coquard, I., Daniels, C., Gligorov, J., Goldwasser, F., Spano, J.P., Jouannaud, C., Morère, J.F., Scotté, F., Deray, G., Launay-Vacher, V.

Journal:

Néphrologie & Thérapeutique

Year:

2013

Language:

french

File:

PDF, 61 KB

french, 2013

53

P455 BACTERIAL ENDOCARDITIS IN PATIENTS WITH CIRRHOSIS: A MULTICENTER RETROSPECTIVE STUDY OF 78 CASES

Cadranel, J.-F.D., Allaire, M., Blasco-Perrin, H., Thevenot, T., Chagneau-Derrode, C., Pariente, E.-A., Garioud, A., Lison, H., Causse, X., Adhoute, X., Nousbaum, J.B., Rosa-Hezode, I., Jouannaud, V.,

Journal:

Journal of Hepatology

Year:

2014

Language:

english

File:

PDF, 81 KB

english, 2014

54

Natural History of Intraductal Papillary Mucinous Tumors of the Pancreas: Actuarial Risk of Malignancy

LEVY, P, JOUANNAUD, V, OTOOLE, D, COUVELARD, A, VULLIERME, M, PALAZZO, L, AUBERT, A, PONSOT, P, SAUVANET, A, MAIRE, F

Journal:

Clinical Gastroenterology and Hepatology

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

55

Prise en charge d’un hydrothorax hépatique

Cadranel, J.-F., Jouannaud, V., Duron, J.-J.

Journal:

Revue des Maladies Respiratoires

Year:

2004

Language:

french

File:

PDF, 249 KB

french, 2004

56

Multicentric neoadjuvant phase II study of panitumumab combined with an anthracycline/taxane-based chemotherapy in operable triple-negative breast cancer: identification of biologically defined signatures predicting treatment impact

Nabholtz, J. M., Abrial, C., Mouret-Reynier, M. A., Dauplat, M. M., Weber, B., Gligorov, J., Forest, A. M., Tredan, O., Vanlemmens, L., Petit, T., Guiu, S., Van Praagh, I., Jouannaud, C., Dubray-Longe

Journal:

Annals of Oncology

Year:

2014

Language:

english

File:

PDF, 218 KB

english, 2014

57

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || NARROWER: a new algorithm for unification and its application to Logic Programming

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 816 KB

english, 1985

58

[Lecture Notes in Computer Science] TAPSOFT'93: Theory and Practice of Software Development Volume 668 || La Vraie Forme d'un Arbre

Gaudel, M. -C., Jouannaud, J. -P.

Year:

1993

File:

PDF, 567 KB

1993

59

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Unification in free extensions of Boolean rings and Abelian groups

Boudet, A., Jouannaud, J.-P., Schmidt-Schauss, M.

Year:

1988

File:

PDF, 639 KB

1988

60

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Automata-driven automated induction

Bouhoula, A., Jouannaud, J.-P.

Year:

1997

Language:

english

File:

PDF, 1.09 MB

english, 1997

61

[IEEE 2009 IEEE International Workshop on Open-source Software for Scientific Computation (OSSC) - Guiyang, China (2009.09.18-2009.09.20)] 2009 IEEE International Workshop on Open-source Software for Scientific Computation (OSSC) - Open source software for certifying programs: Why, which and how?

Jouannaud, Jean-Pierre

Year:

2009

Language:

english

File:

PDF, 160 KB

english, 2009

62

[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - The higher-order recursive path ordering

Jouannaud, J.-P., Rubio, A.

Year:

1999

Language:

english

File:

PDF, 183 KB

english, 1999

63

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory

Barras, Bruno, Jouannaud, Jean-Pierre, Strub, Pierre-Yves, Wang, Qian

Year:

2011

Language:

english

File:

PDF, 422 KB

english, 2011

64

[Lecture Notes in Computer Science] Conditional Term Rewriting Systems Volume 308 || A logic for conditional term rewriting systems

Kaplan, S., Jouannaud, J. -P.

Year:

1988

Language:

english

File:

PDF, 792 KB

english, 1988

65

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Fairness in term rewriting systems

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 690 KB

english, 1985

66

[Lecture Notes in Computer Science] Conditional Term Rewriting Systems Volume 308 || On word problems in Horn theories

Kaplan, S., Jouannaud, J. -P.

Year:

1988

Language:

english

File:

PDF, 799 KB

english, 1988

67

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || A procedure for automatically proving the termination of a set of rewrite rules

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 821 KB

english, 1985

68

Portal Vein Thrombosis in a Patient With Quiescent Crohn's Disease Associated With Hyperhomocysteinemia and Antiphospholipid Antibody Syndrome 1-Yr After an Ileocecal Resection

Racine, Antoine, Nahon, Stéphane, Jouannaud, Vincent, Caugant, Huguette, Lesgourgues, Bruno

Journal:

American Journal of Gastroenterology

Year:

2008

Language:

english

File:

PDF, 362 KB

english, 2008

69

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Petrireve: Proving Petri net properties with rewriting systems

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 874 KB

english, 1985

70

[Lecture Notes in Computer Science] TAPSOFT'93: Theory and Practice of Software Development Volume 668 || Feature automata and recognizable sets of feature trees

Gaudel, M. -C., Jouannaud, J. -P.

Year:

1993

Language:

english

File:

PDF, 1003 KB

english, 1993

71

Tissue Doppler imaging and conventional echocardiography after anthracycline treatment in adults: Early and late alterations of left ventricular function during a prospective study

TASSANMANGINA, S, CODOREAN, D, METIVIER, M, COSTA, B, HIMBERLIN, C, JOUANNAUD, C, BLAISE, A, ELAERTS, J, NAZEYROLLAS, P

Journal:

European Journal of Echocardiography

Year:

2006

Language:

english

File:

PDF, 204 KB

english, 2006

72

Review: Term Rewriting Systems * Terese: Term Rewriting Systems

Jouannaud, J.-P.

Journal:

The Computer Journal

Year:

2004

Language:

english

File:

PDF, 18 KB

english, 2004

73

Polymorphic higher-order recursive path orderings

Jouannaud, Jean-Pierre, Rubio, Albert

Journal:

Journal of the ACM

Year:

2007

Language:

english

File:

PDF, 372 KB

english, 2007

74

P1266 : Human albumin use in cirrhotic patients in France: Results of the national “Albu-live” survey

Garioud, A., Cadranel, J.-F., Pauwels, A., Thévenot, T., Louvet, A., Dao, T., Sogni, P., Talbodec, N., Bureau, C., Thabut, D., Elkrief, L., Jouannaud, V., Macaigne, G., Bernard-Chabert, B., Lison, H.,

Journal:

Journal of Hepatology

Year:

2015

Language:

english

File:

PDF, 45 KB

english, 2015

75

Normal Higher-Order Termination

Jouannaud, Jean-Pierre, Rubio, Albert

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 598 KB

english, 2015

76

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Principles of OBJ2

Futatsugi, Kokichi, Goguen, Joseph A., Jouannaud, Jean-Pierre, Meseguer, José

Year:

1985

Language:

english

File:

PDF, 1.50 MB

english, 1985

77

Tolérance rénovasculaire du bévacizumab dans le cancer du sein. Valeur pronostique de l’hypertension et de la protéinurie

Launay-Vacher, Vincent, Janus, Nicolas, Beuzeboc, Philippe, Daniel, Catherine, Ray-Coquard, Isabelle, Selle, Frédéric, Rey, Jean-Baptiste, Jouannaud, Christelle, Spano, Jean-Philippe, Thery, Jean-Chri

Journal:

Bulletin du Cancer

Year:

2015

Language:

french

File:

PDF, 939 KB

french, 2015

78

A phase III trial of exemestane plus bevacizumab maintenance therapy in patients with metastatic breast cancer after first-line taxane and bevacizumab: a GINECO group study

Trédan, O., Follana, P., Moullet, I., Cropet, C., Trager-Maury, S., Dauba, J., Lavau-Denes, S., Diéras, V., Béal-Ardisson, D., Gouttebel, M., Orfeuvre, H., Stefani, L., Jouannaud, C., Bürki, F., Petit

Journal:

Annals of Oncology

Year:

2016

Language:

english

File:

PDF, 664 KB

english, 2016

79

P0810 : Sofosbuvir and daclatasvir combined treatment for chronic hepatitis C: First-year efficacy and safety data in a real-life setting

Rémy, A.-J., Pariente, A., Arpurt, J.-P., Rosa-Hézode, I., Renou, C., Arotcarena, R., Macaigne, G., Lison, H., Bourhis, F., Causse, X., Pauwels, A., de Montigny-Lenhardt, S., Jouannaud, V., Labadie, H

Journal:

Journal of Hepatology

Year:

2015

Language:

english

File:

PDF, 39 KB

english, 2015

80

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || ECOLOG: an Environment for constraint logics

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 734 KB

english, 1994

81

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || A foundation for higher-order concurrent constraint programming

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 1.12 MB

english, 1994

82

P0150 : Liver cirrhosis is independently associated with mortality in patients with bacterial endocarditis: Results of a case control multicenter study of 202 cases

Cadranel, J.-F., Ollivier-Hourmand, I., Bureau, C., Zerkly, S., Thévenot, T., Cacoub, P., Macaigne, G., Alric, L., Garioud, A., Jouannaud, V., Lison, H., Chagneau-Derrode, C., Pariente, A., Pélaquier,

Journal:

Journal of Hepatology

Year:

2015

Language:

english

File:

PDF, 47 KB

english, 2015

83

P0796 : New direct acting antivirals for hepatitis C treatment: first results in a real-life setting in France

Pariente, A., Rémy, A.-J., Arpurt, J.-P., Rosa-Hézode, I., Renou, C., Arotcarena, R., Macaigne, G., Lison, H., Bourhis, F., Causse, X., Pauwels, A., de Montigny-Lenhardt, S., Jouannaud, V., Labadie, H

Journal:

Journal of Hepatology

Year:

2015

Language:

english

File:

PDF, 38 KB

english, 2015

84

Marked iron overload related to ribavirin and iron sulfate treatment in a patient with active viral C cirrhosis

Jouannaud, Vincent, Cadranel, Jean-François, Dumouchel, Patrice, Cazier, Alain, Capron, Dominique, Rochette, Jacques, Barbare, Jean-Claude

Journal:

European Journal of Gastroenterology & Hepatology

Year:

2009

Language:

english

File:

PDF, 110 KB

english, 2009

85

Prospective evaluation of serum anti-Müllerian hormone dynamics in 250 women of reproductive age treated with chemotherapy for breast cancer

Dezellus, A., Barriere, P., Campone, M., Lemanski, C., Vanlemmens, L., Mignot, L., Delozier, T., Levy, C., Bendavid, C., Debled, M., Bachelot, T., Jouannaud, C., Loustalot, C., Mouret-Reynier, M.A., G

Journal:

European Journal of Cancer

Year:

2017

Language:

english

File:

PDF, 968 KB

english, 2017

86

Superimposable outcomes for sequential and concomitant administration of adjuvant trastuzumab in HER2-positive breast cancer: Results from the SIGNAL/PHARE prospective cohort

Pivot, X., Pierga, J-Y., Delaloge, S., Fumoleau, P., Bonnefoi, H., Bachelot, T., Jouannaud, C., Bourgeois, H., Rios, M., Soulie, P., Jacquin, J.P., Lavau-Denes, S., Kerbrat, P., Faure Mercier, C., Pau

Journal:

Annals of Oncology

Year:

2016

Language:

english

File:

PDF, 40 KB

english, 2016

87

Superimposable outcomes for sequential and concomitant administration of adjuvant trastuzumab in HER2-positive breast cancer: Results from the SIGNAL/PHARE prospective cohort

Pivot, Xavier, Fumoleau, Pierre, Pierga, Jean-Yves, Delaloge, Suzette, Bonnefoi, Hervé, Bachelot, Thomas, Jouannaud, Christelle, Bourgeois, Hugues, Rios, Maria, Soulié, Patrick, Jacquin, Jean-Philippe

Journal:

European Journal of Cancer

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

88

Patients' preference of trastuzumab administration (subcutaneous versus intravenous) in HER2-positive metastatic breast cancer: Results of the randomised MetaspHer study

Pivot, X., Spano, J.P., Espie, M., Cottu, P., Jouannaud, C., Pottier, V., Moreau, L., Extra, J.M., Lortholary, A., Rivera, P., Spaeth, D., Attar-Rabia, H., Benkanoun, C., Dima-Martinez, L., Esposito,

Journal:

European Journal of Cancer

Year:

2017

Language:

english

File:

PDF, 529 KB

english, 2017

89

Patient preference of trastuzumab administration (SC versus IV) in HER2-positive metastatic breast cancer: Results of the randomised Metaspher study

Pivot, X., Spano, J-P., Marc, E., Cottu, P., Jouannaud, C., Pottier, V., Moreau, L., Extra, J-M., Lortholary, A., Rivera, P., Spaeth, D., Attar-Rabia, H., Benkamoun, C., Dima-Martinez, L., Esposito, N

Journal:

Annals of Oncology

Year:

2016

Language:

english

File:

PDF, 41 KB

english, 2016

90

Constitutional variants are not associated with HER2-positive breast cancer: results from the SIGNAL/PHARE clinical cohort

Pivot, Xavier, Romieu, Gilles, Fumoleau, Pierre, Rios, Maria, Bonnefoi, Hervé, Bachelot, Thomas, Soulié, Patrick, Jouannaud, Christelle, Bourgeois, Hugues, Petit, Thierry, Tennevet, Isabelle, Assoulin

Journal:

npj Breast Cancer

Year:

2017

File:

PDF, 813 KB

2017

91

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || A record calculus with principal types

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 784 KB

english, 1994

92

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Some new decidability results on positive and negative set constraints

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 944 KB

english, 1994

93

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Automated deduction with constraints

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 101 KB

english, 1994

94

LBA9Letrozole and palbociclib versus 3rd generation chemotherapy as neoadjuvant treatment of minal breast cancer. Results of the UNICANCER-eoPAL study

Cottu, P., D'Hondt, V., Dureau, S., Lerebours, F., Desmoulins, I., Heudel, P-E., Duhoux, F., Levy, C., Mouret-Reynier, M-A., Dalenc, F., Frenel, J-S., Jouannaud, C., Venat-Bouvet, L., Nguyen, S., Ferr

Journal:

Annals of Oncology

Year:

2017

Language:

english

File:

PDF, 75 KB

english, 2017

95

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Modular AC unification of higher-order patterns

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 938 KB

english, 1994

96

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Local simplification

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 881 KB

english, 1994

97

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || How to win a game with features

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 816 KB

english, 1994

98

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Higher order disunification: Some decidable cases

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 783 KB

english, 1994

99

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || An efficient algorithm of logic programming with constraint hierarchy

Jouannaud, Jean-Pierre

Year:

1994

Language:

english

File:

PDF, 573 KB

english, 1994

100

Assessment of the prognostic role of a 94-single nucleotide polymorphisms risk score in early breast cancer in the SIGNAL/PHARE prospective cohort: no correlation with clinico-pathological characteristics and outcomes

Curtit, Elsa, Pivot, Xavier, Henriques, Julie, Paget-Bailly, Sophie, Fumoleau, Pierre, Rios, Maria, Bonnefoi, Hervé, Bachelot, Thomas, Soulié, Patrick, Jouannaud, Christelle, Bourgeois, Hugues, Petit,

Journal:

Breast Cancer Research

Year:

2017

Language:

english

File:

PDF, 960 KB

english, 2017