Controlled vocabularies and semantics in systems biology
Courtot, Mélanie, Juty, Nick, Knüpfer, Christian, Waltemath, Dagmar, Zhukova, Anna, Dräger, Andreas, Dumontier, Michel, Finney, Andrew +19 more·2011·Molecular Systems Biology
Cited by (283)
Items 101–200 of 283
- An updated genome-scale metabolic network reconstruction of Pseudomonas aeruginosa PA14 to characterize mucin-driven shifts in bacterial metabolismDawson D. Payne, Alina Renz, Laura J. Dunphy, T. Lewis, A. Dräger, J. Papin · 2021 · bioRxiv
- Reusing simulation experiment specifications to support developing models by successive extensionDan-Hua Peng, Tom Warnke, Fiete Haack, A. Uhrmacher · 2016 · Simulation modelling practice and theory
- Annotation-based feature extraction from sets of SBML modelsRebekka Alm, Dagmar Waltemath, M. Wolfien, O. Wolkenhauer, R. Henkel · 2015 · Journal of Biomedical Semantics
- Challenges for an enzymatic reaction kinetics databaseUlrike Wittig, Maja Rey, Renate Kania, Meik Bittkowski, Lei Shi, Martin Golebiewski, A. Weidemann, Wolfgang Müller, Isabel Rojas · 2014 · The FEBS Journal
- Relating simulation studies by provenance—Developing a family of Wnt signaling modelsBudde, Kai, Smith, Jacob, Wilsdorf, Pia, Haack, Fiete, Uhrmacher, Adelinde M. · 2021 · PLOS Computational Biology
- Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016Falk Schreiber, Gary D Bader, Padraig Gleeson, Martin Golebiewski, M. Hucka, N. Le Novère, C. Myers, D. Nickerson, B. Sommer, D. Walthemath · 2016 · Journal of Integrative Bioinformatics
- Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualizationGoksel Misirli, M. Cavaliere, W. Waites, Matthew R. Pocock, C. Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, V. Danos, A. Wipat · 2015 · Bioinform.
- Data management and data enrichment for systems biology projects.Ulrike Wittig, Maja Rey, A. Weidemann, Wolfgang Müller · 2017 · Journal of Biotechnology
- Model Integration in Computational Biology: The Role of Reproducibility, Credibility and UtilityJonathan R. Karr, Rahuman S. Malik-Sheriff, James Osborne, Gilberto C. González-Parra, Eric Forgoston, Ruth Bowness, Ya-Ling Liu, R. Thompson, W. Garira, J. Barhak et al. · 2022 · Frontiers in Systems Biology
- Curating and comparing 114 strain-specific genome-scale metabolic models of Staphylococcus aureusAlina Renz, Andreas Dräger · 2021 · npj Systems Biology and Applications
- Knowledge representation and data sharing to unlock crop variation for nutritional food securityLiliana Andrés-Hernández, A. Baten, Razlin Azman Halimi, R. Walls, G. King · 2020 · Crop science
- Proceedings of the 2017 Winter Simulation ConferenceW. K. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, E. Page · 2017
- From FAIR to CURE: Guidelines for Computational Models of Biological SystemsHerbert M. Sauro, E. Agmon, M. Blinov, J. Gennari, Joseph L. Hellerstein, Adel Heydarabadipour, Peter Hunter, Bartholomew E. Jardine, Elebeoba E. May, David P. Nickerson et al. · 2025 · arXiv.org
- Synthetic biology open language (SBOL) version 3.1.0Lukas Buecherl, Tom Mitchell, James Scott-Brown, P. Vaidyanathan, G. Vidal, Hasan Baig, Bryan A. Bartley, Jacob Beal, M. Crowther, Pedro Fontanarrosa et al. · 2023 · Journal of Integrative Bioinformatics
- Practical Resources for Enhancing the Reproducibility of Mechanistic Modeling in Systems BiologyM. Blinov, J. Gennari, Jonathan R. Karr, I. Moraru, D. Nickerson, H. Sauro · 2021 · Current Opinion in Systems Biology
- Reusing simulation experiment specifications in developing models by successive composition — a case study of the Wnt/ β -catenin signaling pathwayDanhua Peng, Tom Warnke, Fiete Haack, Adelinde M. Uhrmacher · 2017 · SIMULATION
- The simulation experiment description markup language (SED-ML): language specification for level 1 version 4Smith, Lucian P., Bergmann, Frank T., Garny, Alan, Helikar, Tomáš, Karr, Jonathan, Nickerson, David, Sauro, Herbert, Waltemath, Dagmar, König, Matthias · 2021 · Journal of Integrative Bioinformatics
- Specifications of standards in systems and synthetic biology: status and developments in 2020Schreiber, Falk, Sommer, Björn, Czauderna, Tobias, Golebiewski, Martin, Gorochowski, Thomas E., Hucka, Michael, Keating, Sarah M., König, Matthias, Myers, Chris, Nickerson, David et al. · 2020 · Journal of Integrative Bioinformatics
- Quantitative evaluation of ontology design patterns for combining pathology and anatomy ontologiesSarah M. Alghamdi, Beth A. Sundberg, John P. Sundberg, Paul N. Schofield, Robert Hoehndorf · 2019 · Scientific Reports
- A case study: semantic integration of gene-disease associations for type 2 diabetes mellitus from literature and biomedical data resources.Dietrich Rebholz-Schuhmann, Christoph Grabmüller, Silvestras Kavaliauskas, Samuel Croset, Peter M. Woollard, R. Backofen, W. Filsell, Dominic Clark · 2014 · Drug Discovery Today
- Hierarchical modeling for synthetic biology.D. Chandran, H. Sauro · 2012 · ACS Synthetic Biology
- Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model DefinitionsHucka, Michael, Bergmann, Frank T., Dräger, Andreas, Hoops, Stefan, Keating, Sarah M., Le Novère, Nicolas, Myers, Chris J., Olivier, Brett G., Sahle, Sven, Schaff, James C. et al. · 2015 · Journal of Integrative Bioinformatics
- Graph databases in systems biology: a systematic reviewIlya Mazein, Adrien Rougny, Alexander Mazein, Ron Henkel, Lea Gütebier, Lea Michaelis, Marek Ostaszewski, Reinhard Schneider, Venkata Satagopam, Lars Juhl Jensen et al. · 2024 · Briefings in Bioinformatics
- Ten simple rules for creating reusable pathway models for computational analysis and visualizationK. Hanspers, M. Kutmon, S. Coort, D. Digles, Lauren J Dupuis, F. Ehrhart, Finterly Hu, E. Lopes, Marvin Martens, Nhung Pham et al. · 2021 · PLoS Comput. Biol.
- SBOannotator: a Python tool for the automated assignment of systems biology ontology termsNantia Leonidou, Elisabeth Fritze, Alina Renz, A. Dräger · 2023 · Bioinform.
- Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019Falk Schreiber, B. Sommer, Gary D Bader, Padraig Gleeson, Martin Golebiewski, M. Hucka, Sarah M. Keating, Matthias König, C. Myers, D. Nickerson et al. · 2019 · Journal of Integrative Bioinformatics
- Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1C. Madsen, Ángel Goñi Moreno, Zachary Palchick, U. P, Nicholas Roehner, Bryan A. Bartley, Swapnil P. Bhatia, Shyam P. Bhakta, Mike Bissell, Kevin Clancy et al. · 2019 · Journal of Integrative Bioinformatics
- phraSED-ML: A paraphrased, human-readable adaptation of SED-MLKiri Choi, Lucian P. Smith, J. Medley, Herbert M. Sauro · 2016 · J. Bioinform. Comput. Biol.
- Semantic Data and Models Sharing in Systems Biology: The Just Enough Results Model and the SEEK PlatformK. Wolstencroft, S. Owen, Olga Krebs, Wolfgang Müller, Quyen Nguyen, J. Snoep, C. Goble · 2013 · International Workshop on the Semantic Web
- Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 2Frank T. Bergmann, Jonathan Cooper, N. Le Novère, D. Nickerson, Dagmar Waltemath · 2015 · Journal of Integrative Bioinformatics
- ModelBricks—modules for reproducible modeling improving model annotation and provenanceAnn E. Cowan, Pedro Mendes, Michael L. Blinov · 2019 · npj Systems Biology and Applications
- COMODI: an ontology to characterise differences in versions of computational models in biologyMartin Scharm, Dagmar Waltemath, P. Mendes, O. Wolkenhauer · 2016 · Journal of Biomedical Semantics
- Structure, function, and behaviour of computational models in systems biologyChristian rer. nat. Knüpfer, Clemens Beckstein, Peter Dittrich, Nicolas Gambardella Le Novère · 2013 · BMC Systems Biology
- Simulation Experiment Description Markup Language (SED-ML) : Level 1 Version 1Dagmar Waltemath, Frank T. Bergmann, R. Adams, N. Le Novère · 2011 · Nature Precedings
- The synthetic biology open language.C. Myers, Kevin Clancy, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Jacqueline Quinn, Nicholas Roehner, H. Sauro · 2015 · Methods in molecular biology
- A High-Quality Genome-Scale Model for Rhodococcus opacus MetabolismGarrett W. Roell, C. Schenk, Winston E. Anthony, Rhiannon Carr, A. Ponukumati, Joonhoon Kim, E. Akhmatskaya, Marcus B. Foston, G. Dantas, T. Moon et al. · 2023 · ACS Synthetic Biology
- Examining organic acid production potential and growth‐coupled strategies in Issatchenkia orientalis using constraint‐based modelingPatrick F. Suthers, Costas D. Maranas · 2022 · Biotechnology Progress
- Evaluating accessibility, usability and interoperability of genome-scale metabolic models for diverse yeasts speciesIván Domenzain, Fei-Ran Li, E. Kerkhoven, V. Siewers · 2021 · FEMS Yeast Research
- COVID-19 Disease Map, a computational knowledge repository of SARS-CoV-2 virus-host interaction mechanismsM. Ostaszewski, A. Niarakis, A. Mazein, I. Kuperstein, R. Phair, Aurelio Orta-Resendiz, Vidisha Singh, S. Aghamiri, M. Acencio, E. Glaab et al. · 2020 · bioRxiv
- Synthetic biology open language visual (SBOL visual) version 2.2Hasan Baig, Pedro Fontanarrosa, V. Kulkarni, James Alastair McLaughlin, P. Vaidyanathan, Bryan A. Bartley, Swapnil P. Bhatia, Shyam P. Bhakta, Mike Bissell, Kevin Clancy et al. · 2020 · Journal of Integrative Bioinformatics
- CSEO – the Cigarette Smoke Exposure OntologyE. Younesi, Sam Ansari, Michaela Gündel, Shiva Ahmadi, C. Coggins, J. Hoeng, M. Hofmann-Apitius, M. Peitsch · 2014 · Journal of Biomedical Semantics
- Correlating Information Contents of Gene Ontology Terms to Infer Semantic Similarity of Gene ProductsMingxin Gan · 2014 · Comput. Math. Methods Medicine
- A Distinct Expression Pattern of the Long 3′-Untranslated Region Dicer mRNA and Its Implications for Posttranscriptional Regulation in Colorectal CancerYasushi Hamaya, S. Kuriyama, T. Takai, Ken-ichi Yoshida, Takanori Yamada, M. Sugimoto, S. Osawa, K. Sugimoto, H. Miyajima, Shigeru Kanaoka · 2012 · Clinical and Translational Gastroenterology
- Clinical Applications of Metabolic Models in SBML FormatAlina Renz, Reihaneh Mostolizadeh, A. Dräger · 2020 · Elsevier eBooks
- The Systems Biology Graphical Notation: Current Status and Applications in Systems MedicineVasundra Touré, A. Dräger, Augustin Luna, U. Dogrusoz, Adrien Rougny · 2020 · Systems Medicine
- HuPSON: the human physiology simulation ontologyMichaela Gündel, E. Younesi, Ashutosh Malhotra, Jiali Wang, Hui Li, Bi-Jun Zhang, B. de Bono, Heinz-Theodor Mevissen, M. Hofmann-Apitius · 2013 · Journal of Biomedical Semantics
- Musculoskeletal Modelling and the Physiome ProjectJustin W. Fernandez, Ju Zhang, V. Shim, Jacob T. Munro, Massimo Sartori, T. Besier, D. Lloyd, D. Nickerson, P. Hunter · 2018 · Courses and lectures
- Reproducibility of Model-Based Results in Systems BiologyDagmar Waltemath, R. Henkel, Felix Winter, O. Wolkenhauer · 2013 · Springer eBooks
- Synthetic biology open language visual (SBOL Visual) version 2.3Hasan Baig, Pedro Fontanarossa, V. Kulkarni, James Alastair McLaughlin, P. Vaidyanathan, Bryan A. Bartley, Shyam P. Bhakta, Swapnil P. Bhatia, Mike Bissell, Kevin Clancy et al. · 2021 · Journal of Integrative Bioinformatics
- First Genome-Scale Metabolic Model of Dolosigranulum pigrum Confirms Multiple AuxotrophiesAlina Renz, Lina Widerspick, Andreas Dräger · 2021 · Metabolites
- Nanoinformatics: Opportunities and challenges in the development and delivery of healthcare products in developing countriesProfessor Wilson Nwankwo, K. Ukhurebor · 2021 · IOP Conference Series: Earth and Environment
- SBGN Bricks Ontology as a tool to describe recurring concepts in molecular networksAdrien Rougny, Vasundra Touré, J. Albanese, D. Waltemath, Denis Shirshov, A. Sorokin, Gary D Bader, M. Blinov, A. Mazein · 2020 · bioRxiv
- Integration of Structured Biological Data Sources using Biological Expression LanguageCharles Tapley Hoyt, D. Domingo-Fernándéz, S. Mubeen, J. Llaó, Andrej Konotopez, C. Ebeling, C. Birkenbihl, Ozlem Muslu, Brad English, Simon Müller et al. · 2019 · bioRxiv
- Identifying frequent patterns in biochemical reaction networks: a workflowFabienne Lambusch, Dagmar Waltemath, O. Wolkenhauer, K. Sandkuhl, Christian Rosenke, R. Henkel · 2018 · PeerJ Preprints
- A brief history of COMBINEChris John Myers, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Nicolas Gambardella Le Novère, David Phillip Nickerson, Falk Schreiber, Dagmar Waltemath · 2017 · Winter Simulation Conference
- Specifications of standards in systems and synthetic biology: status, developments, and tools in 2024Martin Golebiewski, Gary D. Bader, Padraig Gleeson, Thomas E. Gorochowski, Sarah Keating, Matthias König, Chris John Myers, David Phillip Nickerson, Björn Sommer, Dagmar Waltemath et al. · 2024 · Berichte aus der medizinischen Informatik und Bioinformatik/Journal of integrative bioinformatics
- From knowledge to models: Automated modeling in systems and synthetic biologyB. Gyori, John A. Bachman · 2021 · Current Opinion in Systems Biology
- Converting Alzheimer's Disease Map into a Heavyweight Ontology: A Formal Network to Integrate DataVincent Henry, I. Moszer, O. Dameron, M. Potier, M. Hofmann-Apitius, O. Colliot · 2018 · Data Integration in the Life Sciences
- Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2017Falk Schreiber, Gary D Bader, Padraig Gleeson, Martin Golebiewski, M. Hucka, Sarah M. Keating, N. Le Novère, C. Myers, D. Nickerson, B. Sommer et al. · 2018 · Journal of Integrative Bioinformatics
- Qualitative dynamics semantics for SBGN process descriptionAdrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé · 2016 · BMC Systems Biology
- The Input Signal Step Function (ISSF), a Standard Method to Encode Input Signals in SBML Models with Software Support, Applied to Circadian Clock ModelsR. Adams, N. Tsorman, K. Stratford, O. Akman, Stephen Gilmore, N. Juty, N. Le Novère, A. Millar · 2012 · Journal of Biological Rhythms
- Tav4SB: integrating tools for analysis of kinetic models of biological systemsM. Rybiński, Michal Lula, Pawel Banasik, S. Lasota, A. Gambin · 2012 · BMC Systems Biology
- Exploring the metabolic profile of A. baumannii for antimicrobial development using genome-scale modelingNantia Leonidou, Yufan Xia, Lea Friedrich, Monika Schütz, Andreas Dräger · 2024 · PLoS Pathogens
- SBOL Visual 2 OntologyGoksel Misirli, J. Beal, Thomas E. Gorochowski, G. Stan, A. Wipat, C. Myers · 2020 · bioRxiv
- A physiome interoperability roadmap for personalized drug developmentSimon Thomas, Katherine Wolstencroft, Bernard de Bono, Peter John Hunter · 2016 · Interface Focus
- In Silico Cell: Challenges and PerspectivesIlya R. Akberdin · 2013 · Mathematical Biology and Bioinformatics
- Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 2.Frank T. Bergmann, Jonathan Cooper, N. Le Novère, D. Nickerson, Dagmar Waltemath · 2015 · Journal of Integrative Bioinformatics
- Simulation Experiment Description Markup Language (SED-ML)Dagmar Waltemath, N. Le Novère · 2014 · Encyclopedia of Computational Neuroscience
- Reconciliation and evolution of Penicillium rubens genome-scale metabolic networks–What about specialised metabolism?Delphine Nègre, A. Larhlimi, Samuel Bertrand · 2023 · bioRxiv
- A semantics, energy-based approach to automate biomodel compositionNiloofar Shahidi, M. Pan, K. Tran, E. Crampin, D. Nickerson · 2021 · bioRxiv
- Synthetic Biology Curation Tools (SYNBICT).Nicholas Roehner, Jeanet V. Mante, C. Myers, J. Beal · 2021 · ACS Synthetic Biology
- Countering reproducibility issues in mathematical models with software engineering techniques: A case study using a one-dimensional mathematical model of the atrioventricular nodeChristopher Schölzel, Valeria Blesius, G. Ernst, A. Goesmann, Andreas Dominik · 2021 · bioRxiv
- BpForms and BcForms: a toolkit for concretely describing non-canonical polymers and complexes to facilitate global biochemical networksPaul F. Lang, Yassmine Chebaro, Xiaoyue Zheng, John A. P. Sekar, Bilal Shaikh, D. Natale, Jonathan R. Karr · 2019 · Genome Biology
- The Dangers of Plug-and-Play Simulation Using Shared ModelsE. De Schutter · 2014 · Neuroinformatics
- Towards a semantic representation for multi-scale finite element biosimulation experimentsAndré Freitas, Margaret Jones, Kartik Asooja, Christos Bellos, Steve J. Elliott, S. Stenfelt, Panagiotis Hasapis, Christos Georgousopoulos, T. Marquardt, N. Filipović et al. · 2013 · International Conferences on Biological Information and Biomedical Engineering
- SED-ED, a workflow editor for computational biology experiments written in SED-MLR. Adams · 2012 · Bioinform.
- From FAIR to CURE: guidelines for computational models of biological systemsHerbert M. Sauro, E. Agmon, M. Blinov, John H. Gennari, Joseph L. Hellerstein, Adel Heydarabadipour, Bartholomew E. Jardine, E. May, D. Nickerson, Lucian P. Smith et al. · 2026 · npj Systems Biology and Applications
- Simulation studies of social systems: telling the story based on provenance patternsPia Wilsdorf, Oliver Reinhardt, Toby Prike, Martin Hinsch, Jakub Bijak, Adelinde M. Uhrmacher · 2024 · Royal Society Open Science
- Biology System Description Language (BiSDL): a modeling language for the design of multicellular synthetic biological systemsLeonardo Giannantoni, Roberta Bardini, Alessandro Savino, Stefano Di Carlo · 2024 · BMC Bioinformatics
- New workflow predicts drug targets against SARS-CoV-2 via metabolic changes in infected cellsNantia Leonidou, Alina Renz, Reihaneh Mostolizadeh, A. Dräger · 2023 · PLoS Comput. Biol.
- Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022Matthias König, Padraig Gleeson, Martin Golebiewski, Thomas E. Gorochowski, M. Hucka, Sarah M. Keating, Chris J. Myers, David P. Nickerson, B. Sommer, D. Waltemath et al. · 2023 · Journal of Integrative Bioinformatics
- Specifications of standards in systems and synthetic biology: status and developments in 2021Falk Schreiber, Padraig Gleeson, Martin Golebiewski, T. Gorochowski, M. Hucka, Sarah M. Keating, Matthias König, C. Myers, D. Nickerson, B. Sommer et al. · 2021 · Journal of Integrative Bioinformatics
- LePrimAlign: local entropy-based alignment of PPI networks to predict conserved modulesSawal Maskey, Young‐Rae Cho · 2019 · BMC Genomics
- Extracting reproducible simulation studies from model repositories using the combinearchive toolkitMartin Scharm, Dagmar Waltemath · 2015 · Datenbanksysteme für Business, Technologie und Web
- Combining computational models, semantic annotations, and associated simulation experiments in a graph databaseR. Henkel, O. Wolkenhauer, D. Walthemath · 2014
- A dedicated database system for handling multi-level data in systems biologyNatapol Pornputtapong, K. Wanichthanarak, A. Nilsson, I. Nookaew, Jens C. O. Nielsen · 2014 · Source Code for Biology and Medicine
- Biomedical Ontologies: Coverage, Access and UseJoão D. Ferreira, David Carriço Teixeira, Cátia Pesquita · 2020 · Elsevier eBooks
- Data Management in Computational Systems Biology: Exploring Standards, Tools, Databases, and Packaging Best PracticesNatalie Stanford, Martin Scharm, Paul D. Dobson, Martin Golebiewski, Michael Hucka, Varun B. Kothamachu, David Phillip Nickerson, Stuart Owen, Jürgen Pahle, Ulrike Wittig et al. · 2019 · Methods in molecular biology
- Biological and Medical Ontologies: Systems Biology Ontology (SBO)Anna Bernasconi, M. Masseroli · 2019 · Encyclopedia of Bioinformatics and Computational Biology
- Data Formats for Systems Biology and Quantitative ModelingMartin Golebiewski · 2019 · Encyclopedia of Bioinformatics and Computational Biology
- Platforms for Genetic Design AutomationChris John Myers · 2013 · Methods in microbiology
- A Large-Scale Assessment of Exact Model Reduction in the BioModels RepositoryIsabel Cristina Pérez-Verona, M. Tribastone, Andrea Vandin · 2019 · Computational Methods in Systems Biology
- A linked data platform for finite element biosimulationsMuntazir Mehdi, Yasar Khan, André Freitas, J. Jares, S. Decker, Ratnesh Sahay · 2015 · International Conference on Semantic Systems
- iBIRA – integrated bioinformatics information resource accessS. Ram, N. L. Rao · 2012
- Semantic Systems Biology: Formal Knowledge Representation in Systems Biology for Model Construction, Retrieval, Validation and DiscoveryM. Dumontier, L. Chepelev, R. Hoehndorf · 2013 · Springer eBooks
- Reproducibility in systems biology modellingTiwari, Krishna, Kananathan, Sarubini, Roberts, Matthew G, Meyer, Johannes P, Sharif Shohan, Mohammad Umer, Xavier, Ashley, Maire, Matthieu, Zyoud, Ahmad, Men, Jinghao, Ng, Szeyi et al. · 2020 · bioRxiv (Cold Spring Harbor Laboratory)
- Standardized Representation of Parts and Assembly for Build Planning.Jacob Beal, Vinoo Selvarajah, Gaël Chambonnier, Traci L. Haddock, A. Vignoni, Gonzalo Vidal, Nicholas Roehner · 2023 · ACS Synthetic Biology
- SBMLKinetics: a tool for annotation-independent classification of reaction kinetics for SBML modelsJin Xu · 2023 · bioRxiv
- Tyto: A Python Tool Enabling Better Annotation Practices for Synthetic Biology Data-Sharing.Bryan A. Bartley · 2022 · ACS Synthetic Biology
- Overview: Standards for Modeling in Systems MedicineAndreas Dräger, Dagmar Waltemath · 2020 · Elsevier eBooks