Article dans une revue

2023

ref_biblio

Dympna O’sullivan, Emma Murphy, Andrea Curley, John Gilligan, Damian Gordon, et al.. Inclusion4EU: co-designing a framework for inclusive software design and development. Studies in Health Technology and Informatics, 2023, Studies in Health Technology and Informatics, 306, pp.497-502. ⟨10.3233/SHTI230668⟩. ⟨hal-04197001⟩

Accès au texte intégral et bibtex

2022

ref_biblio

Damian Gordon, Ioannis Stavrakakis, John Paul Gibson, Brendan Tierney, Anna Becevel, et al.. Perspectives on computing ethics: a multi-stakeholder analysis. Journal of Information, Communication and Ethics in Society, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩. ⟨hal-03377560⟩

Accès au texte intégral et bibtex

ref_biblio

Emil Hagström, P. Gabriel Steg, Michael Szarek, Deepak Bhatt, Vera Bittner, et al.. Apolipoprotein B, Residual Cardiovascular Risk After Acute Coronary Syndrome, and Effects of Alirocumab. Circulation, 2022, 146 (9), pp.657-672. ⟨10.1161/CIRCULATIONAHA.121.057807⟩. ⟨hal-04012895⟩

Accès au bibtex

ref_biblio

Ioannis Stavrakakis, Damian Gordon, Brendan Tierney, Anna Becevel, Emma Murphy, et al.. The teaching of computer ethics on computer science and related degree programmes: a European survey. International Journal of Ethics Education, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩. ⟨hal-03377525⟩

Accès au texte intégral et bibtex

2021

ref_biblio

Mark Mcclanahan, Michael Dempsey, Helen Colhoun, Isabelle Zobouyan, Patrick Picault, et al.. Relation of Lipoprotein(a) Levels to Incident Type 2 Diabetes and Modification by Alirocumab Treatment. Diabetes Care, 2021, 44 (5), pp.1219-1227. ⟨10.2337/dc20-2842⟩. ⟨hal-03672072⟩

Accès au bibtex

ref_biblio

Gregory Schwartz, Michael Szarek, Vera Bittner, Rafael Diaz, Shaun Goodman, et al.. Lipoprotein(a) and Benefit of PCSK9 Inhibition in Patients With Nominally Controlled LDL Cholesterol. Journal of the American College of Cardiology, 2021, 78 (5), pp.421-433. ⟨10.1016/j.jacc.2021.04.102⟩. ⟨hal-03650902⟩

Accès au bibtex

2019

ref_biblio

Kausik Ray, Helen Colhoun, Michael Szarek, Marie Baccara-Dinet, Deepak Bhatt, et al.. Effects of alirocumab on cardiovascular and metabolic outcomes after acute coronary syndrome in patients with or without diabetes: a prespecified analysis of the ODYSSEY OUTCOMES randomised controlled trial. The Lancet. Diabetes & Endocrinology , 2019, 7 (8), pp.618-628. ⟨10.1016/S2213-8587(19)30158-5⟩. ⟨hal-04012703⟩

Accès au bibtex

2018

ref_biblio

Sibylle Vogt, Marcus Krueger, Astrid Pechmann, Bianca Rippberger, Matthias Eckenweiler, et al.. Nusinersen versus Sham Control in Later-Onset Spinal Muscular Atrophy. New England Journal of Medicine, 2018, 378 (7), pp.625-635. ⟨10.1056/NEJMoa1710504⟩. ⟨hal-03604455⟩

Accès au bibtex

2017

ref_biblio

Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, et al.. ecoSense: minimize participants' total 3G data cost in mobile crowdsensing using opportunistic relays. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩. ⟨hal-01534510⟩

Accès au bibtex

2016

ref_biblio

John Paul Gibson, Vanessa Teague, Robert Krimmer, Julia Pomares. A review of E-voting: the past, present and future. Annals of Telecommunications - annales des télécommunications, 2016, 71 (7), pp.279 - 286. ⟨10.1007/s12243-016-0525-8⟩. ⟨hal-01364859⟩

Accès au bibtex

2015

ref_biblio

Haoyi Xiong, Daqing Zhang, Leye Wang, John Paul Gibson, Jie Zhu. A EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants ACM Reference Format. ACM Transactions on Intelligent Systems and Technology, 2015, pp.1-23. ⟨10.1145/2644827⟩. ⟨hal-01078238⟩

