Search

Your search keyword '"Guitton, Jérôme"' showing total 560 results
Start Over Author "Guitton, Jérôme"
560 results on '"Guitton, Jérôme"'

1. Intra-individual Dose Escalation of Abiraterone According to Its Plasma Exposure in Patients with Progressive Metastatic Castration-Resistant Prostate Cancer: Results of the OPTIMABI Trial

Author

Alexandre, Jérôme, Oudard, Stephane, Golmard, Lisa, Campedel, Luca, Mseddi, Mourad, Ladoire, Sylvain, Khalil, Ahmed, Maillet, Denis, Tournigand, Christophe, Pasquiers, Blaise, Goirand, Françoise, Berthier, Joseph, Guitton, Jérôme, Dariane, Charles, Joly, Florence, Xylinas, Evanguelos, Golmard, Jean Louis, Abdoul, Hendy, Puszkiel, Alicja, Decleves, Xavier, Carton, Edith, Thomas, Audrey, Vidal, Michel, Huillard, Olivier, and Blanchet, Benoit

Published
2024
Full Text
View/download PDF

12. Are we ready to track climate-driven shifts in marine species across international boundaries? - A global survey of scientific bottom trawl data.

Author

A Maureaud, Aurore, Frelat, Romain, Pécuchet, Laurène, Shackell, Nancy, Mérigot, Bastien, Pinsky, Malin, Amador, Kofi, Anderson, Sean, Arkhipkin, Alexander, Auber, Arnaud, Barri, Iça, Bell, Richard, Belmaker, Jonathan, Beukhof, Esther, Camara, Mohamed, Guevara-Carrasco, Renato, Choi, Junghwa, Christensen, Helle, Conner, Jason, Cubillos, Luis, Diadhiou, Hamet, Edelist, Dori, Emblemsvåg, Margrete, Ernst, Billy, Fairweather, Tracey, Fock, Heino, Friedland, Kevin, Garcia, Camilo, Gascuel, Didier, Gislason, Henrik, Goren, Menachem, Guitton, Jérôme, Jouffre, Didier, Hattab, Tarek, Hidalgo, Manuel, Kathena, Johannes, Knuckey, Ian, Kidé, Saïkou, Koen-Alonso, Mariano, Koopman, Matt, Kulik, Vladimir, León, Jacqueline, Levitt-Barmats, Yaarit, Lindegren, Martin, Llope, Marcos, Massiot-Granier, Félix, Masski, Hicham, McLean, Matthew, Meissa, Beyah, Mérillet, Laurène, Mihneva, Vesselina, Nunoo, Francis, ODriscoll, Richard, OLeary, Cecilia, Petrova, Elitsa, Ramos, Jorge, Refes, Wahid, Román-Marcote, Esther, Siegstad, Helle, Sobrino, Ignacio, Sólmundsson, Jón, Sonin, Oren, Spies, Ingrid, Steingrund, Petur, Stephenson, Fabrice, Stern, Nir, Tserkova, Feriha, Tserpes, Georges, Tzanatos, Evangelos, van Rijn, Itai, van Zwieten, Paul, Vasilakopoulos, Paraskevas, Yepsen, Daniela, Ziegler, Philippe, and T Thorson, James

Subjects
bottom trawl survey, climate change, demersal fish, fisheries policy, global data synthesis, open science, species distribution, transboundary conservation, Animals, Climate Change, Ecosystem, Fisheries, Fishes, Surveys and Questionnaires
Abstract

Marine biota are redistributing at a rapid pace in response to climate change and shifting seascapes. While changes in fish populations and community structure threaten the sustainability of fisheries, our capacity to adapt by tracking and projecting marine species remains a challenge due to data discontinuities in biological observations, lack of data availability, and mismatch between data and real species distributions. To assess the extent of this challenge, we review the global status and accessibility of ongoing scientific bottom trawl surveys. In total, we gathered metadata for 283,925 samples from 95 surveys conducted regularly from 2001 to 2019. We identified that 59% of the metadata collected are not publicly available, highlighting that the availability of data is the most important challenge to assess species redistributions under global climate change. Given that the primary purpose of surveys is to provide independent data to inform stock assessment of commercially important populations, we further highlight that single surveys do not cover the full range of the main commercial demersal fish species. An average of 18 surveys is needed to cover at least 50% of species ranges, demonstrating the importance of combining multiple surveys to evaluate species range shifts. We assess the potential for combining surveys to track transboundary species redistributions and show that differences in sampling schemes and inconsistency in sampling can be overcome with spatio-temporal modeling to follow species density redistributions. In light of our global assessment, we establish a framework for improving the management and conservation of transboundary and migrating marine demersal species. We provide directions to improve data availability and encourage countries to share survey data, to assess species vulnerabilities, and to support management adaptation in a time of climate-driven ocean changes.

