A new algorithm for aligning nested arc-annotated sequences under arbitrary weight schemesOUANGRAOUA, Aïda; GUIGNON, Valentin; HAMEL, Sylvie et al.Theoretical computer science. 2011, Vol 412, Num 8-10, pp 753-764, issn 0304-3975, 12 p.Article

Algorithmic randomness and monotone complexity on product spaceTAKAHASHI, Hayato.Information and computation (Print). 2011, Vol 209, Num 2, pp 183-197, issn 0890-5401, 15 p.Article

Expressive power of LL(k) Boolean grammarsOKHOTIN, Alexander.Theoretical computer science. 2011, Vol 412, Num 39, pp 5132-5155, issn 0304-3975, 24 p.Article

Introduction to clarithmetic IJAPARIDZE, Giorgi.Information and computation (Print). 2011, Vol 209, Num 10, pp 1312-1354, issn 0890-5401, 43 p.Article

Parallel addition in non-standard numeration systemsFROUGNY, Christiane; PELANTOVA, Edita; SVOBODOVA, Milena et al.Theoretical computer science. 2011, Vol 412, Num 41, pp 5714-5727, issn 0304-3975, 14 p.Article

WEIGHTED MATRIX ORDERING AND PARALLEL BANDED PRECONDITIONERS FOR ITERATIVE LINEAR SYSTEM SOLVERSMANGUOGLU, Murat; KOYUTÜRK, Mehmet; SAMEH, Ahmed H et al.SIAM journal on scientific computing (Print). 2011, Vol 32, Num 3, pp 1201-1216, issn 1064-8275, 16 p.Article

Self-assembly of infinite structures: A surveyPATITZ, Matthew J; SUMMERS, Scott M.Theoretical computer science. 2011, Vol 412, Num 1-2, pp 159-165, issn 0304-3975, 7 p.Article

Assuring property conformance of code generators via model checkingJÖRGES, Sven; MARGARIA, Tiziana; STEFFEN, Bernhard et al.Formal aspects of computing. 2011, Vol 23, Num 5, pp 589-606, issn 0934-5043, 18 p.Conference Paper

An integrable coupling hierarchy of the Mkdv_integrable systems, its Hamiltonian structure and corresponding nonisospectral integrable hierarchyXU, Xi-Xiang.Applied mathematics and computation. 2010, Vol 216, Num 1, pp 344-353, issn 0096-3003, 10 p.Article

An upper bound for the circuit complexity of existentially quantified Boolean formulasKLEINE BÜNING, H; REMSHAGEN, A.Theoretical computer science. 2010, Vol 411, Num 31-33, pp 2864-2870, issn 0304-3975, 7 p.Article

Anatomy-based organization of morphology and control in self-reconfigurable modular robots : Swarm roboticsCHRISTENSEN, David Johan; CAMPBELL, Jason; STOY, Kasper et al.Neural computing & applications (Print). 2010, Vol 19, Num 6, pp 787-805, issn 0941-0643, 19 p.Article

High-order nonlinear boundary value problems admitting multiple exact solutions with application to the fluid flow over a sheetVAN GORDER, Robert A.Applied mathematics and computation. 2010, Vol 216, Num 7, pp 2177-2182, issn 0096-3003, 6 p.Article

IS IT HARDER TO FACTOR A POLYNOMIAL OR TO FIND A ROOT?MILLER, Russell.Transactions of the American Mathematical Society. 2010, Vol 362, Num 10, pp 5261-5281, issn 0002-9947, 21 p.Article

PRECONDITIONING OF BOUNDARY VALUE PROBLEMS USING ELEMENTWISE SCHUR COMPLEMENTSAXELSSON, Owe; BLAHETA, Radim; NEYTCHEVA, Maya et al.SIAM journal on matrix analysis and applications. 2010, Vol 31, Num 2, pp 767-789, issn 0895-4798, 23 p.Article

ON THE SPATIAL ASYMPTOTICS OF SOLUTIONS OF THE ABLOWITZ-LADIK HIERARCHYMICHOR, Johanna.Proceedings of the American Mathematical Society. 2010, Vol 138, Num 12, pp 4249-4258, issn 0002-9939, 10 p.Article

Deterministic effective equations for the propagation of expectation in noisy nonlinear optical fibersBARLETTI, L; BUSONI, G.Mathematical methods in the applied sciences. 2010, Vol 33, Num 10, pp 1221-1227, issn 0170-4214, 7 p.Article

A note on atomicity : Boosting Test&Set to solve consensusIMBS, Damien; RAYNAL, Michel.Information processing letters. 2009, Vol 109, Num 12, pp 589-591, issn 0020-0190, 3 p.Article

Computability of probability measures and Martin-Löf randomness over metric spacesHOYRUP, Mathieu; ROJAS, Cristóbal.Information and computation (Print). 2009, Vol 207, Num 7, pp 830-847, issn 0890-5401, 18 p.Article

LOCAL CHROMATIC NUMBER AND DISTINGUISHING THE STRENGTH OF TOPOLOGICAL OBSTRUCTIONSSIMONYI, Gabor; TARDOS, Gabor; VRECICA, Sinisa T et al.Transactions of the American Mathematical Society. 2009, Vol 361, Num 2, pp 889-908, issn 0002-9947, 20 p.Article

MULTILEVEL PRECONDITIONING OF TWO-DIMENSIONAL ELLIPTIC PROBLEMS DISCRETIZED BY A CLASS OF DISCONTINUOUS GALERKIN METHODSKRAUS, Johannes K; TOMAR, Satyendra K.SIAM journal on scientific computing (Print). 2009, Vol 30, Num 2, pp 684-706, issn 1064-8275, 23 p.Article

Moment Matrices and Multi-Component KP, with Applications to Random Matrix TheoryADLER, Mark; VAN MOERBEKE, Pierre; VANHAECKE, Pol et al.Communications in mathematical physics. 2009, Vol 286, Num 1, pp 1-38, issn 0010-3616, 38 p.Article

Invariant based programming : basic approach and teaching experiencesBACK, Ralph-Johan.Formal aspects of computing. 2009, Vol 21, Num 3, pp 227-244, issn 0934-5043, 18 p.Article

An algebraic multigrid method for high order time-discretizations of the div-grad and the curl-curl equationsBOONEN, Tim; VAN LENT, Jan; VANDEWALLE, Stefan et al.Applied numerical mathematics. 2009, Vol 59, Num 3-4, pp 507-521, issn 0168-9274, 15 p.Conference Paper

On the convergence of population protocols when population goes to infinityBOURNEZ, Olivier; CHASSAING, Philippe; COHEN, Johanne et al.Applied mathematics and computation. 2009, Vol 215, Num 4, pp 1340-1350, issn 0096-3003, 11 p.Conference Paper

Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physicsZIEGLER, Martin.Applied mathematics and computation. 2009, Vol 215, Num 4, pp 1431-1447, issn 0096-3003, 17 p.Conference Paper