Accès au bibtex

2014

ref_biblio

Damien Mac Namara, John Paul Gibson, Ken Oakley. The ideal voting interface: classifying usability. JeDEM - eJournal of eDemocracy and Open Government, 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩. ⟨hal-03377805⟩

Accès au texte intégral et bibtex

2012

ref_biblio

John Paul Gibson, Isabelle Perseil. Introduction to UML and formal methods. Software Engineering Notes, 2012, 37 (4), pp.32-33. ⟨10.1145/2237796.2237825⟩. ⟨hal-00728167⟩

Accès au bibtex

2011

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Formal object-oriented development of a voting system test oracle. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩. ⟨hal-00670282⟩

Accès au bibtex

ref_biblio

Isabelle Perseil, John Paul Gibson. Introduction to special issue : papers from UML&FM'2011. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.225-226. ⟨10.1007/s11334-011-0173-0⟩. ⟨hal-00677755⟩

Accès au bibtex

2009

ref_biblio

John Paul Gibson. Software reuse and plagiarism : a code of practice. Sigcse Bulletin, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩. ⟨hal-01357442⟩

Accès au bibtex

2008

ref_biblio

Dominique Cansell, Paul Gibson, Dominique Méry. Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electronic Notes in Theoretical Computer Science, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩. ⟨inria-00594892⟩

Accès au bibtex

ref_biblio

Damien Woods, John Paul Gibson. Lower bounds on the computational power of an optical model of computation. Natural Computing, 2008, 7 (1), pp.95 - 108. ⟨10.1007/s11047-007-9039-7⟩. ⟨hal-01354830⟩

Accès au texte intégral et bibtex

Communication dans un congrès

2022

ref_biblio

Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, John Paul Gibson, et al.. The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. 14th International Conference on Computer Supported Education, Apr 2022, Online Streaming, Czech Republic. pp.297-303, ⟨10.5220/0011075900003182⟩. ⟨hal-03729234⟩

Accès au texte intégral et bibtex

ref_biblio

John Paul Gibson, Massamaesso Narouwa, Damian Gordon, Dympna O'Sullivan, Jonathan Turner, et al.. Technical debt is an ethical issue. ETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427/Y73Z-6P82⟩. ⟨hal-03782691⟩

Accès au texte intégral et bibtex

ref_biblio

Damian Gordon, Michael Collins, John Paul Gibson, Dympna O'Sullivan. Measuring the longitudinal impact of teaching programming ethics to first years students. 16th International Technology, Education and Development Conference(INTED2022), IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125/inted.2022.0273⟩. ⟨hal-03782518⟩

Accès au bibtex

ref_biblio

Ioannis Stavrakakis, Damian Gordon, John Paul Gibson, Dympna O’sullivan, Anna Becevel. Minding the gap: computing ethics and the political economy of big tech. ETHICOMP2022: "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?", Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427/T0YQ-VP49⟩. ⟨hal-03787335⟩

Accès au texte intégral et bibtex

2021

ref_biblio

Andrea Curley, Damian Gordon, Ioannis Stavrakakis, Anna J Becevel, John Paul Gibson, et al.. Adaptable and reusable educational 'bricks' for teaching computer science ethics. EDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩. ⟨hal-03377576⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Yael Jacob, Damian Gordon, Dympna O'Sullivan. Developing an educational brick for digital ethics: a case study-driven approach. ETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT, Jun 2021, Logroño, Spain. pp.29-37. ⟨hal-03377665⟩

Accès au texte intégral et bibtex

2018

ref_biblio

Abderrahim Ait Wakrime, John Paul Gibson, Jean-Luc Raffy. Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩. ⟨hal-01914195⟩

Accès au texte intégral et bibtex

ref_biblio

Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩

Accès au texte intégral et bibtex

ref_biblio

John Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock. Cyber-physical systems engineering: an introduction. ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩. ⟨hal-01914210⟩

Accès au texte intégral et bibtex

2017

ref_biblio

Paul J. Gibson, Souad Kherroubi, Dominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩

Accès au texte intégral et bibtex

ref_biblio

John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩

Accès au texte intégral et bibtex

