Alain - PDFSEARCH.IO - Document Search Engine

Alain
Results: 2917

#	Item
1	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
2	THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2010-03-26 13:13:11 Group theory Algebra Abstract algebra Topological groups Lie groups Geometric group theory Kazhdan's property Induced representation Reductive group Ergodic theory Commutator subgroup Representation theory
3	Isometric group actions on Hilbert spaces: structure of orbits Yves de Cornulier, Romain Tessera, Alain Valette November 8, 2005 Abstract Our main result is that a finitely generated nilpotent group has no isometric acti Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2005-12-11 05:25:15 Mathematical analysis Mathematics Algebra Functional analysis C*-algebras Topological groups Von Neumann algebras Measure theory Kazhdan's property Unitary representation Representation theory Direct integral
4	Isometric group actions on Banach spaces and representations vanishing at infinity Yves de Cornulier, Romain Tessera, Alain Valette November 28, 2006 Abstract Our main result is that the simple Lie group G = Sp(n, 1) act Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2006-11-27 19:35:09 Mathematical analysis Mathematics Geometry Geometric group theory Functional analysis Topological groups HahnBanach theorem Representation theory Kazhdan's property Uniform boundedness principle Reductive group Banach spaces
5	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:01:04
6	Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematical logic Mathematics Theoretical computer science Temporal logic Logic in computer science Model theory Formal methods Linear temporal logic Satisfiability modulo theories First-order logic Propositional calculus IP
7	SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant
8	A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematics Algebra Theoretical computer science Logic in computer science Satisfiability modulo theories Alt-Ergo Modular arithmetic Ring Rewriting Linear programming First-order logic Interval arithmetic
9	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
10	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15