Comparing free algebras in Topological and Classical Domain TheoryBATTENFELD, Ingo.Theoretical computer science. 2010, Vol 411, Num 19, pp 1900-1917, issn 0304-3975, 18 p.Conference Paper

Algebraic information theory for binary channelsMARTIN, Keye; MOSKOWITZ, Ira S; ALLWEIN, Gerard et al.Theoretical computer science. 2010, Vol 411, Num 19, pp 1918-1927, issn 0304-3975, 10 p.Conference Paper

Prime algebraicityWINSKEL, Glynn.Theoretical computer science. 2009, Vol 410, Num 41, pp 4160-4168, issn 0304-3975, 9 p.Article

Domain theory, testing and simulation for labelled Markov processesVAN BREUGEL, Franck; MISLOVE, Michael; OUAKNINE, Joël et al.Theoretical computer science. 2005, Vol 333, Num 1-2, pp 171-197, issn 0304-3975, 27 p.Conference Paper

Measuring the probabilistic powerdomainMARTIN, Keye; MISLOVE, Michael; WORRELL, James et al.Lecture notes in computer science. 2002, pp 463-475, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Formalisation of computability of operators and real-valued functionals via domain theoryKOROVINA, Margarita V; KUDINOV, Oleg V.Lecture notes in computer science. 2001, pp 146-168, issn 0302-9743, isbn 3-540-42197-1Conference Paper

The powerdomain of indexed valuationsVARACCA, Daniele.Proceedings - Symposium on Logic in Computer Science. 2002, pp 299-308, issn 1043-6871, isbn 0-7695-1483-9, 10 p.Conference Paper

Hysteretic moisture properties of porous materials: Part I: ThermodynamicsFUNK, Max.Journal of building physics (Print). 2014, Vol 38, Num 1, pp 6-49, issn 1744-2591, 44 p.Article

On the completeness of order-theoretic models of the λ-calculusHONSELL, Furio; PLOTKIN, Gordon.Information and computation (Print). 2009, Vol 207, Num 5, pp 583-594, issn 0890-5401, 12 p.Article

Effectivity of regular spacesBLANCK, Jens.Lecture notes in computer science. 2001, pp 1-15, issn 0302-9743, isbn 3-540-42197-1Conference Paper

An extensional treatment of lazy data flow deadlockMATTHEWS, S. G.Theoretical computer science. 1995, Vol 151, Num 1, pp 195-205, issn 0304-3975Conference Paper

A computable approach to measure and integration theoryEDALAT, Abbas.Information and computation (Print). 2009, Vol 207, Num 5, pp 642-659, issn 0890-5401, 18 p.Article

Domain-theoretical models of parametric polymorphismBIRKEDAL, L; MØGELBERG, R. E; PETERSEN, R. L et al.Theoretical computer science. 2007, Vol 388, Num 1-3, pp 152-172, issn 0304-3975, 21 p.Article

A logical approach to stable domainsCHEN, Yi-Xiang; JUNG, Achim.Theoretical computer science. 2006, Vol 368, Num 1-2, pp 124-148, issn 0304-3975, 25 p.Article

Topology in information theory in topologyMARTIN, Keye.Theoretical computer science. 2008, Vol 405, Num 1-2, pp 75-87, issn 0304-3975, 13 p.Conference Paper

Operational domain theory and topology of sequential programming languagesESCARDO, Martin; WENG KIN HO.Information and computation (Print). 2009, Vol 207, Num 3, pp 411-437, issn 0890-5401, 27 p.Article

The Ship Domain : A Criterion of Navigational Safety Assessment in an Open Sea AreaPIETRZYKOWSKI, Zbigniew; URIASZ, Janusz.Journal of navigation. 2009, Vol 62, Num 1, pp 93-108, issn 0373-4633, 16 p.Article

Ideal models of spacesMARTIN, Keye.Theoretical computer science. 2003, Vol 305, Num 1-3, pp 277-297, issn 0304-3975, 21 p.Conference Paper

Algebraic domains of natural transformationsFIECH, A; HUTH, M.Theoretical computer science. 1994, Vol 136, Num 1, pp 57-78, issn 0304-3975Conference Paper

Laws of programmingHOARE, C. A. R; HAYES, I. J; JIFENG, H. E et al.Communications of the ACM. 1987, Vol 30, Num 8, pp 672-686, issn 0001-0782Article

Canonical extensions and canonicity via dcpo presentationsGEHRKE, Mai; VOSMAER, Jacob.Theoretical computer science. 2011, Vol 412, Num 25, pp 2714-2723, issn 0304-3975, 10 p.Article

Probabilistic event structures and domainsVARACCA, Daniele; VÖLZER, Hagen; WINSKEL, Glynn et al.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 173-199, issn 0304-3975, 27 p.Conference Paper

Design and recording properties of Fe-Pt perpendicular mediaSUZUKI, Toshio; MURAOKA, Hiroaki; NAKAMURA, Yoshihisa et al.IEEE transactions on magnetics. 2003, Vol 39, Num 2, pp 691-696, issn 0018-9464, 6 p., 1Conference Paper

Some points in formal topologySAMBIN, Giovanni.Theoretical computer science. 2003, Vol 305, Num 1-3, pp 347-408, issn 0304-3975, 62 p.Conference Paper

Domain theory and differential calculus (functions of one variable)EDALAT, Abbas; LIEUTIER, André.Proceedings - Symposium on Logic in Computer Science. 2002, pp 277-286, issn 1043-6871, isbn 0-7695-1483-9, 10 p.Conference Paper