2016

ref_biblio

Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. ⟨hal-01430628⟩

Accès au bibtex

2015

ref_biblio

Olivier Berger, John Paul Gibson, Claire Lecocq, Christian Bac. Designing a virtual laboratory for a relational database MOOC. CSEDU 2015 : 7th International Conference on Computer Supported Education, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220/0005439702600268⟩. ⟨hal-01255058⟩

Accès au bibtex

2014

ref_biblio

Yamine Aït-Ameur, John Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩. ⟨hal-01097624⟩

Accès au texte intégral et bibtex

ref_biblio

Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩

Accès au bibtex

ref_biblio

Damien Macnamara, John Paul Gibson, Ken Oakley. Just Like Paper : a baseline for classifying e-voting usability. CEDEM 2014 : International Conference for E-Democracy and Open Government, May 2014, Krems, Austria. pp.113 - 127. ⟨hal-01263326⟩

Accès au bibtex

2013

ref_biblio

Damien Macnamara, John Paul Gibson, Ken Oakley. Just like paper : a classification system for eVoting machines. CeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356. ⟨hal-01335739⟩

Accès au texte intégral et bibtex

2012

ref_biblio

John Paul Gibson. Teaching graph algorithms to children of all ages. ITiCSE '12 : 17th Annual Conference on Innovation and Technology in Computer Science Education, Jul 2012, Haifa, Israel. pp.34-39, ⟨10.1145/2325296.2325308⟩. ⟨hal-00728212⟩

Accès au bibtex

ref_biblio

Damien Mac Namara, John Paul Gibson, Ken Oakley. A preliminary study on a DualVote and Prêt à Voter hybrid system. CeDEM 2012: International Conference for E-Democracy and Open Government, May 2012, Krems, Austria. pp.77-89. ⟨hal-03377886⟩

Accès au texte intégral et bibtex

2011

ref_biblio

Kevin Casey, John Paul Gibson. (m)Oodles of data : mining Moodle to understand student behaviour. ICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71. ⟨hal-01354792⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Damien Macnamara, Ken Oakley. Just like paper and the 3-colour protocol : a voting interface requirements engineering case study. REVOTE '11 : International Workshop on Requirements Engineering for Electronic Voting Systems, Aug 2011, Trento, Italy. pp.66-75, ⟨10.1109/REVOTE.2011.6045917⟩. ⟨hal-00641415⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Jean-Luc Raffy. A "future-proof" postgraduate software engineering programme : maintainability issues. ICSEA '11 : The Sixth International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.471-476. ⟨hal-00641386⟩

Accès au bibtex

ref_biblio

Damien Macnamara, Ted Scully, John Paul Gibson, Ken Oakley, Francis Carmody, et al.. DualVote : addressing usability and verifiability issues in electronic voting systems. CeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322. ⟨hal-00641404⟩

Accès au bibtex

2010

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Engineering a distributed e-voting system architecture : meeting critical requirements. ISARCS '10 :1rst International Symposium on Architecting Critical Systems, Jun 2010, Prague, Czech Republic. pp.89-108, ⟨10.1007/978-3-642-13556-9_6⟩. ⟨hal-00817746⟩

Accès au bibtex

ref_biblio

Damien Macnamara, Francis Carmody, Ted Scully, Ken Oakley, Elizabeth Quane, et al.. Dual vote : a novel user interface for e-voting systems. IHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138. ⟨hal-01354800⟩

Accès au bibtex

2009

ref_biblio

John Paul Gibson. Challenging the lecturer : learning from the teacher's mistakes. ICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10. ⟨hal-01367813⟩

Accès au texte intégral et bibtex

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Sculpturing event-B models with RODIN : 'Holes and Lumps' in teaching refinement through problem-based learning. TFM B'2009 : From Research to Teaching Formal Methods - The B Method, Jun 2009, Nantes, France. pp.7 - 21. ⟨hal-01367811⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Feature interactions in a software product line for e-voting. ICFI '09 : 10th International Conference on Feature Interactions in Telecommunications and Software Systems, Jun 2009, Lisbon, Portugal. pp.91-106, ⟨10.3233/978-1-60750-014-8-91⟩. ⟨hal-00817774⟩

Accès au bibtex

2008

ref_biblio

