Nominal Logic ProgrammingCHENEY, James; URBAN, Christian.ACM transactions on programming languages and systems. 2008, Vol 30, Num 5, issn 0164-0925, 26.1-26.47Article

Strong normalisation for a Gentzen-like cut-elimination procedureURBAN, Christian.Lecture notes in computer science. 2001, pp 415-429, issn 0302-9743, isbn 3-540-41960-8Conference Paper

Avoiding equivariance in alpha-prologURBAN, Christian; CHENEY, James.Lecture notes in computer science. 2005, pp 401-416, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

Wait and see strategy in localized neuroblastoma in infants: An option not only for cases detected by mass screeningFRITSCH, Peter; KERBL, Reinhold; LACKNER, Herwig et al.Pediatric blood & cancer. 2004, Vol 43, Num 6, pp 679-682, issn 1545-5009, 4 p.Article

Nominal techniques in Isabelle/HOLURBAN, Christian; TASSON, Christine.Lecture notes in computer science. 2005, pp 38-53, issn 0302-9743, isbn 3-540-28005-7, 16 p.Conference Paper

Nominal unificationURBAN, Christian; PITTS, Andrew M; GABBAY, Murdoch J et al.Theoretical computer science. 2004, Vol 323, Num 1-3, pp 473-497, issn 0304-3975, 25 p.Article

αProlog: A logic programming language with names, binding and α-equivalenceCHENEY, James; URBAN, Christian.Lecture notes in computer science. 2004, pp 269-283, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

A Formalisation of the Myhill-Nerode Theorem Based on Regular ExpressionsCHUNHAN WU; XINGYUAN ZHANG; URBAN, Christian et al.Journal of automated reasoning. 2014, Vol 52, Num 4, pp 451-480, issn 0168-7433, 30 p.Article

A recursion combinator for nominal datatypes implemented in isabelle/HOLURBAN, Christian; BERGHOFER, Stefan.Lecture notes in computer science. 2006, pp 498-512, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

The inferior prognosis of adolescents with acute lymphoblastic leukaemia (ALL) is caused by a higher rate of treatment-related mortality and not an increased relapse rate ― a population-based analysis of 25 years of the Austrian ALL-BFM (Berlin-Frankfurt-Münster) Study GroupPICHLER, Herbert; REISMÜLLER, Bettina; ATTARBASCHI, Andishe et al.British journal of haematology. 2013, Vol 161, Num 4, pp 556-565, issn 0007-1048, 10 p.Article

THE SPECTRUM OF PARVOVIRUS B19 INFECTION IN A PEDIATRIC HEMATO-ONCOLOGIC WARDLACKNER, Herwig; SOVINZ, Petra; BENESCH, Martin et al.The Pediatric infectious disease journal. 2011, Vol 30, Num 5, pp 440-442, issn 0891-3668, 3 p.Article

Intramedullary aggregation and phagocytosis of neutrophils in chronic benign neutropenia of childhoodURBAN, Christian; LACKNER, Herwig; SOWNZ, Petra et al.British journal of haematology. 2008, Vol 142, Num 4, pp 504-504, issn 0007-1048, 1 p.Article

Outcome of children with primary resistant or relapsed non-hodgkin lymphoma and mature B-cell leukemia after intensive first-line treatment: A population-based analysis of the Austrian Cooperative Study GroupATTARBASCHI, Andishe; DWORZAK, Michael; STEINER, Manuel et al.Pediatric blood & cancer. 2005, Vol 44, Num 1, pp 70-76, issn 1545-5009, 7 p.Article

Nominal unificationURBAN, Christian; PITTS, Andrew; GABBAY, Murdoch et al.Lecture notes in computer science. 2003, pp 513-527, issn 0302-9743, isbn 3-540-40801-0, 15 p.Conference Paper

Chromosomal integration of the HHV-6 genome in a patient with nodular sclerosis Hodgkin lymphomaSTRENGER, Volker; ABERLE, Stephan W; NACHEVA, Elisabeth P et al.British journal of haematology. 2013, Vol 161, Num 4, pp 594-595, issn 0007-1048, 2 p.Article

Successful treatment of progressive cutaneous mastocytosis with imatinib in a 2-year-old boy carrying a somatic KIT mutationHOFFMANN, Karl M; MOSER, Andrea; LOHSE, Peter et al.Blood. 2008, Vol 112, Num 5, pp 1655-1657, issn 0006-4971, 3 p.Article

Categorical proof theory of classical propositional calculusBELLIN, Gianluigi; HYLAND, Martin; ROBINSON, Edmund et al.Theoretical computer science. 2006, Vol 364, Num 2, pp 146-165, issn 0304-3975, 20 p.Conference Paper

Interferon alfa-2a in recurrent metastatic hemangiopericytomaLACKNER, Herwig; URBAN, Christian; DORNBUSCH, Hans Jürgen et al.Medical and pediatric oncology. 2003, Vol 40, Num 3, pp 192-194, issn 0098-1532, 3 p.Article

C-reactive protein (CRP) as tumor marker in pediatric and adolescent patients with Hodgkin diseaseWIELAND, Annemarie; KERBL, Reinhold; BERGHOLD, Andrea et al.Medical and pediatric oncology. 2003, Vol 41, Num 1, pp 21-25, issn 0098-1532, 5 p.Article

Simultaneous occurrence of retinoblastoma and neurofibromatosis I in a young childKOESTENBERGER, M; KROISEL, P. M; LACKNER, H et al.Medical and pediatric oncology. 2003, Vol 40, Num 2, pp 124-125, issn 0098-1532, 2 p.Article

Findings and clinical course of a localized primitive peripheral neuroectodermal tumor of the kidneyHABERMANN, Helga; BENESCH, Martin; SCHIPS, Luigi et al.Urologia Internationalis. 2003, Vol 71, Num 3, pp 319-321, issn 0042-1138, 3 p.Article

Development of a Bendable Permanent-Magnet Tabular Linear MotorURBAN, Christian; GIINTHER, Richard; NAGEL, Thomas et al.IEEE transactions on magnetics. 2012, Vol 48, Num 8, pp 2367-2373, issn 0018-9464, 7 p.Article

European Organization for the Research and Treatment of Cancer/ Mycoses Study Group (EORTC/MSG) host factors and invasive fungal infections in patients with haematological malignanciesHOENIGL, Martin; STRENGER, Volker; RAGGAM, Reinhard B et al.Journal of antimicrobial chemotherapy (Print). 2012, Vol 67, Num 8, pp 2029-2033, issn 0305-7453, 5 p.Article

Cardiac and pulmonary late effects do not negatively influence performance status and non-relapse mortality of children surviving five yr after autologous hematopoietic cell transplantation: Report from the EBMT Paediatric Diseases and Late Effects Working PartiesUDERZO, Cornelio; PILLON, Marta; FARACI, Maura et al.Pediatric transplantation. 2009, Vol 13, Num 6, pp 719-724, issn 1397-3142, 6 p.Article

Long-term outcome of initially homogenously treated and relapsed childhood acute lymphoblastic leukaemia in Austria : A population-based report of the Austrian Berlin-Frankfurt-Münster (BFM) Study GroupREISMÜLLER, Bettina; ATTARBASCHI, Andishe; HENZE, Giinter et al.British journal of haematology. 2009, Vol 144, Num 4, pp 559-570, issn 0007-1048, 12 p.Article