CALPHAD ConferenceCalphad. 2010, Vol 34, Num 1, pp 138-158, issn 0364-5916, 21 p.Conference Paper

International Workshop Fixed Points in Computer Science, FICS'98Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, issn 0988-3754, 187 p.Conference Proceedings

Monotone (co)inductive types and positive fixed-point typesMATTHES, R.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 309-328, issn 0988-3754Conference Paper

The μ-calculus alternation-depth hierarchy is strict on binary treesARNOLD, A.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 329-339, issn 0988-3754Conference Paper

A note on negative tagging for least fixed-point formulaeGUROV, D; KAPRON, B.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 383-392, issn 0988-3754Conference Paper

Some problems with application of change-point detection methods to environmental dataJARUSKOVA, D.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 469-483, issn 1180-4009Conference Paper

Final dialgebras : From categories to allegoriesBACKHOUSE, R; HOOGENDIJK, P.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 401-426, issn 0988-3754Conference Paper

On statistical inference for non-precise dataVIERTL, R.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 541-568, issn 1180-4009Conference Paper

Quality aspects of official environment statisticsPOLFELDT, T.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 375-385, issn 1180-4009Conference Paper

A note on coinduction and weak bisimilarity for while programsRUTTEN, J. J. M. M.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 393-400, issn 0988-3754Conference Paper

Environmental Statistics and Earth ScienceJURECKOVA, Jana.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, issn 1180-4009, 210 p.Conference Proceedings

Climate chaotic instability : Statistical determination and theoretical backgroundSNEYERS, R.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 517-532, issn 1180-4009Conference Paper

Creating daily weather series with use of the weather generatorDUBROVSKY, M.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 409-424, issn 1180-4009Conference Paper

On distributive fixed-point expressionsSEIDL, H; NIWINSKI, D.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 427-446, issn 0988-3754Conference Paper

Fixpoint alternation : Arithmetic, transition systems, and the binary treeBRADFIELD, J. C.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 341-356, issn 0988-3754Conference Paper

Rewriting on cyclic structures : Equivalence between the operational and the categorical descriptionCORRADINI, A; GADDUCCI, F.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 467-493, issn 0988-3754Conference Paper

Topologies, continuity and bisimulationsDAVOREN, J. M.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 357-381, issn 0988-3754Conference Paper

A finite axiomatization of nondeterministic regular expressionsCORRADINI, F; DE NICOLA, R; LABELLA, A et al.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 4-5, pp 447-465, issn 0988-3754Conference Paper

Advances in River Bottom Ecology (River Bottom VI)HESLESIC, Jan; LEICHTFRIED, Maria; SCHENKOVA, Jana et al.International review of hydrobiology. 2007, Vol 92, Num 4-5, issn 1434-2944, 242 p.Conference Proceedings

On a stochastic model for moisture budget in an eulerian atmospheric columnFREIDLIN, M; PAVLOPOULOS, H.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 425-440, issn 1180-4009Conference Paper

An application of the likelihood method to change-point detectionGOMBAY, E; HORVATH, L.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 459-467, issn 1180-4009Conference Paper

Comparison of GCM-simulated daily maximum temperatures with observations in south MoraviaKALVOVA, J; NEMESOVA, I.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 503-516, issn 1180-4009Conference Paper

Resampling methods in generalized linear models useful in environmetricsFRIEDL, H; STADLOBER, E.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 441-457, issn 1180-4009Conference Paper

Life at the edge : Habitat condition and bottom fauna of alpine running watersFÜREDER, Leopold.International review of hydrobiology. 2007, Vol 92, Num 4-5, pp 491-513, issn 1434-2944, 23 p.Conference Paper

The US versus marine shale processors : Statistical issuesTOMAN, B; GASTWIRTH, J. L.EnvironMetrics (London, Ont.). 1997, Vol 8, Num 5, pp 533-540, issn 1180-4009Conference Paper