René David - RankMe

73 papers A* 2B 1C 2Misc 3Journal 47Unranked 14

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	About the range property for H. Log. Methods Comput. Sci. René David, Karim Nour
2011	J	`jnl`	A short proof that adding some permutation rules to β preserves SN. Theor. Comput. Sci. René David
2010	J	`jnl`	A short proof that adding some permutation rules to β preserves SN CoRR René David
2010	J	`jnl`	Strong normalization results by translation. Ann. Pure Appl. Log. René David, Karim Nour
2009	J	`jnl`	A direct proof of the confluence of combinatory strong reduction CoRR René David
2009	J	`jnl`	A direct proof of the confluence of combinatory strong reduction. Theor. Comput. Sci. René David
2009	J	`jnl`	A short proof that adding some permutation rules to beta preserves SN CoRR René David
2009	J	`jnl`	Counting proofs in propositional logic CoRR René David, Marek Zaionc
2009	J	`jnl`	Counting proofs in propositional logic. Arch. Math. Log. René David, Marek Zaionc
2009	J	`jnl`	Some properties of random lambda terms Log. Methods Comput. Sci. René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc
2009	J	`jnl`	Strong normalization results by translation CoRR René David, Karim Nour
2007	—	`conf`	An Arithmetical Proof of the Strong Normalization for the TLCA René David, Karim Nour
2007	J	`jnl`	Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi. Fundam. Informaticae René David, Karim Nour
2005	J	`jnl`	An intuitionistic [lambda]-calculus with exceptions. J. Funct. Program. René David, Georges Mounier
2005	—	`conf`	Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus. TLCA René David, Karim Nour
2005	—	`ed.`	Proceedings of the Second Workshop on Computational Logic and Applications, CLA 2004, Lyon, France, June 17-18, 2004 CLA Pierre Lescanne, René David, Marek Zaionc
2004	J	`jnl`	An experiment concerning mathematical proofs on computers with French undergraduate students. J. Appl. Log. René David, Christophe Raffalli
2004	—	`conf`	Preface. CLA Pierre Lescanne, René David, Marek Zaionc
2004	—	`conf`	Why the Usual Candidates of Reducibility Do Not Work for the Symmetric CLA René David, Karim Nour
2003	J	`jnl`	A short proof of the strong normalization of classical natural deduction with disjunction. J. Symb. Log. René David, Karim Nour
2003	J	`jnl`	Decidability results for primitive recursive algorithms. Theor. Comput. Sci. René David
2003	—	`conf`	Reachability Graph for Autonomous Continuous Petri Nets. POSTA René David, Hassane Alla
2003	B	`conf`	Strong Normalization of the Typed gamma CSL René David, Bruno Guillaume
2002	J	`jnl`	Hardware Generation of Random Single Input Change Test Sequences. J. Electron. Test. René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
2002	Misc	`conf`	On Using Efficient Test Sequences for BIST. VTS René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
2001	J	`jnl`	A lambda-calculus with explicit weakening and explicit substitution. Math. Struct. Comput. Sci. René David, Bruno Guillaume
2001	J	`jnl`	Computing with Böhm Trees. Fundam. Informaticae René David
2001	J	`jnl`	Delay Fault Testing: Choosing Between Random SIC and Random MIC Test Sequences. J. Electron. Test. Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch
2001	J	`jnl`	Normalization without reducibility. Ann. Pure Appl. Log. René David
2001	J	`jnl`	On Hybrid Petri Nets. Discret. Event Dyn. Syst. René David, Hassane Alla
2001	—	`conf`	On hardware generation of random single input change test sequences. ETW René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
2001	J	`jnl`	On the asymptotic behaviour of primitive recursive algorithms. Theor. Comput. Sci. René David
2001	C	`conf`	Random Adjacent Sequences: An Efficient Solution for Logic BIST. VLSI-SOC René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
2001	J	`jnl`	lambda mu - Calculus and Böhm's Theorem. J. Symb. Log. René David, Walter Py
2000	—	`conf`	Delay fault testing: choosing between random SIC and random MIC test sequences. ETW Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch
2000	C	`conf`	The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems. ISCC Moez Yeddes, Hassane Alla, René David
1999	J	`jnl`	Discrete-event dynamic systems. IEEE Trans. Control. Syst. Technol. François Charbonnier, Hassane Alla, René David
1999	—	`conf`	Every Unsolvable TLCA René David
1998	J	`jnl`	A Modelling and Analysis Tool for Discrete Events Systems: Continuous Petri Net. Perform. Evaluation Hassane Alla, René David
1998	J	`jnl`	Continuous and Hybrid Petri Nets. J. Circuits Syst. Comput. Hassane Alla, René David
1997	J	`jnl`	A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms. Theor. Comput. Sci. René David, Karim Nour
1997	—	`conf`	Modeling of hybrid systems using continuous and hybrid Petri nets. PNPM René David
1997	—	`conf`	Test Length for Random Testing of Sequential Machines Application to RAMs. Asian Test Symposium René David
1997	J	`jnl`	Testing for Bounded Faults in RAMs. J. Electron. Test. René David, Janusz A. Brzozowski, Helmut Jürgensen
1996	Misc	`conf`	An algebraic method for delay fault testing. VTS Sophie Crépaux-Motte, Mireille Jacomino, René David
1995	J	`jnl`	Grafcet: a powerful tool for specification of logic controllers. IEEE Trans. Control. Syst. Technol. René David
1995	J	`jnl`	Storage Operators and Directed Lambda-Calculus. J. Symb. Log. René David, Karim Nour
1994	Misc	`conf`	On robustness of required random test length with regard to fault occurrence hypotheses. VTS Sophie Crépaux-Motte, Mireille Jacomino, René David
1994	J	`jnl`	Petri nets for modeling of dynamic systems: A survey. Autom. René David, Hassane Alla
1994	J	`jnl`	The Inf Function in the System F. Theor. Comput. Sci. René David
1993	J	`jnl`	Asymptotic continuous Petri nets. Discret. Event Dyn. Syst. Jean Le Bail, Hassane Alla, René David
1992	A*	`conf`	Asymptotic continuous Petri nets: an efficient approximation of discrete event systems. ICRA Jean Le Bail, Hassane Alla, René David
1992	—	`book`	Petri nets and grafcet - tools for modelling discrete event systems. René David, Hassane Alla
1991	—	`conf`	Autonomous And Timed Continous Petri Nets. Applications and Theory of Petri Nets René David, Hassane Alla
1990	J	`jnl`	Analysis of Detection Probability and Some Applications. IEEE Trans. Computers René David, Kenneth Wagner
1990	J	`jnl`	Comments on "Signature Analysis for Multiple Output Circuits". IEEE Trans. Computers René David
1990	J	`jnl`	Fault Diagnosis of RAM's from Random Testing Experiments. IEEE Trans. Computers René David, Antoine Fuentes
1989	—	`conf`	A new approach of test confidence estimation. FTCS Mireille Jacomino, René David
1989	J	`jnl`	Random Pattern Testing Versus Deterministic Testing of RAM's. IEEE Trans. Computers René David, Antoine Fuentes, Bernard Courtois
1987	A*	`conf`	An aggregation method for performance evaluation of transfer lines with unreliable machines and finite buffers. ICRA Claude Terracol, René David
1987	—	`conf`	Fault Detection By Consumption Measurement in CMOS Circuits. Fehlertolerierende Rechensysteme Mireille Jacomino, J. L. Rainard, René David
1986	J	`jnl`	Signature Analysis for Multiple-Output Circuits. IEEE Trans. Computers René David
1982	J	`jnl`	A very absolute Π Ann. Math. Log. René David
1982	J	`jnl`	Δ Ann. Math. Log. René David
1980	J	`jnl`	A Result of Relative Consistency About the Predicate WO(delta, kappa). J. Symb. Log. René David
1980	J	`jnl`	Minimal Detecting Transition Sequences: Application to Random Testing. IEEE Trans. Computers René David, Pascale Thévenod-Fosse
1980	J	`jnl`	Testing by Feedback Shift Register. IEEE Trans. Computers René David
1978	J	`jnl`	A Totally Self-Checking 1-Out-of-3 Checker. IEEE Trans. Computers René David
1977	J	`jnl`	Modular Design of Asynchronous Circuits Defined by Graphs. IEEE Trans. Computers René David
1977	—	`conf`	Random Testing of Memories. GI Jahrestagung Pascale Thévenod-Fosse, René David
1976	J	`jnl`	About Random Fault Detection of Combinational Networks. IEEE Trans. Computers René David, Gérard Blanchet
1969	—	`book`	Langages de programmation en commande numérique de machines-outils. René David
1969	—	`book`	Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiques. René David