Published
2021

16. Oncolytic virotherapy with intratumoral injection of double-deleted vaccinia virus TG6002 encoding FCU1 gene with 5-fluorocytosine in dogs with malignant tumors

Author

Béguin, Jérémy, Laloy, Eve, Cochin, Sandrine, Gantzer, Murielle, Farine, Isabelle, Pichon, Christelle, Moreau, Baptiste, Foloppe, Johann, Balloul, Jean-Marc, Machon, Christelle, Guitton, Jérôme, Tierny, Dominique, Klonjkowski, Bernard, Quéméneur, Eric, Maurey, Christelle, and Erbs, Philippe

Published
2023
Full Text
View/download PDF

17. Identification of critical essential habitat for demersal fish in the Gulf of Guinea

Author

Quenum Crespin Luc, El Vally Yeslem, Tapé Joanny, Guitton Jérôme, Ekuban Ebenezer Francis, Kouakou N’Goran David, and Le Pape Olivier

Subjects
fish habitat model, demersal fish, gulf of guinea, epinephelus aeneus, pseudotolithus senegalensis, pagellus bellottii, Aquaculture. Fisheries. Angling, SH1-691
Abstract

Habitats of three marine fish species of major interest (Epinephelus aeneus, Pseudotolithus senegalensis, and Pagellus bellottii) at both juvenile and adult life stages were identified and mapped in the western part of the Gulf of Guinea. Habitat suitability models (HSMs) were designed to quantify species- and stage-specific fish densities from scientific survey data collected for the last 40 years according to two environmental descriptors (bathymetry, distance to river mouth) and accounting for temporal contrasts. Delta general linear models were selected to fit with the 0-inflated distribution of the fish density data. Despite their high residual deviance, both the prediction accuracy and robustness of these HSMs were satisfactory. HSMs showed a strong influence of bathymetry on stage-specific fish distribution and a lower and non systematic influence of proximity to river mouths. The spatial distribution of juveniles of E. aeneus and P. senegalensis evidenced their concentration in shallow coastal nurseries. The adults of P. senegalensis were also located in nearshore habitats under estuarine influence, whereas adults of E. aeneus were spread towards deeper waters. P. bellottii did not rely on coastal fringes at juvenile or adult stages. Finally, model outputs showed a decrease in abundance in recent decades for all species at both life stages. These HSMs and maps reveal the importance of the coastal fringe as a critical essential habitat for two of the three studied species and the usefulness of space-based management measures to maintain populations and ensure sustainable fishing exploitation.

Published
2024
Full Text
View/download PDF

19. Alteration of ribosome function upon 5-fluorouracil treatment favors cancer cell drug-tolerance

Author

Therizols, Gabriel, Bash-Imam, Zeina, Panthu, Baptiste, Machon, Christelle, Vincent, Anne, Ripoll, Julie, Nait-Slimane, Sophie, Chalabi-Dchar, Mounira, Gaucherot, Angéline, Garcia, Maxime, Laforêts, Florian, Marcel, Virginie, Boubaker-Vitre, Jihane, Monet, Marie-Ambre, Bouclier, Céline, Vanbelle, Christophe, Souahlia, Guillaume, Berthel, Elise, Albaret, Marie Alexandra, Mertani, Hichem C., Prudhomme, Michel, Bertrand, Martin, David, Alexandre, Saurin, Jean-Christophe, Bouvet, Philippe, Rivals, Eric, Ohlmann, Théophile, Guitton, Jérôme, Dalla Venezia, Nicole, Pannequin, Julie, Catez, Frédéric, and Diaz, Jean-Jacques

Published
2022
Full Text
View/download PDF

20. Can we identify patients carrying targeted deleterious DPYD variants with plasma uracil and dihydrouracil? A GPCO-RNPGx retrospective analysis.

Author

