BibTeX records: Mar Marcos

download as .bib file

@article{DBLP:journals/artmed/MartinezSalvadorMPM23,
  author       = {Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos and
                  Patricia Palau and
                  Eloy Dom{\'{\i}}nguez Maf{\'{e}}},
  title        = {A model-driven transformation approach for the modelling of processes
                  in clinical practice guidelines},
  journal      = {Artif. Intell. Medicine},
  volume       = {137},
  pages        = {102495},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.artmed.2023.102495},
  doi          = {10.1016/J.ARTMED.2023.102495},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/artmed/MartinezSalvadorMPM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/TeijeMJ23,
  author       = {Annette ten Teije and
                  Mar Marcos and
                  Jose M. Juarez},
  title        = {In Memoriam David Ria{\~{n}}o, 1968-2022},
  journal      = {Artif. Intell. Medicine},
  volume       = {143},
  pages        = {102623},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.artmed.2023.102623},
  doi          = {10.1016/J.ARTMED.2023.102623},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/artmed/TeijeMJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/WoenselTMAAABCEHRKKMMMPRTWP23,
  author       = {William Van Woensel and
                  Samson W. Tu and
                  Wojtek Michalowski and
                  Syed Sibte Raza Abidi and
                  Samina Abidi and
                  Jos{\'{e}} Ram{\'{o}}n Alonso and
                  Alessio Bottrighi and
                  Marc Carrier and
                  Ruth Edry and
                  Irit Hochberg and
                  Malvika Rao and
                  Stephen P. Kingwell and
                  Alexandra Kogan and
                  Mar Marcos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Martin Michalowski and
                  Luca Piovesan and
                  David Ria{\~{n}}o and
                  Paolo Terenziani and
                  Szymon Wilk and
                  Mor Peleg},
  title        = {A community-of-practice-based evaluation methodology for knowledge
                  intensive computational methods and its application to multimorbidity
                  decision support},
  journal      = {J. Biomed. Informatics},
  volume       = {142},
  pages        = {104395},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jbi.2023.104395},
  doi          = {10.1016/J.JBI.2023.104395},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/WoenselTMAAABCEHRKKMMMPRTWP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/Minarro-Gimenez23,
  author       = {Jos{\'{e}} Antonio Mi{\~{n}}arro{-}Gim{\'{e}}nez and
                  Carlos Fern{\'{a}}ndez{-}Llatas and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Catalina Mart{\'{\i}}nez{-}Costa and
                  Mar Marcos and
                  Jesualdo Tom{\'{a}}s Fern{\'{a}}ndez{-}Breis},
  editor       = {Jose M. Juarez and
                  Mar Marcos and
                  Gregor Stiglic and
                  Allan Tucker},
  title        = {Ontology Model for Supporting Process Mining on Healthcare-Related
                  Data},
  booktitle    = {Artificial Intelligence in Medicine - 21st International Conference
                  on Artificial Intelligence in Medicine, {AIME} 2023, Portoro{\v{z}},
                  Slovenia, June 12-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13897},
  pages        = {352--356},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34344-5\_42},
  doi          = {10.1007/978-3-031-34344-5\_42},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/Minarro-Gimenez23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aime/2023,
  editor       = {Jose M. Juarez and
                  Mar Marcos and
                  Gregor Stiglic and
                  Allan Tucker},
  title        = {Artificial Intelligence in Medicine - 21st International Conference
                  on Artificial Intelligence in Medicine, {AIME} 2023, Portoro{\v{z}},
                  Slovenia, June 12-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13897},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34344-5},
  doi          = {10.1007/978-3-031-34344-5},
  isbn         = {978-3-031-34343-8},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/Munoz-GamaMFJSH22,
  author       = {Jorge Munoz{-}Gama and
                  Niels Martin and
                  Carlos Fern{\'{a}}ndez{-}Llatas and
                  Owen A. Johnson and
                  Marcos Sep{\'{u}}lveda and
                  Emmanuel Helm and
                  Victor Galvez{-}Yanjari and
                  Eric Rojas and
                  Antonio Martinez{-}Millana and
                  Davide Aloini and
                  Ilaria Angela Amantea and
                  Robert Andrews and
                  Michael Arias and
                  Iris Beerepoot and
                  Elisabetta Benevento and
                  Andrea Burattin and
                  Daniel Capurro and
                  Josep Carmona and
                  Marco Comuzzi and
                  Benjamin Dalmas and
                  Rene de la Fuente and
                  Chiara Di Francescomarino and
                  Claudio Di Ciccio and
                  Roberto Gatta and
                  Chiara Ghidini and
                  Fernanda Gonzalez{-}Lopez and
                  Gema Ib{\'{a}}{\~{n}}ez{-}S{\'{a}}nchez and
                  Hilda B. Klasky and
                  Angelina Prima Kurniati and
                  Xixi Lu and
                  Felix Mannhardt and
                  Ronny Mans and
                  Mar Marcos and
                  Renata Medeiros de Carvalho and
                  Marco Pegoraro and
                  Simon K. Poon and
                  Luise Pufahl and
                  Hajo A. Reijers and
                  Simon Remy and
                  Stefanie Rinderle{-}Ma and
                  Lucia Sacchi and
                  Fernando Seoane and
                  Minseok Song and
                  Alessandro Stefanini and
                  Emilio Sulis and
                  Arthur H. M. ter Hofstede and
                  Pieter J. Toussaint and
                  Vicente Traver and
                  Zoe Valero{-}Ramon and
                  Inge van de Weerd and
                  Wil M. P. van der Aalst and
                  Rob J. B. Vanwersch and
                  Mathias Weske and
                  Moe Thandar Wynn and
                  Francesca Zerbato},
  title        = {Process mining for healthcare: Characteristics and challenges},
  journal      = {J. Biomed. Informatics},
  volume       = {127},
  pages        = {103994},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jbi.2022.103994},
  doi          = {10.1016/J.JBI.2022.103994},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/Munoz-GamaMFJSH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdi/Manas-GarciaGCA22,
  author       = {Alejandro Ma{\~{n}}as{-}Garc{\'{\i}}a and
                  Ismael Gonz{\'{a}}lez{-}Valverde and
                  E. Camacho{-}Ramos and
                  Angel Alberich{-}Bayarri and
                  Jos{\'{e}} Alberto Maldonado and
                  Mar Marcos and
                  Montserrat Robles},
  title        = {Radiological Structured Report Integrated with Quantitative Imaging
                  Biomarkers and Qualitative Scoring Systems},
  journal      = {J. Digit. Imaging},
  volume       = {35},
  number       = {3},
  pages        = {396--407},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10278-022-00589-9},
  doi          = {10.1007/S10278-022-00589-9},
  timestamp    = {Sat, 26 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jdi/Manas-GarciaGCA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GrangelCMM21,
  author       = {Reyes Grangel and
                  Cristina Campos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos},
  editor       = {Hans{-}Georg Fill and
                  Marten van Sinderen and
                  Leszek A. Maciaszek},
  title        = {A Meta-model for the Guideline Definition Language},
  booktitle    = {Proceedings of the 16th International Conference on Software Technologies,
                  {ICSOFT} 2021, Online Streaming, July 6-8, 2021},
  pages        = {59--68},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010543400590068},
  doi          = {10.5220/0010543400590068},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/GrangelCMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/MaldonadoMFGLM20,
  author       = {Jos{\'{e}} Alberto Maldonado and
                  Mar Marcos and
                  Jesualdo Tom{\'{a}}s Fern{\'{a}}ndez{-}Breis and
                  Vicente Miguel Gim{\'{e}}nez{-}Solano and
                  Mar{\'{\i}}a Del Carmen Legaz{-}Garc{\'{\i}}a and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
  title        = {{CLIN-IK-LINKS:} {A} platform for the design and execution of clinical
                  data transformation and reasoning workflows},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {197},
  pages        = {105616},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cmpb.2020.105616},
  doi          = {10.1016/J.CMPB.2020.105616},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmpb/MaldonadoMFGLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/MarcosCM19,
  author       = {Mar Marcos and
                  Cristina Campos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
  editor       = {Mar Marcos and
                  Jose M. Juarez and
                  Richard Lenz and
                  Grzegorz J. Nalepa and
                  Slawomir Nowaczyk and
                  Mor Peleg and
                  Jerzy Stefanowski and
                  Gregor Stiglic},
  title        = {A Practical Exercise on Re-engineering Clinical Guideline Models Using
                  Different Representation Languages},
  booktitle    = {Artificial Intelligence in Medicine: Knowledge Representation and
                  Transparent and Explainable Systems - {AIME} 2019 International Workshops,
                  KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11979},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37446-4\_1},
  doi          = {10.1007/978-3-030-37446-4\_1},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aime/MarcosCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GattaVFMOSLMMCB19,
  author       = {Roberto Gatta and
                  Mauro Vallati and
                  Carlos Fern{\'{a}}ndez{-}Llatas and
                  Antonio Martinez{-}Millana and
                  Stefania Orini and
                  Lucia Sacchi and
                  Jacopo Lenkowicz and
                  Mar Marcos and
                  Jorge Munoz{-}Gama and
                  Michel A. Cuendet and
                  Berardino De Bari and
                  Luis Marco{-}Ruiz and
                  Alessandro Stefanini and
                  Maurizio Castellano},
  editor       = {Chiara Di Francescomarino and
                  Remco M. Dijkman and
                  Uwe Zdun},
  title        = {Clinical Guidelines: {A} Crossroad of Many Research Areas. Challenges
                  and Opportunities in Process Mining for Healthcare},
  booktitle    = {Business Process Management Workshops - {BPM} 2019 International Workshops,
                  Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {362},
  pages        = {545--556},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37453-2\_44},
  doi          = {10.1007/978-3-030-37453-2\_44},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/GattaVFMOSLMMCB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aime/2019k,
  editor       = {Mar Marcos and
                  Jose M. Juarez and
                  Richard Lenz and
                  Grzegorz J. Nalepa and
                  Slawomir Nowaczyk and
                  Mor Peleg and
                  Jerzy Stefanowski and
                  Gregor Stiglic},
  title        = {Artificial Intelligence in Medicine: Knowledge Representation and
                  Transparent and Explainable Systems - {AIME} 2019 International Workshops,
                  KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11979},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37446-4},
  doi          = {10.1007/978-3-030-37446-4},
  isbn         = {978-3-030-37445-7},
  timestamp    = {Thu, 09 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aime/2019k.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/Quesada-Martinez18,
  author       = {Manuel Quesada{-}Mart{\'{\i}}nez and
                  Mar Marcos and
                  Francisco Abad Navarro and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Jesualdo Tom{\'{a}}s Fern{\'{a}}ndez{-}Breis},
  title        = {Towards the semantic enrichment of Computer Interpretable Guidelines:
                  a method for the identification of relevant ontological terms},
  booktitle    = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, November 3-7, 2018},
  publisher    = {{AMIA}},
  year         = {2018},
  url          = {https://knowledge.amia.org/67852-amia-1.4259402/t004-1.4263758/t004-1.4263759/2976790-1.4263841/2976134-1.4263838},
  timestamp    = {Wed, 17 Apr 2024 11:47:15 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/Quesada-Martinez18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bise/Martinez-Salvador16,
  author       = {Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos},
  title        = {Supporting the Refinement of Clinical Process Models to Computer-Interpretable
                  Guideline Models},
  journal      = {Bus. Inf. Syst. Eng.},
  volume       = {58},
  number       = {5},
  pages        = {355--366},
  year         = {2016},
  url          = {https://doi.org/10.1007/s12599-016-0443-3},
  doi          = {10.1007/S12599-016-0443-3},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bise/Martinez-Salvador16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/Gonzalez-Ferrer16,
  author       = {Arturo Gonz{\'{a}}lez{-}Ferrer and
                  Mor Peleg and
                  Mar Marcos and
                  Jos{\'{e}} Alberto Maldonado},
  title        = {Analysis of the process of representing clinical statements for decision-support
                  applications: a comparison of openEHR archetypes and {HL7} virtual
                  medical record},
  journal      = {J. Medical Syst.},
  volume       = {40},
  number       = {7},
  pages        = {163:1--163:10},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10916-016-0524-3},
  doi          = {10.1007/S10916-016-0524-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jms/Gonzalez-Ferrer16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/KaiserM16,
  author       = {Katharina Kaiser and
                  Mar Marcos},
  title        = {Leveraging workflow control patterns in the domain of clinical practice
                  guidelines},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {16},
  pages        = {20},
  year         = {2016},
  url          = {https://doi.org/10.1186/s12911-016-0253-z},
  doi          = {10.1186/S12911-016-0253-Z},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/KaiserM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/MaldonadoMFPBLM16,
  author       = {Jos{\'{e}} Alberto Maldonado and
                  Mar Marcos and
                  Jesualdo Tom{\'{a}}s Fern{\'{a}}ndez{-}Breis and
                  Estibaliz Parcero and
                  Diego Bosc{\'{a}} and
                  Mar{\'{\i}}a Del Carmen Legaz{-}Garc{\'{\i}}a and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Montserrat Robles},
  title        = {A platform for exploration into chaining of web services for clinical
                  data transformation and reasoning},
  booktitle    = {{AMIA} 2016, American Medical Informatics Association Annual Symposium,
                  Chicago, IL, USA, November 12-16, 2016},
  publisher    = {{AMIA}},
  year         = {2016},
  url          = {https://knowledge.amia.org/amia-63300-1.3360278/t004-1.3364525/f004-1.3364526/2497141-1.3364742/2498200-1.3364739},
  timestamp    = {Wed, 17 Apr 2024 11:47:32 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/MaldonadoMFPBLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/Martinez-Salvador16,
  author       = {Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos and
                  Alejandro Ma{\~{n}}as and
                  Jos{\'{e}} Alberto Maldonado and
                  Montserrat Robles},
  editor       = {Alexander H{\"{o}}rbst and
                  Werner O. Hackl and
                  Nicolette de Keizer and
                  Hans{-}Ulrich Prokosch and
                  Mira Hercigonja{-}Szekeres and
                  Simon de Lusignan},
  title        = {Using {SNOMED} {CT} Expression Constraints to Bridge the Gap Between
                  Clinical Decision-Support Systems and Electronic Health Records},
  booktitle    = {Exploring Complexity in Health: An Interdisciplinary Systems Approach
                  - Proceedings of {MIE2016} at HEC2016, Munich, Germany, 28 August
                  - 2 September 2016},
  series       = {Studies in Health Technology and Informatics},
  volume       = {228},
  pages        = {504--508},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-678-1-504},
  doi          = {10.3233/978-1-61499-678-1-504},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/Martinez-Salvador16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/Martinez-Salvador15,
  author       = {Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos and
                  David Ria{\~{n}}o},
  title        = {An Algorithm for Guideline Transformation: From {BPMN} to {SDA}},
  booktitle    = {The 6th International Conference on Emerging Ubiquitous Systems and
                  Pervasive Networks {(EUSPN} 2015)/ The 5th International Conference
                  on Current and Future Trends of Information and Communication Technologies
                  in Healthcare {(ICTH-2015)/} Affiliated Workshops, September 27-30,
                  2015, Berlin, Germany},
  series       = {Procedia Computer Science},
  volume       = {63},
  pages        = {244--251},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.procs.2015.08.340},
  doi          = {10.1016/J.PROCS.2015.08.340},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euspn/Martinez-Salvador15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/MarcosTM14,
  author       = {Mar Marcos and
                  Joaqu{\'{\i}}n Torres{-}Sospedra and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
  editor       = {Silvia Miksch and
                  David Ria{\~{n}}o and
                  Annette ten Teije},
  title        = {Assessment of Clinical Guideline Models Based on Metrics for Business
                  Process Models},
  booktitle    = {Knowledge Representation for Health Care - 6th International Workshop,
                  {KR4HC} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014,
                  Vienna, Austria, July 21, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8903},
  pages        = {111--120},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13281-5\_8},
  doi          = {10.1007/978-3-319-13281-5\_8},
  timestamp    = {Mon, 03 Jan 2022 22:27:14 +0100},
  biburl       = {https://dblp.org/rec/conf/vsl/MarcosTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/Martinez-SalvadorMS14,
  author       = {Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Mar Marcos and
                  Anderson S{\'{a}}nchez},
  editor       = {Silvia Miksch and
                  David Ria{\~{n}}o and
                  Annette ten Teije},
  title        = {An Algorithm for Guideline Transformation: From {BPMN} to PROforma},
  booktitle    = {Knowledge Representation for Health Care - 6th International Workshop,
                  {KR4HC} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014,
                  Vienna, Austria, July 21, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8903},
  pages        = {121--132},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13281-5\_9},
  doi          = {10.1007/978-3-319-13281-5\_9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vsl/Martinez-SalvadorMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/MarcosMMBR13,
  author       = {Mar Marcos and
                  Jos{\'{e}} Alberto Maldonado and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Diego Bosc{\'{a}} and
                  Montserrat Robles},
  title        = {Interoperability of clinical decision-support systems and electronic
                  health records using archetypes: {A} case study in clinical trial
                  eligibility},
  journal      = {J. Biomed. Informatics},
  volume       = {46},
  number       = {4},
  pages        = {676--689},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jbi.2013.05.004},
  doi          = {10.1016/J.JBI.2013.05.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/MarcosMMBR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/MarcosMMMBR11,
  author       = {Mar Marcos and
                  Jos{\'{e}} Alberto Maldonado and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  David Moner and
                  Diego Bosc{\'{a}} and
                  Montserrat Robles},
  editor       = {Mor Peleg and
                  Nada Lavrac and
                  Carlo Combi},
  title        = {An Archetype-Based Solution for the Interoperability of Computerised
                  Guidelines and Electronic Health Records},
  booktitle    = {Artificial Intelligence in Medicine - 13th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2011, Bled, Slovenia, July 2-6, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6747},
  pages        = {276--285},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22218-4\_35},
  doi          = {10.1007/978-3-642-22218-4\_35},
  timestamp    = {Mon, 16 Sep 2019 15:30:05 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/MarcosMMMBR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MarcosM10,
  author       = {Mar Marcos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
  editor       = {David Ria{\~{n}}o and
                  Annette ten Teije and
                  Silvia Miksch and
                  Mor Peleg},
  title        = {Towards the Interoperability of Computerised Guidelines and Electronic
                  Health Records: An Experiment with openEHR Archetypes and a Chronic
                  Heart Failure Guideline},
  booktitle    = {Knowledge Representation for Health-Care - {ECAI} 2010 Workshop {KR4HC}
                  2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6512},
  pages        = {101--113},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18050-7\_8},
  doi          = {10.1007/978-3-642-18050-7\_8},
  timestamp    = {Mon, 03 Jan 2022 22:33:30 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/MarcosM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/LozanoMMAA09,
  author       = {Esther Lozano and
                  Mar Marcos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Albert Alonso and
                  Josep Ramon Alonso},
  editor       = {David Ria{\~{n}}o and
                  Annette ten Teije and
                  Silvia Miksch and
                  Mor Peleg},
  title        = {Experiences in the Development of Electronic Care Plans for the Management
                  of Comorbidities},
  booktitle    = {Knowledge Representation for Health-Care: Data, Processes and Guidelines,
                  {AIME} 2009 Workshop {KR4HC} 2009, Verona, Italy, July 19, 2009, Revised
                  Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5943},
  pages        = {113--123},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11808-1\_10},
  doi          = {10.1007/978-3-642-11808-1\_10},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/LozanoMMAA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/p/HommersomGLMM08,
  author       = {Arjen Hommersom and
                  Perry Groot and
                  Peter J. F. Lucas and
                  Mar Marcos and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
  editor       = {Annette ten Teije and
                  Silvia Miksch and
                  Peter J. F. Lucas},
  title        = {A Constraint-based Approach to Medical Guidelines and Protocols},
  booktitle    = {Computer-based Medical Guidelines and Protocols: {A} Primer and Current
                  Trends},
  series       = {Studies in Health Technology and Informatics},
  volume       = {139},
  pages        = {213--222},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-873-1-213},
  doi          = {10.3233/978-1-58603-873-1-213},
  timestamp    = {Mon, 28 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ios/p/HommersomGLMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/SerbanTHMP07,
  author       = {Radu Serban and
                  Annette ten Teije and
                  Frank van Harmelen and
                  Mar Marcos and
                  Cristina Polo{-}Conde},
  title        = {Extraction and use of linguistic patterns for modelling medical guidelines},
  journal      = {Artif. Intell. Medicine},
  volume       = {39},
  number       = {2},
  pages        = {137--149},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.artmed.2006.07.012},
  doi          = {10.1016/J.ARTMED.2006.07.012},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/SerbanTHMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/SeyfangMSWMMTR07,
  author       = {Andreas Seyfang and
                  Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador and
                  Radu Serban and
                  Jolanda Wittenberg and
                  Silvia Miksch and
                  Mar Marcos and
                  Annette ten Teije and
                  Kitty Rosenbrand},
  editor       = {Riccardo Bellazzi and
                  Ameen Abu{-}Hanna and
                  Jim Hunter},
  title        = {Maintaining Formal Models of Living Guidelines Efficiently},
  booktitle    = {Artificial Intelligence in Medicine, 11th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2007, Amsterdam, The Netherlands,
                  July 7-11, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4594},
  pages        = {441--445},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73599-1\_58},
  doi          = {10.1007/978-3-540-73599-1\_58},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/SeyfangMSWMMTR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/TeijeMBCDHLMRRS06,
  author       = {Annette ten Teije and
                  Mar Marcos and
                  Michael Balser and
                  Joyce van Croonenborg and
                  Christoph Duelli and
                  Frank van Harmelen and
                  Peter J. F. Lucas and
                  Silvia Miksch and
                  Wolfgang Reif and
                  Kitty Rosenbrand and
                  Andreas Seyfang},
  title        = {Improving medical protocols by formal methods},
  journal      = {Artif. Intell. Medicine},
  volume       = {36},
  number       = {3},
  pages        = {193--209},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.artmed.2005.10.006},
  doi          = {10.1016/J.ARTMED.2005.10.006},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/TeijeMBCDHLMRRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SeyfangMMWPR06,
  author       = {Andreas Seyfang and
                  Silvia Miksch and
                  Mar Marcos and
                  Jolanda Wittenberg and
                  Cristina Polo{-}Conde and
                  Kitty Rosenbrand},
  editor       = {Gerhard Brewka and
                  Silvia Coradeschi and
                  Anna Perini and
                  Paolo Traverso},
  title        = {Bridging the Gap Between Informal and Formal Guideline Representations},
  booktitle    = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
                  August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {141},
  pages        = {447--451},
  publisher    = {{IOS} Press},
  year         = {2006},
  timestamp    = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/SeyfangMMWPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchmittHBRM06,
  author       = {Jonathan Schmitt and
                  Alwin Hoffmann and
                  Michael Balser and
                  Wolfgang Reif and
                  Mar Marcos},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {Interactive Verification of Medical Guidelines},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_3},
  doi          = {10.1007/11813040\_3},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SchmittHBRM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/SerbanTMPRWC05,
  author       = {Radu Serban and
                  Annette ten Teije and
                  Mar Marcos and
                  Cristina Polo{-}Conde and
                  Kitty Rosenbrand and
                  Jolanda Wittenberg and
                  Joyce van Croonenborg},
  editor       = {Silvia Miksch and
                  Jim Hunter and
                  Elpida T. Keravnou},
  title        = {Design Patterns for Modelling Guidelines},
  booktitle    = {Artificial Intelligence in Medicine, 10th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2005, Aberdeen, UK, July 23-27, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3581},
  pages        = {121--125},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11527770\_16},
  doi          = {10.1007/11527770\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/SerbanTMPRWC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/SeyfangMPWMR05,
  author       = {Andreas Seyfang and
                  Silvia Miksch and
                  Cristina Polo{-}Conde and
                  Jolanda Wittenberg and
                  Mar Marcos and
                  Kitty Rosenbrand},
  editor       = {Silvia Miksch and
                  Jim Hunter and
                  Elpida T. Keravnou},
  title        = {{MHB} - {A} Many-Headed Bridge Between Informal and Formal Guideline
                  Representations},
  booktitle    = {Artificial Intelligence in Medicine, 10th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2005, Aberdeen, UK, July 23-27, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3581},
  pages        = {146--150},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11527770\_21},
  doi          = {10.1007/11527770\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/SeyfangMPWMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/SerbanTHMP05,
  author       = {Radu Serban and
                  Annette ten Teije and
                  Frank van Harmelen and
                  Mar Marcos and
                  Cristina Polo{-}Conde},
  editor       = {Silvia Miksch and
                  Jim Hunter and
                  Elpida T. Keravnou},
  title        = {Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical
                  Guidelines},
  booktitle    = {Artificial Intelligence in Medicine, 10th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2005, Aberdeen, UK, July 23-27, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3581},
  pages        = {191--200},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11527770\_28},
  doi          = {10.1007/11527770\_28},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aime/SerbanTHMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/SerbanTHMP05,
  author       = {Radu Serban and
                  Annette ten Teije and
                  Frank van Harmelen and
                  Mar Marcos and
                  Cristina Polo{-}Conde},
  editor       = {Katja Verbeeck and
                  Karl Tuyls and
                  Ann Now{\'{e}} and
                  Bernard Manderick and
                  Bart Kuijpers},
  title        = {Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical
                  Guidelines},
  booktitle    = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands
                  Conference on Artificial Intelligence, Brussels, Belgium, October
                  17-18, 2005},
  pages        = {381--382},
  publisher    = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
  year         = {2005},
  timestamp    = {Thu, 08 Dec 2005 07:17:40 +0100},
  biburl       = {https://dblp.org/rec/conf/bnaic/SerbanTHMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgp/BalserCCDHJLMMR04,
  author       = {Michael Balser and
                  {\'{O}}scar Coltell and
                  Joyce van Croonenborg and
                  Christoph Duelli and
                  Frank van Harmelen and
                  Albert Jovell and
                  Peter J. F. Lucas and
                  Mar Marcos and
                  Silvia Miksch and
                  Wolfgang Reif and
                  Kitty Rosenbrand and
                  Andreas Seyfang and
                  Annette ten Teije},
  editor       = {Katharina Kaiser and
                  Silvia Miksch and
                  Samson W. Tu},
  title        = {Protocure: Supporting the Development of Medical Protocols through
                  Formal Methods},
  booktitle    = {Computer-based Support for Clinical Guidelines and Protocols - Proceedings
                  of the Symposium on Computerized Guidelines and Protocols, {CGP} 2004,
                  Prague, Czech Republic, 12-14 April, 2004},
  series       = {Studies in Health Technology and Informatics},
  volume       = {101},
  pages        = {103--107},
  publisher    = {{IOS} Press},
  year         = {2004},
  url          = {https://doi.org/10.3233/978-1-60750-944-8-103},
  doi          = {10.3233/978-1-60750-944-8-103},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cgp/BalserCCDHJLMMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/Marcos03,
  author       = {Mar Marcos},
  title        = {Safe and Sound: Artificial Intelligence in Hazardous Applications
                  - John Fox, Subrata Das, {AAAI} Press, Menlo Park, CA, and {MIT} Press,
                  Cambridge, MA/London, UK, 2000, 326 pp., References, Index, Illus.,
                  {ISBN} 0-262-06211-9},
  journal      = {Artif. Intell. Medicine},
  volume       = {27},
  number       = {1},
  pages        = {103--106},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0933-3657(02)00082-9},
  doi          = {10.1016/S0933-3657(02)00082-9},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/Marcos03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/MarcosBTHD03,
  author       = {Mar Marcos and
                  Michael Balser and
                  Annette ten Teije and
                  Frank van Harmelen and
                  Christoph Duelli},
  editor       = {Michel Dojat and
                  Elpida T. Keravnou and
                  Pedro Barahona},
  title        = {Experiences in the Formalisation and Verification of Medical Protocols},
  booktitle    = {Artificial Intelligence in Medicine, 9th Conference on Artificial
                  Intelligence in Medicine in Europe, {AIME} 2003, Protaras, Cyprus,
                  October 18-22, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2780},
  pages        = {132--141},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39907-0\_19},
  doi          = {10.1007/978-3-540-39907-0\_19},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/MarcosBTHD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/GeldofTHMV03,
  author       = {Marije Geldof and
                  Annette ten Teije and
                  Frank van Harmelen and
                  Mar Marcos and
                  Peter Votruba},
  editor       = {Michel Dojat and
                  Elpida T. Keravnou and
                  Pedro Barahona},
  title        = {Informal and Formal Medical Guidelines: Bridging the Gap},
  booktitle    = {Artificial Intelligence in Medicine, 9th Conference on Artificial
                  Intelligence in Medicine in Europe, {AIME} 2003, Protaras, Cyprus,
                  October 18-22, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2780},
  pages        = {173--178},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39907-0\_25},
  doi          = {10.1007/978-3-540-39907-0\_25},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/GeldofTHMV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/SeyfangMM02,
  author       = {Andreas Seyfang and
                  Silvia Miksch and
                  Mar Marcos},
  title        = {Combining diagnosis and treatment using {ASBRU}},
  journal      = {Int. J. Medical Informatics},
  volume       = {68},
  number       = {1-3},
  pages        = {49--57},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1386-5056(02)00064-3},
  doi          = {10.1016/S1386-5056(02)00064-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmi/SeyfangMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/MarcosBTH02,
  author       = {Mar Marcos and
                  Michael Balser and
                  Annette ten Teije and
                  Frank van Harmelen},
  editor       = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
                  V. Richard Benjamins},
  title        = {From Informal Knowledge to Formal Logic: {A} Realistic Case Study
                  in Medical Protocols},
  booktitle    = {Knowledge Engineering and Knowledge Management. Ontologies and the
                  Semantic Web, 13th International Conference, {EKAW} 2002, Siguenza,
                  Spain, October 1-4, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2473},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45810-7\_8},
  doi          = {10.1007/3-540-45810-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ekaw/MarcosBTH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/MarcosBHTRM01,
  author       = {Mar Marcos and
                  Geert Berger and
                  Frank van Harmelen and
                  Annette ten Teije and
                  Hugo Roomans and
                  Silvia Miksch},
  editor       = {Silvana Quaglini and
                  Pedro Barahona and
                  Steen Andreassen},
  title        = {Using Critiquing for Improving Medical Protocols: Harder than It Seems},
  booktitle    = {Artificial Intelligence Medicine, 8th Conference on {AI} in Medicine
                  in Europe, {AIME} 2001, Cascais, Portugal, July 1-4, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2101},
  pages        = {431--441},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48229-6\_59},
  doi          = {10.1007/3-540-48229-6\_59},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/MarcosBHTRM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/SeyfangMM01,
  author       = {Andreas Seyfang and
                  Silvia Miksch and
                  Mar Marcos},
  editor       = {Vimla L. Patel and
                  Ray Rogers and
                  Reinhold Haux},
  title        = {Combining Diagnosis and Treatment Using Asbru},
  booktitle    = {{MEDINFO} 2001 - Proceedings of the 10th World Congress on Medical
                  Informatics, September 2-5, 2001, London, {UK}},
  series       = {Studies in Health Technology and Informatics},
  volume       = {84},
  pages        = {533--537},
  publisher    = {{IOS} Press},
  year         = {2001},
  url          = {https://doi.org/10.3233/978-1-60750-928-8-533},
  doi          = {10.3233/978-1-60750-928-8-533},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/SeyfangMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MarcosPM00,
  author       = {Mar Marcos and
                  Angel P. del Pobil and
                  Sabine Moisan},
  title        = {Model-based verification of knowledge-based systems: a case study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {163--167},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000896},
  doi          = {10.1049/IP-SEN:20000896},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MarcosPM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/MarcosMP99,
  author       = {Mar Marcos and
                  Sabine Moisan and
                  Angel P. del Pobil},
  title        = {Knowledge Modeling of Program Supervision Task and its Application
                  to Knowledge Base Verification},
  journal      = {Appl. Intell.},
  volume       = {10},
  number       = {2-3},
  pages        = {185--196},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008375803305},
  doi          = {10.1023/A:1008375803305},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apin/MarcosMP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/MarcosMP98,
  author       = {Mar Marcos and
                  Sabine Moisan and
                  Angel P. del Pobil},
  editor       = {Jos{\'{e}} Mira and
                  Angel P. del Pobil},
  title        = {Knowledge Modeling of Program Supervision Task},
  booktitle    = {Methodology and Tools in Knowledge-Based Systems, 11th International
                  Conference on Industrial and Engineering Applications of Artificial
                  Intelligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n,
                  Spain, June 1-4, 1998, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1415},
  pages        = {124--133},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-64582-9\_742},
  doi          = {10.1007/3-540-64582-9\_742},
  timestamp    = {Thu, 18 Jul 2019 17:02:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/MarcosMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurovav/MarcosMP97,
  author       = {Mar Marcos and
                  Sabine Moisan and
                  Angel P. del Pobil},
  editor       = {Jan Vanthienen and
                  Frank van Harmelen},
  title        = {A Model-based Approach to the Verification of Program Supervision
                  Systems},
  booktitle    = {Proceedings of the Fourth European Symposium on the Validation and
                  Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997,
                  Katholieke Universiteit Leuven, Leuven, Belgium},
  pages        = {231--241},
  publisher    = {Katholieke Universiteit Leuven, Belgium},
  year         = {1997},
  timestamp    = {Thu, 18 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurovav/MarcosMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics