<?xml version="1.0"?>
<dblpperson name="Martin Huber 0001" pid="96/4682-1" n="28">
<person key="homepages/96/4682-1" mdate="2019-03-11">
<author pid="96/4682-1">Martin Huber 0001</author>
<note type="affiliation">Siemens Corporate Technology, Erlangen, Germany</note>
<note label="PhD 1999" type="affiliation">Karlsruhe Institute of Technology, Germany</note>
</person>
<homonyms n="6">
<h f="h/Huber:Martin"><person publtype="disambiguation" key="homepages/96/4682" mdate="2019-03-12">
<author pid="96/4682">Martin Huber</author>
</person>
</h>
<h f="h/Huber_0002:Martin"><person key="homepages/96/4682-2" mdate="2019-03-12">
<author pid="96/4682-2">Martin Huber 0002</author>
<note type="affiliation">German Aerospace Center (DLR), Germany</note>
<url>https://orcid.org/0000-0003-2665-2149</url>
</person>
</h>
<h f="h/Huber_0003:Martin"><person key="homepages/96/4682-3" mdate="2019-03-12">
<author pid="96/4682-3">Martin Huber 0003</author>
<note label="PhD 2011" type="affiliation">Technical University of Munich, Germany</note>
</person>
</h>
<h f="h/Huber_0004:Martin"><person key="homepages/96/4682-4" mdate="2020-09-09">
<author pid="96/4682-4">Martin Huber 0004</author>
<note type="affiliation">CDTM - Center for Digital Technology and Managment, Munich, Germany</note>
</person>
</h>
<h f="h/Huber_0005:Martin"><person key="homepages/96/4682-5" mdate="2020-09-09">
<author pid="96/4682-5">Martin Huber 0005</author>
<note type="affiliation">Institute for Analysis and Scientific Computing, Vienna, Austria</note>
</person>
</h>
<h f="h/Huber_0006:Martin"><person key="homepages/96/4682-6" mdate="2026-03-04">
<author pid="96/4682-6">Martin Huber 0006</author>
<note type="affiliation">University of Fribourg, Department of Economics, Switzerland</note>
<note type="affiliation" label="PhD 2010">University of St. Gallen, Switzerland</note>
<url>https://www3.unifr.ch/appecon/en/chair/team/prof/</url>
<url>https://orcid.org/0000-0002-8590-9402</url>
<url>https://www.scopus.com/authid/detail.uri?authorId=37065973000</url>
<url>https://www.wikidata.org/entity/Q103836646</url>
</person>
</h>
</homonyms>
<r><article publtype="informal" key="journals/corr/SonntagHMNZC17" mdate="2019-03-11">
<author pid="83/5858">Daniel Sonntag</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="64/5802">Manuel M&#246;ller</author>
<author pid="n/AlassaneNdiaye">Alassane Ndiaye</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="93/7425">Alexander Cavallaro</author>
<title>Design and Implementation of a Semantic Dialogue System for Radiologists.</title>
<year>2017</year>
<volume>abs/1701.07381</volume>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1701.07381</ee>
<url>db/journals/corr/corr1701.html#SonntagHMNZC17</url>
</article>
</r>
<r><article key="journals/ida/SchonTH12" mdate="2025-01-19">
<author pid="47/8523">Torsten Sch&#246;n</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Gene-pair representation and incorporation of GO-based semantic similarity into classification of gene expression data.</title>
<pages>827-843</pages>
<year>2012</year>
<volume>16</volume>
<journal>Intell. Data Anal.</journal>
<number>5</number>
<ee>https://doi.org/10.3233/IDA-2012-0553</ee>
<ee>https://www.wikidata.org/entity/Q129068798</ee>
<url>db/journals/ida/ida16.html#SchonTH12</url>
</article>
</r>
<r><article key="journals/tmi/FeulnerZHSHCHC11" mdate="2026-02-25">
<author pid="05/2656">Johannes Feulner</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author orcid="0000-0002-3937-2763" pid="00/9774">Matthias Hammon</author>
<author pid="69/747">Sascha Seifert</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<author pid="27/3189">Joachim Hornegger</author>
<author pid="93/7425">Alexander Cavallaro</author>
<title>A Probabilistic Model for Automatic Segmentation of the Esophagus in 3-D CT Scans.</title>
<pages>1252-1264</pages>
<year>2011</year>
<volume>30</volume>
<journal>IEEE Trans. Medical Imaging</journal>
<number>6</number>
<ee>https://doi.org/10.1109/TMI.2011.2112372</ee>
<ee>https://www.wikidata.org/entity/Q51604967</ee>
<url>db/journals/tmi/tmi30.html#FeulnerZHSHCHC11</url>
</article>
</r>
<r><incollection key="books/sp/11/SeifertZ0SSC11" mdate="2019-07-31">
<author pid="69/747">Sascha Seifert</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="25/89">Michael Sintek</author>
<author pid="83/5858">Daniel Sonntag</author>
<author pid="93/7425">Alexander Cavallaro</author>
<title>Medico.</title>
<pages>97-111</pages>
<year>2011</year>
<booktitle>Internet der Dienste</booktitle>
<ee>https://doi.org/10.1007/978-3-642-21507-0_9</ee>
<crossref>books/sp/11/HW2011</crossref>
<url>db/books/collections/HW2011.html#SeifertZ0SSC11</url>
</incollection>
</r>
<r><article key="journals/cbrmd/TsymbalHZ10" mdate="2025-04-02">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="57/98">Shaohua Kevin Zhou</author>
<title>Learning Discriminative Distance Functions for Case Retrieval and Decision Support.</title>
<pages>1-16</pages>
<year>2010</year>
<volume>3</volume>
<journal>Trans. Case Based Reason.</journal>
<number>1</number>
<ee type="archive">http://www.ibai-publishing.org/journal/issue_cbr/2010_october/cbr_3_1_1-16.php</ee>
<url>db/journals/cbrmd/cbrmd3.html#TsymbalHZ10</url>
</article>
</r>
<r><inproceedings key="conf/cvpr/FeulnerZHHCC10" mdate="2026-02-25">
<author pid="05/2656">Johannes Feulner</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<author pid="93/7425">Alexander Cavallaro</author>
<title>Lymph node detection in 3-D chest CT using a spatial prior probability.</title>
<pages>2926-2932</pages>
<year>2010</year>
<booktitle>CVPR</booktitle>
<ee>https://doi.org/10.1109/CVPR.2010.5540034</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CVPR.2010.5540034</ee>
<crossref>conf/cvpr/2010</crossref>
<url>db/conf/cvpr/cvpr2010.html#FeulnerZHHCC10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/incdm/TsymbalHZ10" mdate="2022-02-22">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="57/98">Shaohua Kevin Zhou</author>
<title>Learning Discriminative Distance Functions for Case Retrieval and Decision Support.</title>
<pages>65-80</pages>
<year>2010</year>
<booktitle>ICDM (Workshops)</booktitle>
<crossref>conf/incdm/2010w</crossref>
<url>db/conf/incdm/incdm2010w.html#TsymbalHZ10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/FeulnerZHCHC10" mdate="2026-02-25">
<author pid="05/2656">Johannes Feulner</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="93/7425">Alexander Cavallaro</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Model-Based Esophagus Segmentation from CT Scans Using a Spatial Probability Map.</title>
<pages>95-102</pages>
<year>2010</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-15705-9_12</ee>
<ee>https://www.wikidata.org/entity/Q62499068</ee>
<crossref>conf/miccai/2010-1</crossref>
<url>db/conf/miccai/miccai2010-1.html#FeulnerZHCHC10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/VitanovskiTIGHTSZHC10" mdate="2026-02-25">
<author pid="01/7427">Dime Vitanovski</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="72/885">Razvan Ioan Ionasec</author>
<author orcid="0000-0001-5388-5699" pid="91/1880">Bogdan Georgescu</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="12/7425">Andrew Mayall Taylor</author>
<author orcid="0000-0003-2037-5339" pid="02/8526">Silvia Schievano</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Cross-Modality Assessment and Planning for Pulmonary Trunk Treatment Using CT and MRI Imaging.</title>
<pages>460-467</pages>
<year>2010</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-15705-9_56</ee>
<ee>https://www.wikidata.org/entity/Q64111141</ee>
<crossref>conf/miccai/2010-1</crossref>
<url>db/conf/miccai/miccai2010-1.html#VitanovskiTIGHTSZHC10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miip/VoigtVITGZHNHC10" mdate="2026-02-25">
<author pid="80/7425">Ingmar Voigt</author>
<author pid="01/7427">Dime Vitanovski</author>
<author pid="72/885">Razvan Ioan Ionasec</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author orcid="0000-0001-5388-5699" pid="91/1880">Bogdan Georgescu</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="n/NassirNavab">Nassir Navab</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Learning discriminative distance functions for valve retrieval and improved decision support in valvular heart disease.</title>
<pages>762314</pages>
<year>2010</year>
<booktitle>Image Processing</booktitle>
<ee>https://doi.org/10.1117/12.843972</ee>
<crossref>conf/miip/2010</crossref>
<url>db/conf/miip/miip2010.html#VoigtVITGZHNHC10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/rsctc/SchonTH10" mdate="2019-03-11">
<author pid="47/8523">Torsten Sch&#246;n</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Gene-Pair Representation and Incorporation of GO-based Semantic Similarity into Classification of Gene Expression Data.</title>
<pages>217-226</pages>
<year>2010</year>
<booktitle>RSCTC</booktitle>
<ee>https://doi.org/10.1007/978-3-642-13529-3_24</ee>
<crossref>conf/rsctc/2010</crossref>
<url>db/conf/rsctc/rsctc2010.html#SchonTH10</url>
</inproceedings>
</r>
<r><article key="journals/it/ZillnerH09" mdate="2023-08-28">
<author pid="25/227">Sonja Zillner</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Intelligent Medical Image Search (Intelligente Bildsuche in der Medizin).</title>
<pages>285-293</pages>
<year>2009</year>
<volume>51</volume>
<journal>it Inf. Technol.</journal>
<number>5</number>
<ee>https://doi.org/10.1524/itit.2009.0553</ee>
<ee>https://www.wikidata.org/entity/Q115722379</ee>
<url>db/journals/it/it51.html#ZillnerH09</url>
</article>
</r>
<r><inproceedings key="conf/lwa/TsymbalRHZ09" mdate="2019-03-11">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="168/6407">Gabor Rendes</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="57/98">Shaohua Kevin Zhou</author>
<title>The Neighborhood Graph for Clinical Case Retrieval and Decision Support within Health-e-Child CaseReasoner.</title>
<pages>FGWM:49-56</pages>
<year>2009</year>
<booktitle>LWA</booktitle>
<crossref>conf/lwa/2009</crossref>
<url>db/conf/lwa/lwa2009.html#TsymbalRHZ09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/VitanovskiIGHTHC09" mdate="2025-09-06">
<author pid="01/7427">Dime Vitanovski</author>
<author pid="72/885">Razvan Ioan Ionasec</author>
<author orcid="0000-0001-5388-5699" pid="91/1880">Bogdan Georgescu</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="12/7425">Andrew Mayall Taylor</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Personalized Pulmonary Trunk Modeling for Intervention Planning and Valve Assessment Estimated from CT Data.</title>
<pages>17-25</pages>
<year>2009</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-04268-3_3</ee>
<ee>https://www.wikidata.org/entity/Q84123088</ee>
<crossref>conf/miccai/2009-1</crossref>
<url>db/conf/miccai/miccai2009-1.html#VitanovskiIGHTHC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/WelsZCHHC09" mdate="2023-04-18">
<author pid="25/6931">Michael Wels</author>
<author orcid="0000-0003-2195-2847" pid="44/6510">Yefeng Zheng 0001</author>
<author orcid="0000-0002-5571-6220" pid="53/3609">Gustavo Carneiro 0001</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Fast and Robust 3-D MRI Brain Structure Segmentation.</title>
<pages>575-583</pages>
<year>2009</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-04271-3_70</ee>
<ee>https://www.wikidata.org/entity/Q62499600</ee>
<crossref>conf/miccai/2009-2</crossref>
<url>db/conf/miccai/miccai2009-2.html#WelsZCHHC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miigp/VoigtIGHHHC09" mdate="2025-09-06">
<author pid="80/7425">Ingmar Voigt</author>
<author pid="72/885">Razvan Ioan Ionasec</author>
<author orcid="0000-0001-5388-5699" pid="91/1880">Bogdan Georgescu</author>
<author pid="09/7427">Helene Houle</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Model-driven physiological assessment of the mitral valve from 4D TEE.</title>
<pages>72610R</pages>
<year>2009</year>
<booktitle>Image-Guided Procedures</booktitle>
<ee>https://doi.org/10.1117/12.812096</ee>
<crossref>conf/miigp/2009</crossref>
<url>db/conf/miigp/miigp2009.html#VoigtIGHHHC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miip/SeifertBZLFHSCC09" mdate="2026-02-25">
<author pid="69/747">Sascha Seifert</author>
<author pid="59/3600">Adrian Barbu</author>
<author orcid="0000-0002-6881-4444" pid="57/98">Shaohua Kevin Zhou</author>
<author pid="09/1814-1">David Liu 0001</author>
<author pid="05/2656">Johannes Feulner</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="52/6256">Michael S&#252;hling</author>
<author pid="93/7425">Alexander Cavallaro</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>Hierarchical parsing and semantic navigation of full body CT data.</title>
<pages>725902</pages>
<year>2009</year>
<booktitle>Image Processing</booktitle>
<ee>https://doi.org/10.1117/12.812214</ee>
<crossref>conf/miip/2009</crossref>
<url>db/conf/miip/miip2009.html#SeifertBZLFHSCC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cbms/ZillnerHRTHS08" mdate="2023-03-24">
<author pid="25/227">Sonja Zillner</author>
<author pid="06/5611">Tamas Hauer</author>
<author pid="51/6239">Dmitri Rogulin</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="94/1806">Tony Solomonides</author>
<title>Semantic Visualization of Patient Information.</title>
<pages>296-301</pages>
<year>2008</year>
<booktitle>CBMS</booktitle>
<ee>https://doi.org/10.1109/CBMS.2008.11</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CBMS.2008.11</ee>
<crossref>conf/cbms/2008</crossref>
<url>db/conf/cbms/cbms2008.html#ZillnerHRTHS08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/miccai/WelsCAHHC08" mdate="2023-04-18">
<author pid="25/6931">Michael Wels</author>
<author orcid="0000-0002-5571-6220" pid="53/3609">Gustavo Carneiro 0001</author>
<author pid="53/5929">Alexander Aplas</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="27/3189">Joachim Hornegger</author>
<author orcid="0000-0002-5238-8647" pid="54/4552">Dorin Comaniciu</author>
<title>A Discriminative Model-Constrained Graph Cuts Approach to Fully Automated Pediatric Brain Tumor Segmentation in 3-D MRI.</title>
<pages>67-75</pages>
<year>2008</year>
<booktitle>MICCAI (1)</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-540-85988-8_9</ee>
<ee>https://www.wikidata.org/entity/Q62488572</ee>
<crossref>conf/miccai/2008-1</crossref>
<url>db/conf/miccai/miccai2008-1.html#WelsCAHHC08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/semweb/HauerRZBSTHSM08" mdate="2025-01-19">
<author pid="06/5611">Tamas Hauer</author>
<author pid="51/6239">Dmitri Rogulin</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="32/2952">Andrew Branson</author>
<author pid="09/4119">Jetendr Shamdasani</author>
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="94/1806">Tony Solomonides</author>
<author pid="75/860">Richard McClatchey</author>
<title>An Architecture for Semantic Navigation and Reasoning with Patient Data - Experiences of the Health-e-Child Project.</title>
<pages>737-750</pages>
<year>2008</year>
<booktitle>ISWC</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-540-88564-1_47</ee>
<ee>https://www.wikidata.org/entity/Q125463212</ee>
<crossref>conf/semweb/2008</crossref>
<url>db/conf/semweb/iswc2008.html#HauerRZBSTHSM08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cbms/TsymbalZH07" mdate="2023-03-24">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Feature Ontology for Improved Learning from Large-Dimensional Disease-Specific Heterogeneous Data.</title>
<pages>595-600</pages>
<year>2007</year>
<crossref>conf/cbms/2007</crossref>
<booktitle>CBMS</booktitle>
<ee>https://doi.org/10.1109/CBMS.2007.50</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CBMS.2007.50</ee>
<url>db/conf/cbms/cbms2007.html#TsymbalZH07</url>
</inproceedings>
</r>
<r><inproceedings key="conf/dils/TsymbalZH07" mdate="2019-03-11">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Ontology - Supported Machine Learning and Decision Support in Biomedicine.</title>
<pages>156-171</pages>
<year>2007</year>
<crossref>conf/dils/2007</crossref>
<booktitle>DILS</booktitle>
<ee>https://doi.org/10.1007/978-3-540-73255-6_14</ee>
<url>db/conf/dils/dils2007.html#TsymbalZH07</url>
</inproceedings>
</r>
<r><inproceedings key="conf/lwa/TsymbalHZHZ07" mdate="2019-03-11">
<author pid="89/4236">Alexey Tsymbal</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="25/227">Sonja Zillner</author>
<author pid="06/5611">Tamas Hauer</author>
<author pid="57/98">Shaohua Kevin Zhou</author>
<title>Visualizing Patient Similarity in Clinical Decision Support.</title>
<pages>304-311</pages>
<year>2007</year>
<crossref>conf/lwa/2007</crossref>
<booktitle>LWA</booktitle>
<url>db/conf/lwa/lwa2007.html#TsymbalHZHZ07</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ismar/PustkaHBK06" mdate="2023-03-24">
<author pid="95/6359">Daniel Pustka</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<author pid="20/3697">Manuel Bauer</author>
<author orcid="0000-0003-0971-5726" pid="k/GudrunKlinker">Gudrun Klinker</author>
<title>Spatial relationship patterns: elements of reusable tracking and calibration systems.</title>
<pages>88-97</pages>
<year>2006</year>
<crossref>conf/ismar/2006</crossref>
<booktitle>ISMAR</booktitle>
<ee>https://doi.org/10.1109/ISMAR.2006.297799</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/ISMAR.2006.297799</ee>
<ee>https://www.wikidata.org/entity/Q57357569</ee>
<url>db/conf/ismar/ismar2006.html#PustkaHBK06</url>
</inproceedings>
</r>
<r><phdthesis key="phd/de/Huber1999" mdate="2021-07-17">
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Combining specification methods for distributed systems.</title>
<year>1999</year>
<pages>1-206</pages>
<school>Karlsruhe Institute of Technology, Germany</school>
<ee>http://digbib.ubka.uni-karlsruhe.de/volltexte/24199</ee>
<ee>https://nbn-resolving.org/urn:nbn:de:swb:90-AAA241998</ee>
<ee>https://d-nb.info/957219504</ee>
<ee>https://d-nb.info/1007712945</ee>
</phdthesis>
</r>
<r><inproceedings key="conf/tacas/CuellarBH96" mdate="2019-03-11">
<author pid="60/5706">Jorge Cu&#233;llar</author>
<author pid="53/4339">Dieter Barnard</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>Rapid Prototyping for an Assertional Specification language.</title>
<pages>402-406</pages>
<year>1996</year>
<crossref>conf/tacas/1996</crossref>
<booktitle>TACAS</booktitle>
<url>db/conf/tacas/tacas96.html#CuellarBH96</url>
<ee>https://doi.org/10.1007/3-540-61042-1_59</ee>
</inproceedings>
</r>
<r><incollection key="conf/korso/CuellarH95" mdate="2019-03-11">
<author pid="60/5706">Jorge Cu&#233;llar</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>TLT.</title>
<pages>151-169</pages>
<year>1995</year>
<crossref>conf/korso/1995fd</crossref>
<booktitle>Formal Development of Reactive Systems</booktitle>
<url>db/conf/korso/korso1995fd.html#CuellarH95</url>
<ee>https://doi.org/10.1007/3-540-58867-1_53</ee>
</incollection>
</r>
<r><inproceedings key="conf/dagstuhl/CuellarBH94" mdate="2019-03-11">
<author pid="60/5706">Jorge Cu&#233;llar</author>
<author pid="53/4339">Dieter Barnard</author>
<author pid="96/4682-1">Martin Huber 0001</author>
<title>A Solution Relying on the Model Checking of Boolean Transition Systems.</title>
<pages>213-251</pages>
<year>1994</year>
<crossref>conf/dagstuhl/1994fss</crossref>
<booktitle>Formal Systems Specification</booktitle>
<url>db/conf/dagstuhl/fss1994.html#CuellarBH94</url>
<ee>https://doi.org/10.1007/BFb0024431</ee>
</inproceedings>
</r>
<coauthors n="41" nc="2">
<co c="0"><na f="a/Aplas:Alexander" pid="53/5929">Alexander Aplas</na></co>
<co c="0"><na f="b/Barbu:Adrian" pid="59/3600">Adrian Barbu</na></co>
<co c="1"><na f="b/Barnard:Dieter" pid="53/4339">Dieter Barnard</na></co>
<co c="0"><na f="b/Bauer:Manuel" pid="20/3697">Manuel Bauer</na></co>
<co c="0"><na f="b/Branson:Andrew" pid="32/2952">Andrew Branson</na></co>
<co c="0"><na f="c/Carneiro_0001:Gustavo" pid="53/3609">Gustavo Carneiro 0001</na></co>
<co c="0"><na f="c/Cavallaro:Alexander" pid="93/7425">Alexander Cavallaro</na></co>
<co c="0"><na f="c/Comaniciu:Dorin" pid="54/4552">Dorin Comaniciu</na></co>
<co c="1"><na f="c/Cu=eacute=llar:Jorge" pid="60/5706">Jorge Cu&#233;llar</na></co>
<co c="0"><na f="f/Feulner:Johannes" pid="05/2656">Johannes Feulner</na></co>
<co c="0"><na f="g/Georgescu:Bogdan" pid="91/1880">Bogdan Georgescu</na></co>
<co c="0"><na f="h/Hammon:Matthias" pid="00/9774">Matthias Hammon</na></co>
<co c="0"><na f="h/Hauer:Tamas" pid="06/5611">Tamas Hauer</na></co>
<co c="0"><na f="h/Hornegger:Joachim" pid="27/3189">Joachim Hornegger</na></co>
<co c="0"><na f="h/Houle:Helene" pid="09/7427">Helene Houle</na></co>
<co c="0"><na f="i/Ionasec:Razvan_Ioan" pid="72/885">Razvan Ioan Ionasec</na></co>
<co c="0"><na f="k/Klinker:Gudrun" pid="k/GudrunKlinker">Gudrun Klinker</na></co>
<co c="0"><na f="l/Liu_0001:David" pid="09/1814-1">David Liu 0001</na></co>
<co c="0"><na f="m/McClatchey:Richard" pid="75/860">Richard McClatchey</na></co>
<co c="0"><na f="m/M=ouml=ller:Manuel" pid="64/5802">Manuel M&#246;ller</na></co>
<co c="0"><na f="n/Navab:Nassir" pid="n/NassirNavab">Nassir Navab</na></co>
<co c="0"><na f="n/Ndiaye:Alassane" pid="n/AlassaneNdiaye">Alassane Ndiaye</na></co>
<co c="0"><na f="p/Pustka:Daniel" pid="95/6359">Daniel Pustka</na></co>
<co c="0"><na f="r/Rendes:Gabor" pid="168/6407">Gabor Rendes</na></co>
<co c="0"><na f="r/Rogulin:Dmitri" pid="51/6239">Dmitri Rogulin</na></co>
<co c="0"><na f="s/Schievano:Silvia" pid="02/8526">Silvia Schievano</na></co>
<co c="0"><na f="s/Sch=ouml=n:Torsten" pid="47/8523">Torsten Sch&#246;n</na></co>
<co c="0"><na f="s/Seifert:Sascha" pid="69/747">Sascha Seifert</na></co>
<co c="0"><na f="s/Shamdasani:Jetendr" pid="09/4119">Jetendr Shamdasani</na></co>
<co c="0"><na f="s/Sintek:Michael" pid="25/89">Michael Sintek</na></co>
<co c="0"><na f="s/Solomonides:Tony" pid="94/1806">Tony Solomonides</na></co>
<co c="0"><na f="s/Sonntag:Daniel" pid="83/5858">Daniel Sonntag</na></co>
<co c="0"><na f="s/S=uuml=hling:Michael" pid="52/6256">Michael S&#252;hling</na></co>
<co c="0"><na f="t/Taylor:Andrew_Mayall" pid="12/7425">Andrew Mayall Taylor</na></co>
<co c="0"><na f="t/Tsymbal:Alexey" pid="89/4236">Alexey Tsymbal</na></co>
<co c="0"><na f="v/Vitanovski:Dime" pid="01/7427">Dime Vitanovski</na></co>
<co c="0"><na f="v/Voigt:Ingmar" pid="80/7425">Ingmar Voigt</na></co>
<co c="0"><na f="w/Wels:Michael" pid="25/6931">Michael Wels</na></co>
<co c="0"><na f="z/Zheng_0001:Yefeng" pid="44/6510">Yefeng Zheng 0001</na></co>
<co c="0"><na f="z/Zhou:Shaohua_Kevin" pid="57/98">Shaohua Kevin Zhou</na></co>
<co c="0"><na f="z/Zillner:Sonja" pid="25/227">Sonja Zillner</na></co>
</coauthors>
</dblpperson>