Launay, Manon, Raymond, Laure, Guitton, Jérôme, Loriot, Marie-Anne, Chatelut, Etienne, Haufroid, Vincent, Thomas, Fabienne, and Etienne-Grimaldi, Marie-Christine

Subjects
DIHYDROPYRIMIDINE dehydrogenase, URACIL, PHENOTYPES, GENOTYPES, RETROSPECTIVE studies
Abstract

Dihydropyrimidine dehydrogenase (DPD) deficiency is the main cause of severe fluoropyrimidine-related toxicities. The best strategy for identifying DPD-deficient patients is still not defined. The EMA recommends targeted DPYD genotyping or uracilemia (U) testing. We analyzed the concordance between both approaches. This study included 19,376 consecutive French patients with pre-treatment plasma U, UH2 and targeted DPYD genotyping (*2A, *13, D949V, *7) analyzed at Eurofins Biomnis (2015–2022). Mean U was 9.9 ± 10.1 ng/mL (median 8.7, range 1.6–856). According to French recommendations, 7.3 % of patients were partially deficient (U 16–150 ng/mL) and 0.02 % completely deficient (U≥150 ng/mL). DPYD variant frequencies were *2A: 0.83 %, *13: 0.17 %, D949V: 1.16 %, *7: 0.05 % (2 homozygous patients with U at 22 and 856 ng/mL). Variant carriers exhibited higher U (median 13.8 vs. 8.6 ng/mL), and lower UH2/U (median 7.2 vs. 11.8) and UH2/U2 (median 0.54 vs. 1.37) relative to wild-type patients (p<0.00001). Sixty-six% of variant carriers exhibited uracilemia <16 ng/mL, challenging correct identification of DPD deficiency based on U. The sensitivity (% patients with a deficient phenotype among variant carriers) of U threshold at 16 ng/mL was 34 %. The best discriminant marker for identifying variant carriers was UH2/U2. UH2/U2<0.942 (29.7 % of patients) showed enhanced sensitivity (81 %) in identifying deleterious genotypes across different variants compared to 16 ng/mL U. These results reaffirm the poor concordance between DPD phenotyping and genotyping, suggesting that both approaches may be complementary and that targeted DPYD genotyping is not sufficiently reliable to identify all patients with complete deficiency. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

26. Reply to: "Is uracil enough for effective pre-emptive DPD testing?".

Author

Thomas, Fabienne, Launay, Manon, Raymond, Laure, Guitton, Jérôme, Loriot, Marie-Anne, Chatelut, Etienne, Haufroid, Vincent, and Etienne-Grimaldi, Marie-Christine

Subjects
GENETIC variation, HAPLOTYPES, GENE frequency, DNA sequencing, FUNCTIONAL analysis
Abstract

This document is a reply to a letter discussing the effectiveness of uracil for pre-emptive DPD testing. The authors acknowledge the limitations of their study, including the omission of testing for haplotype B3 and the lack of information on renal and liver functions. They disagree with the assumption that a non-detectable UH2 is necessary for a true DPD deficient status. The authors suggest that a combination of indirect phenotyping and extended genotyping may improve the identification of patients at risk for severe fluoropyrimidine toxicity. [Extracted from the article]

Published
2024
Full Text
View/download PDF

27. The mitochondrially-localized nucleoside diphosphate kinase D (NME4) is a novel metastasis suppressor

Author

Lacombe, Marie-Lise, Lamarche, Frederic, De Wever, Olivier, Padilla-Benavides, Teresita, Carlson, Alyssa, Khan, Imran, Huna, Anda, Vacher, Sophie, Calmel, Claire, Desbourdes, Céline, Cottet-Rousselle, Cécile, Hininger-Favier, Isabelle, Attia, Stéphane, Nawrocki-Raby, Béatrice, Raingeaud, Joël, Machon, Christelle, Guitton, Jérôme, Le Gall, Morgane, Clary, Guilhem, Broussard, Cedric, Chafey, Philippe, Thérond, Patrice, Bernard, David, Fontaine, Eric, Tokarska-Schlattner, Malgorzata, Steeg, Patricia, Bièche, Ivan, Schlattner, Uwe, and Boissan, Mathieu

Published
2021
Full Text
View/download PDF

29. Nucleoside diphosphate kinases fuel dynamin superfamily proteins with GTP for membrane remodeling

Author

