Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/vsl:"
download as .bib file
@inproceedings{DBLP:conf/vsl/HuangTHA14,
author = {Zhisheng Huang and
Annette ten Teije and
Frank van Harmelen and
Salah A{\"{\i}}t{-}Mokhtar},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Semantic Representation of Evidence-Based Clinical Guidelines},
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 = {78--94},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_6},
doi = {10.1007/978-3-319-13281-5\_6},
timestamp = {Mon, 03 Jan 2022 22:27:14 +0100},
biburl = {https://dblp.org/rec/conf/vsl/HuangTHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/MaghsoodiBBGS14,
author = {Aisan Maghsoodi and
Anca I. D. Bucur and
Paul De Bra and
Norbert M. Graf and
Martin Stanulla},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {A Process-Oriented Methodology for Modelling Cancer Treatment Trial
Protocols},
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 = {133--146},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_10},
doi = {10.1007/978-3-319-13281-5\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsl/MaghsoodiBBGS14.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 = {Wed, 14 Nov 2018 00:00:00 +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}
}
@inproceedings{DBLP:conf/vsl/MontaniLQCM14,
author = {Stefania Montani and
Giorgio Leonardi and
Silvana Quaglini and
Anna Cavallini and
Giuseppe Micieli},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Knowledge-Intensive Medical Process Similarity},
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 = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_1},
doi = {10.1007/978-3-319-13281-5\_1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsl/MontaniLQCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/Real0A14,
author = {Francis Real and
David Ria{\~{n}}o and
Jos{\'{e}} Ram{\'{o}}n Alonso},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Training Residents in the Application of Clinical Guidelines for Differential
Diagnosis of the Most Frequent Causes of Arterial Hypertension with
Decision Tables},
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 = {147--159},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_11},
doi = {10.1007/978-3-319-13281-5\_11},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vsl/Real0A14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/RianoS14,
author = {David Ria{\~{n}}o and
Agusti Solanas},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Exploiting the Relation Between Environmental Factors and Diseases:
{A} Case Study on Chronic Obstructive Pulmonary Disease},
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 = {160--173},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_12},
doi = {10.1007/978-3-319-13281-5\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsl/RianoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/SpiottaBGD14,
author = {Matteo Spiotta and
Alessio Bottrighi and
Laura Giordano and
Daniele Theseider Dupr{\'{e}}},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Conformance Analysis of the Execution of Clinical Guidelines with
Basic Medical Knowledge and Clinical Terminology},
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 = {62--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_5},
doi = {10.1007/978-3-319-13281-5\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vsl/SpiottaBGD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/TerenzianiBLR14,
author = {Paolo Terenziani and
Alessio Bottrighi and
Irene Lovotti and
Stefania Rubrichi},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {{META-GLARE:} {A} Meta-System for Defining Your Own {CIG} System:
Architecture and Acquisition},
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 = {95--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_7},
doi = {10.1007/978-3-319-13281-5\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vsl/TerenzianiBLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/WilkMTM14,
author = {Szymon Wilk and
Martin Michalowski and
Xing Tan and
Wojtek Michalowski},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Using First-Order Logic to Represent Clinical Practice Guidelines
and to Mitigate Adverse Interactions},
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 = {45--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_4},
doi = {10.1007/978-3-319-13281-5\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vsl/WilkMTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/ZamborliniSPTH14,
author = {Veruska Zamborlini and
Marcos Da Silveira and
C{\'{e}}dric Pruski and
Annette ten Teije and
Frank van Harmelen},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Towards a Conceptual Model for Enhancing Reasoning About Clinical
Guidelines - {A} Case-Study on Comorbidity},
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 = {29--44},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_3},
doi = {10.1007/978-3-319-13281-5\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vsl/ZamborliniSPTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vsl/ZhangZ14,
author = {Yuanlin Zhang and
Zhizheng Zhang},
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {Preliminary Result on Finding Treatments for Patients with Comorbidity},
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 = {14--28},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5\_2},
doi = {10.1007/978-3-319-13281-5\_2},
timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsl/ZhangZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BeckertGB14,
author = {Bernhard Beckert and
Sarah Grebing and
Florian B{\"{o}}hl},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {How to Put Usability into Focus: Using Focus Groups to Evaluate the
Usability of Interactive Theorem Provers},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {4--13},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.3},
doi = {10.4204/EPTCS.167.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeckertGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Butterfield14,
author = {Andrew Butterfield},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {{UTP2:} Higher-Order Equational Reasoning by Pointing},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {14--22},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.4},
doi = {10.4204/EPTCS.167.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Butterfield14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GrovKL14,
author = {Gudmund Grov and
Aleks Kissinger and
Yuhui Lin},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Tinker, tailor, solver, proof},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {23--34},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.5},
doi = {10.4204/EPTCS.167.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrovKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LibalRR14,
author = {Tomer Libal and
Martin Riener and
Mikheil Rukhaia},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Advanced Proof Viewing in ProofTool},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {35--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.6},
doi = {10.4204/EPTCS.167.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LibalRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Rabe14,
author = {Florian Rabe},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {A Logic-Independent {IDE}},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {48--60},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.7},
doi = {10.4204/EPTCS.167.7},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Rabe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SternagelT14,
author = {Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {The Certification Problem Format},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {61--72},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.8},
doi = {10.4204/EPTCS.167.8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SternagelT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tankink14,
author = {Carst Tankink},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {{PIDE} for Asynchronous Interaction with Coq},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {73--83},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.9},
doi = {10.4204/EPTCS.167.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tankink14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wenzel14,
author = {Makarius Wenzel},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {System description: Isabelle/jEdit in 2014},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {84--94},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.10},
doi = {10.4204/EPTCS.167.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wenzel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vsl/2014kr4hc,
editor = {Silvia Miksch and
David Ria{\~{n}}o and
Annette ten Teije},
title = {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},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13281-5},
doi = {10.1007/978-3-319-13281-5},
isbn = {978-3-319-13280-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsl/2014kr4hc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BenzmullerP14,
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167},
doi = {10.4204/EPTCS.167},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenzmullerP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-28 05:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