John Paul Gibson, Margaret Mcgaley. Verification and maintenance of e-voting systems and standards. ECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290. ⟨hal-01354839⟩

Accès au bibtex

ref_biblio

John Paul Gibson. Formal methods : never too young to start. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158. ⟨hal-01354846⟩

Accès au bibtex

ref_biblio

John Paul Gibson. Weaving a formal methods education with problem-based learning. ISoLA 2008 : 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2008, Porto Sani, Greece. pp.460 - 472, ⟨10.1007/978-3-540-88479-8_32⟩. ⟨hal-01354847⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. How do I know if my design is correct ?. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68. ⟨hal-01355087⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Analysis of a distributed e-voting system architecture against quality of service requirements. ICSEA 2008 : 3rd International Conference on Software Engineering Advances, Oct 2008, Sliema, Malta. pp.58 - 64, ⟨10.1109/ICSEA.2008.18⟩. ⟨hal-01354806⟩

Accès au bibtex

2007

ref_biblio

Dominique Cansell, Paul Gibson, Dominique Méry. Formal verification of tamper-evident storage for e-voting. 5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩. ⟨inria-00184833⟩

Accès au texte intégral et bibtex

2000

ref_biblio

Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p. ⟨inria-00099267⟩

Accès au bibtex

1999

ref_biblio

Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications : a telephone simulation case study. 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145. ⟨inria-00108114⟩

Accès au texte intégral et bibtex

ref_biblio

Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179. ⟨inria-00098998⟩

Accès au bibtex

ref_biblio

John Paul Gibson, Geoff Hamilton, Dominique Méry. Integration Problems in Telephone Feature requirements. Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p. ⟨inria-00098882⟩

Accès au bibtex

1998

ref_biblio

Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements. Rigorous Object Oriented Methods, 1998, none, 20 p. ⟨inria-00098617⟩

Accès au bibtex

ref_biblio

Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods: Lessons to learn. Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p. ⟨inria-00098616⟩

Accès au bibtex

ref_biblio

Dominique Méry, Jean-Paul Gibson. Fair Objects. Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p. ⟨inria-00098620⟩

Accès au bibtex

Chapitre d'ouvrage

2022

ref_biblio

Dympna O’sullivan, John Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon. The future of medicine is digital: exploring the ethics of digital pills. MEDINFO 2021: One world, one health – global partnership for digital innovation, 290, IOS Press, pp.1120 - 1121, 2022, Studies in Health Technology and Informatics, 978-1-64368-264-8. ⟨10.3233/SHTI220297⟩. ⟨hal-03729314⟩

Accès au texte intégral et bibtex

2021

ref_biblio

John Paul Gibson, Jean-Luc Raffy. Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩. ⟨hal-02941575⟩

Accès au texte intégral et bibtex

ref_biblio

Damian Gordon, John Paul Gibson, Brendan Tierney, Dympna O'Sullivan, Ioannis Stavrakakis. You must have your webcam on for the entire duration of the examination: the trade-off between the integrity of on-line assessments and the privacy rights of students. Moving technology ethics at the forefront of society, organisations and governments, Universidad de La Rioja, pp.65-75, 2021, 978-84-09-28672-0. ⟨hal-03377716⟩

Accès au texte intégral et bibtex

2000

ref_biblio

John Paul Gibson, Dominique Méry. Fair Objects. H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering. ⟨inria-00099324⟩

Accès au bibtex

HDR

2011

ref_biblio

John Paul Gibson. Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). Software Engineering [cs.SE]. Télécom Sud Paris, 2011. ⟨tel-01363179⟩

Accès au texte intégral et bibtex

Ouvrages

2016

ref_biblio

John Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares (Dir.). The role of telecommunications in electronic voting. Springer-Verlag, 71, n°7/8, pp.422, 2016, 0003-4347. ⟨hal-01466195⟩

Accès au bibtex

Rapport

1998

ref_biblio

Jean-Paul Gibson. An Object Oriented Requirements Capture and Analysis Environment. [Intern report] 98-R-010 || gibson98g, 1998, 33 p. ⟨inria-00098728⟩

Accès au texte intégral et bibtex

ref_biblio

Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013 || gibson98b, 1998, 27 p. ⟨inria-00098729⟩

Accès au texte intégral et bibtex