Boissan, Mathieu, Montagnac, Guillaume, Shen, Qinfang, Griparic, Lorena, Guitton, Jérôme, Romao, Maryse, Sauvonnet, Nathalie, Lagache, Thibault, Lascu, Ioan, Raposo, Graça, Desbourdes, Céline, Schlattner, Uwe, Lacombe, Marie-Lise, Polo, Simona, van der Bliek, Alexander M, Roux, Aurélien, and Chavrier, Philippe

Subjects
Underpinning research, 1.1 Normal biological development and functioning, Adenosine Triphosphate, Animals, Cell Line, Cell Membrane, Coated Pits, Cell-Membrane, Dynamins, Endocytosis, GTP Phosphohydrolases, Guanosine Diphosphate, Guanosine Triphosphate, Humans, Intracellular Membranes, Membrane Fusion, Mitochondria, NM23 Nucleoside Diphosphate Kinases, Nucleoside Diphosphate Kinase D, General Science & Technology
Abstract

Dynamin superfamily molecular motors use guanosine triphosphate (GTP) as a source of energy for membrane-remodeling events. We found that knockdown of nucleoside diphosphate kinases (NDPKs) NM23-H1/H2, which produce GTP through adenosine triphosphate (ATP)-driven conversion of guanosine diphosphate (GDP), inhibited dynamin-mediated endocytosis. NM23-H1/H2 localized at clathrin-coated pits and interacted with the proline-rich domain of dynamin. In vitro, NM23-H1/H2 were recruited to dynamin-induced tubules, stimulated GTP-loading on dynamin, and triggered fission in the presence of ATP and GDP. NM23-H4, a mitochondria-specific NDPK, colocalized with mitochondrial dynamin-like OPA1 involved in mitochondria inner membrane fusion and increased GTP-loading on OPA1. Like OPA1 loss of function, silencing of NM23-H4 but not NM23-H1/H2 resulted in mitochondrial fragmentation, reflecting fusion defects. Thus, NDPKs interact with and provide GTP to dynamins, allowing these motor proteins to work with high thermodynamic efficiency.

Published
2014

30. Application to several suspected poisoning cases of a validated analytical method for the determination of muscarine in human biological matrices using liquid chromatography with high‐resolution mass spectrometry detection.

Author

Flament, Estelle, Gaulier, Jean‐Michel, Paret, Nathalie, Jarrier, Nathalie, Bruneau, Chloé, Creusat, Gaelle, Guitton, Jérôme, and Gaillard, Yvan

Abstract

Despite prevention efforts, many cases of mushroom poisoning are reported around the world every year. Among the different toxins implicated in these poisonings, muscarine may induce parasympathetic neurological damage. Muscarine poisonings are poorly reported in the current literature, implying a lack of available data on muscarine concentrations in human matrices. A validated liquid chromatography with high‐resolution mass spectrometry detection (Orbitrap technology) method was developed to determine muscarine concentrations in human urine, plasma, and whole blood samples. Muscarine was determined using 100 μL of biological fluids, and precipitation was used for sample preparation. Liquid chromatography‐mass spectrometry was performed using an Accucore Phenyl‐X analytical column with the electrospray source in positive ion mode. Muscarine was quantitated in parallel reaction monitoring (PRM) mode with D9‐muscarine as the internal standard. The method was validated successfully over the concentration range 0.1–100 μg/L for plasma and whole blood and 1–100 μg/L for urine, with acceptable precision and accuracy (<13.5%), including the lower limit of quantification. Ten real cases of suspected muscarine poisoning were successfully confirmed with this validated method. Muscarine concentrations in these cases ranged from 0.12 to 14 μg/L in whole blood,

Published
2024
Full Text
View/download PDF

32. P1243: FUNCTIONAL PRECISION ONCOLOGY FOR FOLLICULAR LYMPHOMA WITH PATIENT-DERIVED XENOGRAFT IN AVIAN EMBRYOS.

Author

Zala, Manon, primary, Lipinski, Boris, additional, Costechareyre, Clélia, additional, Jarrosson, Loraine, additional, Teinturier, Romain, additional, Julia, Edith, additional, Vernay, Aurélie, additional, Guitton, Jérôme, additional, Traverse-Glehen, Alexandra, additional, Salles, Gilles, additional, Huet, Sarah, additional, Genestier, Laurent, additional, Castellani, Valérie, additional, Delloye-Bourgeois, Céline, additional, and Sujobert, Pierre, additional

Published
2023
Full Text
View/download PDF

