sign in · help · news · about ·

BibSonomy :: author :: Regnier ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(53)

<< < 1 | 2 | 3 > >>

Paths in the lambda-calculus
Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier LICS, page 426-436. IEEE Computer Society, (1994)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
Patrick Baillot, Vincent Danos, Thomas Ehrhard, and Laurent Regnier LICS, page 68-75. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Some Results on the Interpretation of lambda-calculus in Operator Algebras
Pasquale Malacaria, and Laurent Regnier LICS, page 63-72. IEEE Computer Society, (1991)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Local and asynchronous beta-reduction an analysis of Girard's execution formula
Vincent Danos, and Laurent Regnier LICS, page 296-306. IEEE Computer Society, (1993)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Game Semantics & Abstract Machines.
Vincent Danos, Hugo Herbelin, and Laurent Regnier LICS, page 394-405. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Retractions of Types with Many Atoms
Laurent Regnier, and Pawel Urzyczyn CoRR (2002)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
TSNLP - Test Suites for Natural Language Processing
Sabine Lehmann, Stephan Oepen, Sylvie Regnier-Prost, Klaus Netter, Veronika Lux, Judith Klein, Kirsten Falkedal, Frederik Fouvry, Dominique Estival, Eva Dauphin, Herve Compagnion, Judith Baur, Lorna Balkan, and Doug Arnold CoRR (1996)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor
Paul Regnier, George Lima, and Ernesto Massa CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Two-Dimensional Correlation Optimized Warping Algorithm for Aligning GC×GC−MS Data
Dabao Zhang, Xiaodong Huang, Fred E. Regnier, and Min Zhang Analytical Chemistry (2008)
by afcallender on Oct 1, 2011, 1:32 AM
DOI | BibTeX
Une équivalence sur les lambda-termes.
Laurent Regnier Theor. Comput. Sci. 126(2):281-292 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Privacy-preserving approach to bayesian network structure learning from distributed data.
Olivier Regnier-Coudert, and John A. W. McCall GECCO Companion, page 815-816. ACM, (2011)
to dblp by dblp on Jul 15, 2011, 12:00 AM
URL | BibTeX
E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities.
Paul Ruth, Dongyan Xu, Bharat K. Bhargava, and Fred Regnier iTrust, volume 2995 of Lecture Notes in Computer Science, page 161-175. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Reversible, Irreversible and Optimal Lambda-machines.
Vincent Danos, and Laurent Regnier Electr. Notes Theor. Comput. Sci. (1996)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Foreword.
Thomas Ehrhard, Yves Lafont, and Laurent Regnier Mathematical Structures in Computer Science 8(6):541 (1998)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Prevalence and Risk Factors for Carriage of Methicillin-Resistant Staphylococcus aureus at Admission to the Intensive Care Unit: Results of a Multicenter Study
Jean-Christophe Lucet, Sylvie Chevret, Isabelle Durand-Zaleski, Claude Chastang, Bernard Regnier, and for the Multicenter Study Group Arch Intern Med 163(2):181--188 (January 2003)
to imported by jelias on Mar 11, 2011, 10:05 AM
URL | DOI | BibTeX
Simulating pirate behavior to exploit environmental information.
Leslie Esher, Stacey Hall, Eva Regnier, Paul J. Sanchez, James A. Hansen, and Dashi Singham Winter Simulation Conference, page 1330-1335. WSC, (2010)
to dblp by dblp on Jan 8, 2011, 12:00 AM
URL | BibTeX
Partial clustering using a time-varying frequency model for singing voice detection.
Lise Regnier, and Geoffroy Peeters ICASSP, page 441-444. IEEE, (2010)
to dblp by dblp on Nov 29, 2010, 12:00 AM
URL | BibTeX
Using a Markov network as a surrogate fitness function in a genetic algorithm.
Alexander E. I. Brownlee, Olivier Regnier-Coudert, John A. W. McCall, and Stewart Massie IEEE Congress on Evolutionary Computation, page 1-8. IEEE, (2010)
to dblp by dblp on Sep 30, 2010, 12:00 AM
URL | BibTeX
Leakage paths identification in NVM using biased data retention.
J. Postel-Pellerin, R. Laffont, G. Micolau, F. Lalande, A. Regnier, and B. Bouteille Microelectronics Reliability 50(9-11):1474-1478 (2010)
to dblp by dblp on Sep 29, 2010, 12:00 AM
URL | BibTeX
Dynamic stress method for accurate NVM oxide robustness evaluation for automotive applications.
D. Pic, A. Regnier, V. Pean, Jean-Luc Ogier, and D. Goguenheim Microelectronics Reliability 48(8-9):1318-1321 (2008)
to dblp by dblp on Sep 28, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper