Infini et impossible! = Infinite and impossibleDELAHAYE, Jean-Paul.Pour la science (Imprimé). 2011, Num 403, pp 88-93, issn 0153-4092, 6 p.Article

Georg Cantor, et les infinis furent = Georg Cantor and the infinites wereNOWAK, Mathieu.La Recherche (Imprimé). 2009, Num 428, pp 48-51, issn 0029-5671, 4 p.Article

On infinite Steiner systemsGRANNELL, M. J; GRIGGS, T. S; PHELAN, J. S et al.Discrete mathematics. 1991, Vol 97, Num 1-3, pp 199-202, issn 0012-365XArticle

Formal verification of infinite state systems using boolean methodsBRYANT, Randal E.Lecture notes in computer science. 2006, pp 1-3, issn 0302-9743, isbn 3-540-36834-5, 1Vol, 3 p.Conference Paper

The UCLID decision procedureLAHIRI, Shuvendu K; SESHIA, Sanjit A.Lecture notes in computer science. 2004, pp 475-478, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Binary patterns in infinite binary wordsRESTIVO, Antonio; SALEMI, Sergio.Formal and natural computing-eessays dedicated to Grzegorz Rozenberg. Lecture notes in computer science. 2002, pp 107-116, issn 0302-9743, isbn 3-540-43190-XBook Chapter

Solving the linear quadratic optimal control problem for infinite-dimensional systemsGRAD, J. R; MORRIS, K. A.Computers & mathematics with applications (1987). 1996, Vol 32, Num 9, pp 99-119, issn 0898-1221Article

On a problem of Stein concerning infinite coversVANDEN EYNDEN, C.The American mathematical monthly. 1992, Vol 99, Num 4, pp 355-358, issn 0002-9890Article

A slow growing analogue to Buchhol' proofARAI, T.Annals of pure and applied logic. 1991, Vol 54, Num 2, pp 101-120, issn 0168-0072Article

Concurrence for infinite-dimensional quantum systemsYU GUO; JINCHUAN HOU; YUNCAI WANG et al.Quantum information processing (Print). 2013, Vol 12, Num 8, pp 2641-2653, issn 1570-0755, 13 p.Article

Deciding monotonic gamesPAROSH AZIZ ABDULLA; BOUAJJANI, Ahmed; D'ORSO, Julien et al.Lecture notes in computer science. 2003, pp 1-14, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Do we need liveness? Approximation of liveness properties by safety propertiesULTES-NITSCHE, Ulrich.Lecture notes in computer science. 2002, pp 279-287, issn 0302-9743, isbn 3-540-00145-X, 9 p.Conference Paper

Languages, rewriting systems, and verification of infinite-state systemsBOUAJJANI, Ahmed.Lecture notes in computer science. 2001, pp 24-39, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Algorithmic verification of infinite-state systemsBOUAJJANI, Ahmed.Theoretical computer science. 2001, Vol 256, Num 1-2, issn 0304-3975, 169 p.Serial Issue

Verification of infinite-state systems by specialization of CLP programsFIORAVANTI, Fabio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 762Conference Paper

FAST: Fast acceleration of symbolic transition systemsBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jérome et al.Lecture notes in computer science. 2003, pp 118-121, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

Continuity with respect to the trajectory of the observation of the filter associated to systems in infinite dimensionsDIETSCH, M.-N.Prague conference on information theory, statistical decision functions and random processesPrague symposium on asymptotic statistics. 1998, isbn 80-7015-636-8, 2Vol, vol 1, 103-106Conference Paper

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Output stabilisation for distributed semilinear systemsZERRIK, E; OUZAHRA, M.IET control theory & applications (Print). 2007, Vol 1, Num 3, pp 838-843, issn 1751-8644, 6 p.Article

Automation of recursive path ordering for infinite labelled rewrite systemsKOPROWSKI, Adam; ZANTEMA, Hans.Lecture notes in computer science. 2006, pp 332-346, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

A logical reconstruction of reachabilityRYBINA, Tatiana; VORONKOV, Andrei.Lecture notes in computer science. 2003, pp 222-237, issn 0302-9743, isbn 3-540-20813-5, 16 p.Conference Paper

METHODES ALGEBRIQUES POUR LA VERIFICATION DES SYSTEMES INFINIS = ALGEBRICAL METHODS FOR INFINITE STATES SYSTEMS MODEL CHECKINGLabroue, Anne; Schnoebelen, Philippe.2002, 162 p.Thesis

On some infinite server queues in discrete timeKRISHNAMOORTHY, A; USHAKUMARI, P. V.International journal of information and management sciences. 1996, Vol 7, Num 3, pp 71-78, issn 1017-1819Article

Exponential stability of states close to resonance in infinite-dimensional Hamiltonian systemsBAMBUSI, D; GIORGILLI, A.Journal of statistical physics. 1993, Vol 71, Num 3-4, pp 569-606, issn 0022-4715Article

Flux and fixation in cyclic particle systemsBRAMSON, M; GRIFFEATH, D.Annals of probability. 1989, Vol 17, Num 1, pp 26-45, issn 0091-1798, 20 p.Article