33. A novel inhibitor of the mitochondrial respiratory complex I with uncoupling properties exerts potent antitumor activity

Author

Cordier-Bussat, Martine, primary, ASSI, Alaa AL, additional, POSTY, Solène, additional, Lamarche, Frédéric, additional, CHEBEL, Amel, additional, Guitton, Jérôme, additional, PRUDENT, Renaud, additional, LAFANECHERE, Laurence, additional, GIRAUD, Stéphane, additional, DALLEMAGNE, Patrick, additional, Suzanne, Peggy, additional, GENESTIER, Laurent, additional, Castets, Marie, additional, Fontaine, Eric, additional, and Billaud, Marc, additional

Published
2023
Full Text
View/download PDF

34. Functional precision oncology for follicular lymphoma with patient-derived xenograft in avian embryos

Author

Zala, Manon, primary, Lipinski, Boris, additional, Costechareyre, Clélia, additional, Jarrosson, Loraine, additional, Teinturier, Romain, additional, Julia, Edith, additional, Lacourrège, Marjorie, additional, Verney, Aurélie, additional, Guitton, Jérôme, additional, Traverse-Glehen, Alexandra, additional, Bachy, Emmanuel, additional, Salles, Gilles, additional, Huet, Sarah, additional, Genestier, Laurent, additional, Castellani, Valérie, additional, Delloye-Bourgeois, Céline, additional, and Sujobert, Pierre, additional

Published
2023
Full Text
View/download PDF

39. Table S2 from Therapeutic Drug Monitoring of Carboplatin in High-Dose Protocol (TI-CE) for Advanced Germ Cell Tumors: Pharmacokinetic Results of a Phase II Multicenter Study

Author

Moeung, Sotheara, primary, Chevreau, Christine, primary, Broutin, Sophie, primary, Guitton, Jérôme, primary, Lelièvre, Bénédicte, primary, Ciccolini, Joseph, primary, Massart, Christophe, primary, Fléchon, Aude, primary, Delva, Rémy, primary, Gravis, Gwenaëlle, primary, Lotz, Jean-Pierre, primary, Bay, Jacques-Olivier, primary, Gross-Goupil, Marine, primary, Paci, Angelo, primary, Marsili, Sabrina, primary, Malard, Laurence, primary, Chatelut, Etienne, primary, and Thomas, Fabienne, primary

Published
2023
Full Text
View/download PDF

40. Figure S3 from Therapeutic Drug Monitoring of Carboplatin in High-Dose Protocol (TI-CE) for Advanced Germ Cell Tumors: Pharmacokinetic Results of a Phase II Multicenter Study

Author

Moeung, Sotheara, primary, Chevreau, Christine, primary, Broutin, Sophie, primary, Guitton, Jérôme, primary, Lelièvre, Bénédicte, primary, Ciccolini, Joseph, primary, Massart, Christophe, primary, Fléchon, Aude, primary, Delva, Rémy, primary, Gravis, Gwenaëlle, primary, Lotz, Jean-Pierre, primary, Bay, Jacques-Olivier, primary, Gross-Goupil, Marine, primary, Paci, Angelo, primary, Marsili, Sabrina, primary, Malard, Laurence, primary, Chatelut, Etienne, primary, and Thomas, Fabienne, primary

Published
2023
Full Text
View/download PDF

41. Supplementary Table 1 from Deciphering the Role of Intestinal Crypt Cell Populations in Resistance to Chemotherapy

Author

Frau, Carla, primary, Jamard, Catherine, primary, Delpouve, Gaspard, primary, Guardia, Gabriela D.A., primary, Machon, Christelle, primary, Pilati, Camilla, primary, Nevé, Clémentine Le, primary, Laurent-Puig, Pierre, primary, Guitton, Jérôme, primary, Galante, Pedro A.F., primary, Penalva, Luiz O., primary, Freund, Jean-Noel, primary, de la Fouchardiere, Christelle, primary, and Plateroti, Michelina, primary

Published
2023
Full Text
View/download PDF

42. Supplementary methods from Autocrine Adenosine Regulates Tumor Polyfunctional CD73+CD4+ Effector T Cells Devoid of Immune Checkpoints

Author

