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

Improved document ranking in ontology-based document search engine using evidential reasoningWENHU TANG; YAN, Long; ZHEN YANG et al.IET software (Print). 2014, Vol 8, Num 1, pp 33-41, issn 1751-8806, 9 p.Article

Locales: A Module System for Mathematical TheoriesBALLARIN, Clemens.Journal of automated reasoning. 2014, Vol 52, Num 2, pp 123-153, issn 0168-7433, 31 p.Article

Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsALAMA, Jesse; HESKES, Tom; KÜHLWEIN, Daniel et al.Journal of automated reasoning. 2014, Vol 52, Num 2, pp 191-213, issn 0168-7433, 23 p.Article

Proof Pearl: The KeY to Correct and Stable SortingDE GOUW, Stijn; DE BOER, Frank; ROT, Jurriaan et al.Journal of automated reasoning. 2014, Vol 53, Num 2, pp 129-139, issn 0168-7433, 11 p.Article

Bi-decomposition of multi-valued logical functions and its applicationsDAIZHAN CHENG; XIANGRU XU.Automatica (Oxford). 2013, Vol 49, Num 7, pp 1979-1985, issn 0005-1098, 7 p.Article

SMELS: Satisfiability Modulo Equality with Lazy SuperpositionLYNCH, Christopher; TA, Quang-Trung; TRAN, Duc-Khanh et al.Journal of automated reasoning. 2013, Vol 51, Num 3, pp 325-356, issn 0168-7433, 32 p.Article

Custom Automations in MizarBRIGHT CAMINATI, Marco; ROSOLINI, Giuseppe.Journal of automated reasoning. 2013, Vol 50, Num 2, pp 147-160, issn 0168-7433, 14 p.Article

An O(n + m) Certifying Triconnnectivity Algorithm for Hamiltonian GraphsELMASRY, Amr; MEHLHORN, Kurt; SCHMIDT, Jens M et al.Algorithmica. 2012, Vol 62, Num 3-4, pp 754-766, issn 0178-4617, 13 p.Article

Distances in evidence theory: Comprehensive survey and generalizations : Theory of Belief Functions - BELIEF 2010JOUSSELME, Anne-Laure; MAUPIN, Patrick.International journal of approximate reasoning. 2012, Vol 53, Num 2, pp 118-145, issn 0888-613X, 28 p.Article

New Techniques for Noninteractive Zero-KnowledgeGROTH, Jens; OSTROVSKY, Rafail; SAHAI, Amit et al.Journal of the Association for Computing Machinery. 2012, Vol 59, Num 3, issn 0004-5411, 11.1-11.35Article

Discrete heat kernel determines discrete Riemannian metricWEI ZENG; REN GUO; FENG LUO et al.Graphical models. 2012, Vol 74, Num 1, pp 121-129, issn 1524-0703, 9 p.Conference Paper

Geometry of Interaction V: Logic in the hyperfinite factorGIRARD, Jean-Yves.Theoretical computer science. 2011, Vol 412, Num 20, pp 1860-1883, issn 0304-3975, 24 p.Article

NEW PROOFS AND EXTENSIONS OF SYLVESTER'S AND JOHNSON'S INERTIA THEOREMS TO NON-HERMITIAN MATRICESMAN KAM KWONG; ZETTL, Anton.Proceedings of the American Mathematical Society. 2011, Vol 139, Num 11, pp 3795-3806, issn 0002-9939, 12 p.Article

Radial solutions with prescribed numbers of zeros for the nonlinear Schrodinger equation with harmonic potentialSELEM, Fouad Hadj.Nonlinearity (Bristol. Print). 2011, Vol 24, Num 6, pp 1795-1819, issn 0951-7715, 25 p.Article

Functional dependencies of C functions via weakest pre-conditionsCUOQ, Pascal; MONATE, Benjamin; PACALET, Anne et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 5, pp 405-417, issn 1433-2779, 13 p.Article

An Educational Logic Tool for the Formal Verification, Design by Contract, and Algorithmic Debugging of Imperative ProgramsVADO VIRSEDA, Rafael Del; ORNA RUIZ, Eva Pilar; BERBIS GONZALEZ, Eduardo et al.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 309-315, isbn 1-60132-180-5, 7 p.Conference Paper

Product Lines of TheoremsDELAWARE, Benjamin; COOK, William R; BATORY, Don et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 595-608, issn 1523-2867, 14 p.Conference Paper

Termination Combinators ForeverBOLINGBROKE, Maximilian; JONES, Simon Peyton; VYTINIOTIS, Dimitrios et al.ACM SIGPLAN notices. 2011, Vol 46, Num 12, pp 23-34, issn 1523-2867, 12 p.Conference Paper

A Constructive Proof of the General Lovász Local LemmaMOSER, Robin A; TARDOS, Gabor.Journal of the Association for Computing Machinery. 2010, Vol 57, Num 2, issn 0004-5411, G1-G15Article

Modeling and Evaluating Repeatability and Reproducibility of Ordinal ClassificationsDE MAST, Jeroen; VAN WIERINGEN, Wessel N.Technometrics. 2010, Vol 52, Num 1, pp 94-106, issn 0040-1706, 13 p.Article

Traveling fronts of the volume-filling chemotaxis model with general kineticsMANJUN MA; DAOMING YANG; HENGSHENG TANG et al.Applied mathematics and computation. 2010, Vol 216, Num 11, pp 3162-3171, issn 0096-3003, 10 p.Article

Constructive Approximation to Multivariate Function by Decay RBF Neural NetworkMUZHOU HOU; XULI HAN.IEEE transactions on neural networks. 2010, Vol 21, Num 9, pp 1517-1523, issn 1045-9227, 7 p.Article

Specifying and verifying holonic agents with GDT4MASMERMET, B; SIMON, G.International journal of agent-oriented software engineering (Print). 2010, Vol 4, Num 3, pp 281-303, issn 1746-1375, 23 p.Article

Two-Query PCP with Subconstant ErrorMOSHKOVITZ, Dana; RAZ, Ran.Journal of the Association for Computing Machinery. 2010, Vol 57, Num 5, pp 63-91, issn 0004-5411, 29 p.Article