Gourdin, Nicolas, primary, Bossennec, Marion, primary, Rodriguez, Céline, primary, Vigano, Selena, primary, Machon, Christelle, primary, Jandus, Camilla, primary, Bauché, David, primary, Faget, Julien, primary, Durand, Isabelle, primary, Chopin, Nicolas, primary, Tredan, Olivier, primary, Marie, Julien C., primary, Dubois, Bertrand, primary, Guitton, Jérôme, primary, Romero, Pedro, primary, Caux, Christophe, primary, and Ménétrier-Caux, Christine, primary

Published
2023
Full Text
View/download PDF

43. Figure S5 from Autocrine Adenosine Regulates Tumor Polyfunctional CD73+CD4+ Effector T Cells Devoid of Immune Checkpoints

Author

Gourdin, Nicolas, primary, Bossennec, Marion, primary, Rodriguez, Céline, primary, Vigano, Selena, primary, Machon, Christelle, primary, Jandus, Camilla, primary, Bauché, David, primary, Faget, Julien, primary, Durand, Isabelle, primary, Chopin, Nicolas, primary, Tredan, Olivier, primary, Marie, Julien C., primary, Dubois, Bertrand, primary, Guitton, Jérôme, primary, Romero, Pedro, primary, Caux, Christophe, primary, and Ménétrier-Caux, Christine, primary

Published
2023
Full Text
View/download PDF

44. Data from Autocrine Adenosine Regulates Tumor Polyfunctional CD73+CD4+ Effector T Cells Devoid of Immune Checkpoints

Author

Gourdin, Nicolas, primary, Bossennec, Marion, primary, Rodriguez, Céline, primary, Vigano, Selena, primary, Machon, Christelle, primary, Jandus, Camilla, primary, Bauché, David, primary, Faget, Julien, primary, Durand, Isabelle, primary, Chopin, Nicolas, primary, Tredan, Olivier, primary, Marie, Julien C., primary, Dubois, Bertrand, primary, Guitton, Jérôme, primary, Romero, Pedro, primary, Caux, Christophe, primary, and Ménétrier-Caux, Christine, primary

Published
2023
Full Text
View/download PDF

45. Supplementary Materials and Methods from Deciphering the Role of Intestinal Crypt Cell Populations in Resistance to Chemotherapy

Author

Frau, Carla, primary, Jamard, Catherine, primary, Delpouve, Gaspard, primary, Guardia, Gabriela D.A., primary, Machon, Christelle, primary, Pilati, Camilla, primary, Nevé, Clémentine Le, primary, Laurent-Puig, Pierre, primary, Guitton, Jérôme, primary, Galante, Pedro A.F., primary, Penalva, Luiz O., primary, Freund, Jean-Noel, primary, de la Fouchardiere, Christelle, primary, and Plateroti, Michelina, primary

Published
2023
Full Text
View/download PDF

46. Supplementary Figures and Table 1 Legends from Deciphering the Role of Intestinal Crypt Cell Populations in Resistance to Chemotherapy

Author

Frau, Carla, primary, Jamard, Catherine, primary, Delpouve, Gaspard, primary, Guardia, Gabriela D.A., primary, Machon, Christelle, primary, Pilati, Camilla, primary, Nevé, Clémentine Le, primary, Laurent-Puig, Pierre, primary, Guitton, Jérôme, primary, Galante, Pedro A.F., primary, Penalva, Luiz O., primary, Freund, Jean-Noel, primary, de la Fouchardiere, Christelle, primary, and Plateroti, Michelina, primary

Published
2023
Full Text
View/download PDF

47. Supplementary Figures from Deciphering the Role of Intestinal Crypt Cell Populations in Resistance to Chemotherapy

Author

Frau, Carla, primary, Jamard, Catherine, primary, Delpouve, Gaspard, primary, Guardia, Gabriela D.A., primary, Machon, Christelle, primary, Pilati, Camilla, primary, Nevé, Clémentine Le, primary, Laurent-Puig, Pierre, primary, Guitton, Jérôme, primary, Galante, Pedro A.F., primary, Penalva, Luiz O., primary, Freund, Jean-Noel, primary, de la Fouchardiere, Christelle, primary, and Plateroti, Michelina, primary

Published
2023
Full Text
View/download PDF

49. Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification

Author

Kanig, Johannes, Chapman, Rod, Comar, Cyrille, Guitton, Jerôme, Moy, Yannick, Rees, Emyr, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Seidl, Martina, editor, and Tillmann, Nikolai, editor

Published
2014
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results