Front for the arXiv
Fri, 9 May 2008
Front > cs > LO 		search | register | submit
journals | about | iFAQ

cs.LO Logic in Computer Science

Calendar Search Atom feed
Authors: AB CDE FGH IJK LMN O-R ST U-Z

Search

Author Title/ID
Abstract+ Category
articles per page Show Search help
Recent   

New articles (last 12)

8 May [abs] [pdf] [ps] arXiv:0805.0845 Presentation of a Game Semantics for First-Order Propositional Logic. Samuel Mimram (PPS). cs.LO (math.CT math.LO).
7 May [abs] [pdf] [ps] arXiv:0805.0783 Relational Parametricity and Separation Logic. Lars Birkedal, Hongseok Yang. cs.LO.
6 May [abs] [pdf] [ps] arXiv:0805.0498 The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Michael Bauland (Knipp GmbH, Germany), Martin Mundhenk (Univ. Jena, Germany), Thomas Schneider (Univ. of Manchester, UK), Henning Schnoor (Univ. Kiel, Germany), Ilka Schnoor (Univ. Luebeck, Germany), Heribert Vollmer (Univ. Hannover, Germany). ECCC Report TR08-028. cs.LO (cs.CC).
6 May [abs] [pdf] [ps] arXiv:0805.0330 Alternating Automata on Data Trees and XPath Satisfiability. Marcin Jurdzinski, Ranko Lazic. cs.LO (cs.DB).
30 Apr [abs] [pdf] [ps] arXiv:0804.4565 Data linkage algebra, data linkage dynamics, and priority rewriting. J. A. Bergstra, C. A. Middelburg. PRG0806. cs.LO.
29 Apr [abs] [pdf] [ps] arXiv:0804.4383 Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. Carlo A. Furia, Matteo Pradella, Matteo Rossi. cs.LO.

Cross-listings

6 May [abs] [pdf] [ps] arXiv:0805.0585 Discrete Mathematics for Computer Science, Some Notes. Jean Gallier. math.CO (cs.LO).
5 May [abs] [pdf] [ps] arXiv:0805.0202 A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. Antonio Morgado, Joao Marques-Silva. cs.AI (cs.LO).
30 Apr [abs] [pdf] [ps] arXiv:0804.4530 Strategy Improvement for Concurrent Safety Games. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger. cs.GT (cs.LO).

Revisions

9 May [abs] [pdf] arXiv:0804.4073 Grainy Numbers. Gilles Champenois. cs.LO (cs.AI).
6 May [abs] [pdf] [ps] cs/0608059 A Distribution Law for CCS and a New Congruence Result for the pi-calculus. Daniel Hirschkoff, Damien Pous. cs.LO.

Revised crosses

30 Apr [abs] [pdf] [ps] cs/0701023 A Polynomial Time Algorithm for 3-SAT. Sergey Gubin. cs.CC (cs.DS cs.LO math.CO).

Calendar

2008 69+28 May 4+2 April 23+7 March 13+3 February 14+6 January 15+10
2007 129+50 December 14+6 November 6+2 October 21+4 September 6+5 August 9+5 July 13+3
June 13+2 May 11+6 April 6+2 March 7+5 February 12+2 January 11+8
2006 114+42 December 5+4 November 10+2 October 25+2 September 18+6 August 8+9 July 5+2
June 6+4 May 10+1 April 3+1 March 9+3 February 4+2 January 11+6
2005 78+45 December 8+4 November 9+3 October 8+1 September 2+4 August 8+4 July 6+4
June 7+7 May 12+2 April 3+3 March 1+5 February 4+5 January 10+3
2004 54+37 December 4+4 November 7 October 8 September 3+5 August 3+7 July 7+1
June 3+4 May 3+4 April 4+3 March 4+3 February 7+5 January 1+1
2003 45+28 December 12+7 November 4+3 October 3+2 September 4+2 August 2+2 July 1+7
June 8+3 May 4 April 3+1 March 2 February 0+1 January 2
2002 40+29 December 3+1 November 8+2 October 2+2 September 1+2 August 3+2 July 12+10
June 2+1 May 2+1 April 3+1 March 2+3 February 1+3 January 1+1
2001 44+23 December 1+2 November 3+3 October 8+6 September 2 August 2 July 2+4
June 15+5 May 4 April 2 March 1+2 January 4+1
2000 43+29 December 2 November 4+1 October 3+1 August 2 July 8+2
June 3+1 May 7+1 April 1 March 11+18 February 2+2 January 0+3
1999 18+4 November 1 October 3+1 September 2 August 1 July 4
June 3 March 1+1 February 0+1 January 3+1
1998 10+7 December 1 November 2+1 October 2 September 5+2 August 0+3 July 0+1
1997 2+1 November 2
May 0+1
1996 1 December 1
1995 2 November 2
1994 0+2 November 0+2
1993 11 November 1
January 10

Total: 660+325 articles (primary+secondary)

Authors

AB

A P.Abate (1)
S.Abdennadher (1)
P.Abdulla (3)
W.Abdullah (2)
A.Abel (0+1)
S.Abramsky (0+3)
L.Acciai (1)
L.Aceto (2)
J.Adamek (2)
R.Adams (1)
K.Aehlig (4)		 F.Afrati (1)
N.Al-Hakeem (1)
M.Alberti (1)
F.Alessi (1)
J.Alferes (1)
J.Almeida (0+1)
M.Alves (0+1)
R.Amadio (4)
G.Amati (0+1)
G.Amato (0+2)
A.Ambainis (0+1)		 E.Amir (0+1)
A.Analyti (0+1)
H.Andersen (1)
T.Andronikos (1)
F.Angiulli (0+1)
G.Antoniou (2+1)
A.Appel (1)
K.Apt (4+3)
N.Arai (0+1)
O.Arieli (1)		 A.Armando (0+1)
J.Arrazola (1)
A.Artosi (1)
P.Ashar (1)
A.Asperti (1)
V.Atassi (2)
P.Attie (4)
C.Attiogbe (1)
J.Avigad (3+1)
R.Axelsson (1)

B F.Baader (1)
T.Babaian (0+1)
F.Bacchus (0+1)
S.Bader (0+2)
D.Baelde (1)
R.Bagnara (0+2)
C.Baier (1)
J.Bailey (1)
P.Baillot (8+1)
P.Balbiani (1)
T.Ball (1)
O.Banyasad (1)
C.Baral (0+1)
V.Barany (1)
H.Barradas (2)
D.Batens (1)
G.Battilotti (0+2)
N.Baudru (0+1)
M.Bauland (1)
D.Beauquier (1)
A.Beckmann (1)
M.Beeson (1)
W.Belkhir (1)
F.Bellegarde (1)
J.Ben-Naim (2+1)		 M.Benerecetti (1)
C.Benzmueller (0+1)
A.Berezovskaya (1)
S.Berghofer (1)
J.Bergstra (7)
D.Bert (2)
E.Bertino (0+1)
L.Bertossi (0+2)
Y.Bertot (5)
N.Bertrand (1)
A.Bes (1)
P.Besnard (1)
I.Bethke (1)
M.Bezem (1)
M.Bichler (0+1)
A.Biere (1)
M.Biernacka (1)
D.Biernacki (1)
D.Billigton (0+1)
D.Billington (2)
L.Birkedal (3)
J.Biskup (1)
S.Bistarelli (1)
B.Blanchet (0+1)		 F.Blanqui (21)
A.Blass (2+1)
V.Blondel (0+1)
B.Bloom (1)
S.Bloom (1+1)
M.Bodirsky (1)
E.Boehler (0+1)
E.Bohler (0+1)
B.Boigelot (1)
U.Boker (1)
M.Boman (1)
M.Bonacina (1+1)
G.Bonfante (2)
R.Booth (0+1)
L.Bordeaux (1)
M.Boreale (1)
M.Borgatti (0+1)
A.Bossi (2+1)
A.Bouajjani (3)
A.Bouali (1)
H.Boucheneb (1)
P.Boudes (1)
L.Bourmistrova (2)
S.Bova (1)		 L.Bovens (0+1)
H.Bowman (0+1)
L.Bozzelli (1)
S.Brand (0+2)
S.Brass (1+1)
M.Braverman (0+1)
L.Bravo (0+1)
R.Brayton (2)
G.Brewka (0+1)
R.Brijder (5)
O.Brunet (1)
R.Bruni (1)
P.Bruscoli (1+1)
V.Bruyere (1)
M.Bruynooghe (6+3)
F.Bry (1)
J.Bryans (0+1)
R.Bryant (4)
F.Buccafurri (1)
P.Buchholz (1)
L.Buisman (1)
M.Bunder (1)
M.Burgess (1)
S.Buss (1)

CDE

C P.Cabalar (0+3)
M.Cabarcos (0+1)
M.Cadoli (1+2)
D.Calvanese (1)
W.Calvert (0+1)
Y.Cao (1)
A.Capello (0+1)
S.Caporaso (2)
V.Capretta (1)
A.Carayol (2)
J.Carme (0+1)
M.Carro (0+1)
O.Carton (0+1)
L.Castro (1+1)
B.Catania (0+1)		 B.Cate (0+2)
F.Catthoor (1)
J.Cederquist (0+1)
G.Champenois (1)
P.Chapdelaine (0+1)
B.Charlier (1+1)
K.Chatterjee (1+1)
K.Chatzikokolakis (0+1)
H.Chen (3+1)
J.Cheney (2+1)
L.Cherbanski (1)
R.Cherubin (1)
H.Chockler (1+1)
C.Choi (1+1)
P.Cholewinski (1)		 J.Chomicki (0+1)
S.Chopra (0+2)
S.Chouali (1)
H.Cirstea (0+1)
J.Cleary (2)
N.Cocco (1)
J.Cockett (0+1)
M.Codish (1+1)
B.Coecke (0+4)
S.Cohen (0+1)
T.Colcombet (2)
R.Colvin (1+1)
H.Comon-Lundh (2)
W.Conradie (1)
B.Cook (1)		 S.Cook (2+1)
P.Coppola (2)
T.Coquand (1)
R.Corin (0+1)
N.Corriero (1)
V.Cortier (1+1)
S.Costantini (0+1)
B.Courcelle (3)
P.Cox (1)
K.Crary (1)
C.Cremers (0+1)
V.Cuevas (1)
P.Curien (5)
M.Czenko (1)

D F.Dabrowski (1)
V.Dalmau (1+1)
F.Dambreville (1+3)
Z.Dang (2+1)
A.Dani (1)
S.Danilava (0+1)
N.Danner (4)
C.Dantas (0+1)
O.Danvy (1)
T.Dao (1)
A.Daskalopulu (0+2)
M.Daumas (0+1)
J.De-Lataillade (2)
E.De-Mot (1)
L.De-Raedt (0+1)		 D.De-Schreye (2+4)
A.Degtyarev (1)
P.Dehornoy (1)
M.Dekker (0+1)
W.Dekkers (1)
D.Delahaye (1)
T.DellArmi (0+1)
J.Delvenne (0+1)
G.Delzanno (1)
S.Demri (4)
M.Denecker (6+2)
A.Denise (1)
P.Deransart (2)
J.Derrick (0+1)
N.Dershowitz (6+1)		 J.Desharnais (1)
M.Dezani-Ciancaglini (2)
C.Di-Giusto (1)
V.Diekert (0+1)
Y.Ding (1)
J.Dix (1+1)
C.Dixon (2)
K.Djelloul (2)
M.Dogguy (2)
B.Donat (0+1)
G.Dong (1)
B.Dongol (1)
K.Donnelly (1+1)
M.Dorca (0+1)
J.Doumen (1)		 A.Dovier (1+1)
L.Doyen (1)
W.Drabent (1)
M.Dransfield (1)
D.DSouza (1)
R.Duan (1)
J.Dufourd (1)
R.Duncan (0+1)
P.Dung (1)
C.Dunlaing (1)
J.Duparc (0+1)
A.Durand (2)
D.Duval (1)
M.Dymetman (0+1)

E D.East (1+1)
B.Edmonds (0+1)
T.Eiter (2+4)		 J.Engelfriet (3)
E.Erdem (1+1)		 Z.Esik (2+1)
J.Esparza (1)		 M.Ester (0+1)
S.Etalle (3+4)

FGH

F W.Faber (2+4)
F.Fages (1)
R.Fagin (1)
M.Falaschi (1)
G.Falconeri (1)
S.Feferman (0+1)
C.Feier (1)
U.Feige (0+1)
A.Felty (1)
Y.Feng (1)		 M.Ferbus-Zanda (0+2)
C.Ferdinand (1)
P.Ferraris (0+1)
P.Ferreira (1)
O.Finkel (12+5)
F.Fioravanti (0+2)
D.Fischer (1)
M.Fisher (3)
B.Fitelson (2)		 C.Fleckenstein (0+1)
J.Flum (0+2)
P.Fodor (1)
W.Fokkink (3)
C.Fouquere (2)
E.Foustoucos (1)
M.Franceschet (1)
E.Franconi (1)
B.Freitag (1)		 A.Frid (1)
H.Friedman (1)
N.Friedman (0+5)
P.Frosini (0+1)
T.Fruehwirth (1)
F.Fummi (0+1)
F.Furfaro (1)
C.Furia (1)
F.Furtek (1)

G D.Gabbay (1)
M.Gabbrielli (2+1)
A.Gacek (6)
A.Gadkari (1)
D.Gaffe (0+1)
J.Gallier (1+1)
M.Ganai (1)
T.Ganzow (1)
G.Gardey (1)
M.Gaudel (1)
M.Gavanelli (1)
S.Gay (0+1)
F.Geerts (1+1)
K.Georgatos (6+1)
S.German (1)
A.Ghose (0+1)
R.Giacobazzi (1+1)		 J.Giesl (2)
D.Gilis (0+1)
R.Gilleron (0+1)
L.Giordano (1)
R.Givan (1)
S.Glesner (1)
V.Gliozzi (1)
I.Gnaedig (1)
F.Gobert (0+1)
D.Goldin (1)
D.Goldson (1)
S.Goller (1)
J.Gomes (1)
K.Gopinath (1)
V.Goranko (2)
R.Gore (3)
D.Gorla (0+1)		 G.Gottlob (0+3)
J.Goubault-Larrecq (1)
S.Gouraud (1)
G.Governatori (3+1)
K.Grabczewski (1)
E.Graczynska (0+1)
E.Gradel (1)
E.Graedel (2)
F.Grandi (1)
E.Grandjean (2+1)
D.Gray (0+1)
G.Greco (2+1)
S.Greco (2)
W.Griffioen (1)
R.Grigore (1)
S.Grigorieff (0+2)
R.Grimson (1)		 M.Grohe (1+3)
S.Gubin (0+3)
P.Guedes (1)
D.Guelev (1)
S.Guerrini (1)
I.Guessarian (1)
A.Guglielmi (2+2)
F.Guidi (1)
Y.Guiraud (3+4)
T.Gundersen (0+1)
H.Guo (0+1)
A.Gupta (1)
G.Gupta (0+1)
V.Gupta (1)
Y.Gurevich (2+3)
C.Gutierrez (0+1)

H C.Hagenah (0+1)
J.Halpern (8+24)
M.Hammer (1)
D.Hanh (1)
Z.Hanna (2)
C.Hardin (1)
T.Hardin (1)
J.Harland (1)
R.Harper (2)
M.Harris (1)
J.Harrison (0+1)
P.Hartel (1)
S.Hartmann (0+1)
W.Harvey (0+1)
M.Hasegawa (0+1)		 J.Hastad (0+1)
I.Hasuo (1)
Y.Havinga (1)
I.Hayes (1+1)
J.Hayman (1)
S.Hazelhurst (0+1)
W.Heaven (0+1)
R.Heckmann (1)
J.Heidema (0+1)
K.Heljanko (2)
E.Hemaspaandra (1+5)
D.Hemer (0+1)
N.Henda (1)
L.Hendriks (1)
M.Hennessy (0+1)		 K.Henshall (1)
T.Henzinger (2+1)
F.Heras (0+1)
H.Herbelin (1)
J.Hermenegildo (1)
A.Herzig (1)
W.Hesselink (0+1)
S.Heymans (1)
P.Hill (1+2)
P.Hines (1)
D.Hirschkoff (2)
A.Hirschowitz (2)
Y.Hirshfeld (1)
J.Hitchcock (1)
P.Hitzler (2+7)		 S.Hoelldobler (0+1)
A.Hoffmann (0+2)
M.Hofmann (1)
J.Holt (1)
F.Honsell (1)
H.Hoogeboom (7)
I.Horrock (1)
I.Horrocks (3)
G.Huang (1)
J.Huang (0+1)
W.Hung (1)
M.Huth (1)
M.Hutter (0+1)
H.Hutzelmeyer (1)

IJK

I G.Ianni (2)
O.Ibarra (1)
G.Ielpa (0+1)		 A.Ignjatovic (2)
A.Imine (1)
N.Immerman (0+1)		 R.Impagliazzo (0+1)
A.Ingolfsdottir (2)
B.Intrigila (1)		 A.Isli (0+4)
L.Ismailova (5)

J B.Jacobs (1)
F.Jacquemard (1)
M.Jaekel (0+1)
R.Jagadeesan (1)
P.Jancar (1)
T.Janhunen (0+1)		 G.Janssens (1)
G.Japaridze (12)
L.Jaulin (1)
S.Jha (2)
R.Jhala (1)
Z.Ji (1)		 R.Jiang (1)
S.Jodogne (1)
J.Johannsen (1)
C.Johnson (1)
F.Johnson (0+2)
C.Jones (0+1)		 A.Josang (0+1)
J.Jouannaud (6)
J.Julliand (1)
T.Junttila (1)
M.Jurdzinski (1)
F.Jurkovic (1)

K L.Kaiser (2)
R.Kashima (0+1)
J.Katz (1)
A.Kechris (1)
C.Keet (1)
A.Kehagias (1)
R.Kemp (1)
P.Kemper (1)
G.Kern-Isberner (0+1)
K.Kersting (0+1)
B.Khoussainov (0+1)
T.Kieu (0+3)		 H.Kim (1)
A.King (1)
C.Kirchner (1)
H.Kirchner (1)
E.Kiss (0+1)
F.Klaedtke (1)
F.Klay (1)
A.Knapp (1)
N.Kobayashi (0+1)
C.Koch (0+2)
L.Kohout (0+1)
D.Koller (0+2)		 K.Konczak (0+1)
B.Konev (2)
B.Kooi (1)
K.Korovin (1)
S.Kosikov (1)
D.Kozen (1)
K.Kristoffersen (1)
J.Krivine (1)
M.Krotzsch (1)
A.Kucera (2)
M.Kufleitner (1)		 W.Kuich (0+1)
B.Kuijpers (1)
M.Kulas (0+1)
M.Kumabe (0+1)
V.Kuncak (3+6)
O.Kupferman (1)
P.Kurka (0+1)
S.Kuroda (1)
A.Kurz (1)
D.Kuske (1)
D.Kusmierek (1)

LMN

L R.Laemmel (0+1)
U.Lago (6+1)
V.Lagoon (1+1)
S.Lahiri (2)
J.Laird (0+1)
G.Lakemeyer (0+1)
F.Lamarche (1)
J.Lambert (0+1)
E.Lamma (1)
I.Lanese (1)
M.Lange (1)
R.Lanotte (1)
S.Lappin (0+1)
V.Lapshin (1)
B.Larose (1)
F.Laroussinie (1)
J.Larrosa (0+1)		 S.Lasota (3)
R.Lasseigne (1)
T.Latvala (1)
R.Lazic (5)
D.Lecomte (1+1)
J.Lee (1+1)
Y.Legrandgerard (1)
D.Lehmann (0+3)
D.Leinders (0+2)
K.Leino (0+1)
A.Lemay (0+1)
N.Leone (3+4)
P.Lescanne (0+1)
D.Lester (0+1)
M.Leuschel (0+1)
H.Levesque (0+1)
M.Li (0+1)		 Q.Li (0+1)
S.Li (0+2)
W.Li (2)
Y.Li (1+1)
C.Liang (1)
C.Liau (0+1)
P.Liberatore (2+6)
L.Libkin (1)
V.Lifschitz (1+1)
T.Linke (0+1)
A.Lisewski (1)
A.Lisitsa (2)
F.Liu (1)
C.Loding (1)
A.Lomuscio (2)
Z.Lonc (4)		 B.Long (2)
C.Loten (1)
Y.Loyer (2)
E.Lozes (1)
L.Lu (2+1)
Z.Lu (0+1)
L.Lubyte (0+1)
B.Luderman (1)
Y.Luo (1)
Z.Luo (1)
S.Lusin (1)
E.Lusk (2)
B.Luttik (2)
C.Lutz (1)
J.Lutz (1)
I.Lynce (0+1)

M S.Ma (2)
M.Maggesi (2)
P.Mahata (1)
M.Maher (3+1)
R.Majumdar (1)
V.Makarov (1)
J.Maluszynski (1)
T.Mancini (1+1)
S.Maneth (1)
M.Mannucci (2)
V.Manquinho (0+1)
P.Manyem (0+1)
S.Marcelino (0+1)
V.Marek (5+2)
J.Marion (0+1)
N.Markey (1)
B.Marnette (0+1)
J.Marques-Silva (0+2)
B.Martin (1)
K.Martin (0+2)
S.Martini (2)
D.Martins (1)
A.Masini (3)		 P.Masson (1)
P.Mateus (0+1)
P.Matherat (0+1)
O.Matlin (3)
S.Matsuoka (4)
M.Maurice (0+1)
M.Mayero (2)
P.Maynard-Reid-II (0+1)
R.Mayr (3)
D.Mazza (1)
D.McAllester (1)
W.McCune (4)
R.McDowell (1)
A.McIver (1)
K.McMillan (1)
K.Meer (2)
C.Meghini (0+1)
P.Mellies (1)
P.Mello (1)
M.Meo (2+1)
A.Merceron (1)
D.Mery (1)
S.Merz (2)		 F.Mesnard (1+2)
G.Metcalfe (1)
A.Meyer (5)
T.Meyer (0+3)
M.Miculan (1)
C.Middelburg (4)
A.Middeldorp (0+1)
H.Mihara (0+1)
A.Mikhaylov (1)
M.Milano (1)
E.Miles (0+1)
S.Milius (2)
M.Milkowska (1)
D.Miller (6)
S.Mimram (2)
A.Mingarelli (1)
A.Mishchenko (2)
E.Mjolsness (0+1)
W.Moczydlowski (2)
V.Mogbil (2)
R.Mogelberg (1)
J.Molina (1)		 B.Moller (1)
A.Momigliano (1)
D.Monniaux (1)
F.Montagna (1)
A.Montanari (1)
U.Montanari (3)
C.Montangero (1)
A.Morgado (0+1)
C.Morgan (1)
R.Morin (0+1)
F.Moser (0+1)
Y.Moses (1)
M.Moskal (1)
B.Moszkowski (1)
J.Mountjoy (0+1)
I.Moussa (0+1)
J.Moyen (0+1)
M.Mundhenk (1)
S.Munoz-Hernandez (0+1)
C.Munoz (0+1)
A.Muscholl (1)
M.Muskulus (1)

N G.Nadathur (6)
A.Nadel (1)
R.Nagarajan (0+1)
W.Naifer (1)
L.Naish (1)
P.Naumov (1)		 J.Navarro (1)
B.Nayak (2)
F.Neven (0+1)
T.Newcomb (1)
P.Nguyen (1)
R.Nickson (0+1)		 P.Nicolas (0+2)
I.Niemela (2+1)
A.Nies (0+1)
J.Nordstrom (0+1)
Z.Norkunaite (0+1)		 D.Normann (1)
D.Nowak (4)
D.Nowotka (1)
W.Nutt (0+1)
A.Nylen (1)

O-R

O R.OConnor (1)
J.Odelstad (1)
E.Ofek (0+1)
E.Oikarinen (0+1)		 M.Okada (2)
H.Okamoto (0+1)
T.Okamoto (0+1)
N.Olivetti (3)		 K.ONeill (0+2)
G.Oreiby (1)
M.Osorio (2)
J.Ospina (0+2)		 B.OSullivan (0+1)
R.Otero (0+1)
W.Othman (1)
J.Ouaknine (1)

P J.Pachl (1)
C.Palamidessi (0+1)
E.Palmgren (0+1)
M.Palomino (1)
L.Palopoli (0+1)
P.Panangaden (1)
N.Papanikolaou (1+1)
J.Paredaens (1)
A.Paschke (0+4)
C.Pastro (0+2)
D.Patinson (1)
D.Pattinson (1)
L.Paulson (16)
M.Pauly (1)
V.Pavlaki (1)
E.Payet (1+1)
D.Pearce (0+1)
R.Pechoux (0+1)		 M.Pedicini (2)
D.Pedreschi (1)
M.Peim (1)
N.Pelov (3)
W.Penczek (1)
S.Perdrix (1)
L.Pereira (1)
M.Perkowski (1)
P.Perlasca (0+1)
A.Peron (1)
S.Perri (1+1)
N.Perrin (1)
S.Perron (1)
A.Pescetti (0+1)
S.Petride (0+1)
A.Pettorossi (0+4)
S.Peyronnet (1)		 G.Pfeifer (1+4)
F.Pfenning (2)
C.Piazza (1+1)
A.Pillay (1)
E.Pimentel (1)
J.Pinto (1+1)
N.Piterman (1)
A.Pitts (0+1)
I.Pivkina (0+1)
D.Plaisted (0+2)
A.Plotnikov (1)
A.Podelski (0+1)
A.Policriti (1)
A.Polleres (0+1)
C.Pollett (1+1)
A.Ponse (1)
E.Pontelli (1+1)		 D.Popel (2)
J.Porter (0+1)
I.Potapov (1)
D.Pous (1)
G.Pozzato (2)
M.Pradella (1)
H.Prakken (0+1)
I.Pratt-Hartmann (3)
G.Pravadelli (0+1)
L.Predoiu (1)
Y.Pritykin (0+1)
M.Proietti (0+4)
F.Prost (1)
A.Provetti (0+1)
T.Przymusinski (0+1)
R.Pucella (9+7)
D.Pym (1)

Q D.Qiu (2) F.Quaglia (1)

R A.Rabinovich (3)
P.Raff (0+1)
H.Raghunandan (1+1)
A.Ramer (0+2)
S.Ramesh (1)
S.Ranise (0+1)
F.Ranzato (4+1)
b.Raskin (1)
J.Raskin (2)
t.RaST-Collaboration (1)
S.Ratschan (3)
D.Ravi (1)
R.Raz (0+1)
I.Razgon (0+1)
C.Recanati (0+1)		 L.Regnier (1)
L.Rego (2+1)
S.Reith (0+2)
A.Remshagen (1)
S.Renault (0+1)
T.Reps (1)
P.Resende (0+1)
J.Ressayre (1)
A.Ressouche (0+1)
M.Reynolds (1)
A.Riazanov (0+1)
C.Riba (2)
C.Ribeiro (1)
T.Ridge (1)
M.Rigo (0+1)		 C.Rigotti (1)
M.Rinard (3+5)
D.Ringe (1)
N.Romdhane (1)
P.Rondogiannis (1)
A.Roscoe (1)
D.Rosenblueth (1)
D.Rosenzweig (2)
F.Rossi (2)
G.Rossi (1+1)
M.Rossi (1)
S.Rossi (3+1)
U.Rossi (0+1)
B.Rossman (2)
S.Rout (1)		 O.Roux (1)
S.Roux (1+1)
L.Roversi (3)
A.Roy (1+1)
V.Roy (0+1)
J.Royer (3)
G.Rozenberg (2)
S.Rubin (2+1)
A.Rubio (2)
E.Ruckhaus (0+1)
S.Ruggieri (1)
E.Ruiz (0+1)
M.Rusinovitch (0+1)
A.Russo (0+1)
M.Ryan (1)

ST

S W.Saba (0+1)
M.Sagiv (2)
Y.Sagiv (0+1)
K.Sagonas (1+1)
S.Sahoo (2)
A.Sakharov (1)
J.Saklawi (1)
M.Samer (0+1)
D.Sangiorgi (1)
J.Santiago (1)
F.Santini (1)
L.Santocanale (1)
V.Sarsakov (0+1)
V.Sassone (0+1)
S.Sathasivam (2)
K.Satoh (0+1)
U.Sattler (3)
F.Saubion (0+2)
C.Sauerbier (0+1)
V.Sazonov (1)
F.Scarcello (1+1)
P.Schachte (1)
A.Schaerf (2)
T.Schaub (1+2)
D.Scheder (0+1)
N.Schluter (1)
J.Schmidhuber (1)
V.Schmitt (1)
J.Schmolze (0+1)
P.Schneider-Kamp (2)		 T.Schneider (1)
P.Schnoebelen (1)
H.Schnoor (1+2)
I.Schnoor (1+1)
C.Schommer (0+1)
L.Schroder (2)
M.Schroeder (2)
C.Schuermann (0+1)
O.Schulte (0+1)
K.Schulz (0+1)
S.Schulz (0+1)
A.Schumann (1)
V.Schuppan (1)
A.Schutt (0+1)
S.Schwarz (0+1)
D.Schweigert (0+1)
N.Schweikardt (3)
R.Schweimeier (2)
T.Schwentick (1+1)
H.Schwichtenberg (1)
C.Schwind (1+2)
F.Scozzari (0+3)
N.Segerlind (0+2)
H.Seidl (1)
P.Selinger (3)
L.Semini (1)
G.Senizergues (1)
A.Serebrenik (1+6)
A.Sernadas (0+1)		 S.Seshia (1)
D.Severin (0+1)
C.Shan (0+2)
S.Shapiro (0+2)
A.Sharma (1)
B.Sharma (1)
K.Shashidhar (1)
S.Shelah (0+5)
S.Shen (1)
Y.Shen (3+3)
T.Shimizu (1)
M.Shinwell (0+1)
D.Shkatov (1)
A.Shkotin (1)
R.Shore (2)
R.Shyamasundar (1)
A.Sicard (0+2)
J.Silva (0+1)
M.Simkus (0+1)
P.Simonnet (2+1)
P.Simons (2)
A.Sistla (1)
F.Smarandache (3)
J.Smaus (6)
A.Smith (1)
M.Smith (1)
L.Smits (1)
A.Sokolova (1)
M.Soltys (1)		 R.Somla (1)
T.Son (0+1)
H.Sondergaard (1)
X.Song (1)
M.Sorensen (1)
B.Spitters (1)
A.Spiwack (1)
N.Spyratos (2)
R.Srinivasan (1+1)
D.Stamate (2)
R.Statman (1)
F.Stephan (0+1)
I.Stephan (0+2)
I.Stewart (1)
M.Stone (1)
L.Strassburger (3)
O.Strichman (1)
K.Stroetmann (1)
P.Strooper (1+1)
P.Strub (2)
G.Struth (1)
P.Stuckey (1+5)
A.Suciu (1)
K.Suenaga (0+1)
Y.Sui (2)
M.Sulzmann (0+2)
R.Sunderraman (2)
T.Swift (1)
S.Szeider (0+1)

T N.Tabareau (1)
F.Tapparo (3)
P.Tarau (1)
C.Tardif (1)
E.Taroza (0+1)
P.Taylor (0+1)
E.Teniente (0+1)
O.Teran (0+1)
A.Terlutte (0+1)
E.Ternovska (0+1)
K.Terui (4)		 S.Terwijn (1)
P.Tesson (1)
J.Teutsch (0+1)
P.Thang (1)
N.Thapen (1)
D.Therien (1)
L.Thery (1)
R.Thiemann (2)
W.Thomas (1)
A.Tiu (4)		 A.To (1)
S.Tobies (7)
M.Tommasi (0+1)
H.Tompits (1+1)
N.Torp-Smith (1)
H.Tran (1)
S.Trenite (1)
J.Treur (1)
D.Trivellato (0+1)
N.Troquard (1)		 I.Trubtsyna (1)
K.Truemper (1)
D.Truszczynski (0+1)
M.Truszczynski (12+4)
J.Tucker (2)
T.Turletti (1)
H.Turner (2)
J.Tyszkiewicz (0+4)
I.Tzameret (0+2)
Y.Tzitzikas (0+1)

U-Z

U D.Ulrich (2)
U.Ultes-Nitsche (1)		 Y.Umezawa (1)
C.Urban (1+1)		 T.Urpi (0+1) P.Urzyczyn (1)

V F.Vaandrager (1)
D.Vakarelov (1)
M.Valeriote (0+1)
B.Valiron (2)
J.Van-den-Bussche (3+2)
P.Van-Hentenryck (1)
D.Van-Nieuwenborgh (2)
B.Van-Nuffelen (1)
H.Vandecasteele (1)
M.Vardi (2)		 J.Velebil (2)
M.Velev (2)
M.Velez (0+2)
A.Venkataraman (1)
J.Vennekens (0+1)
S.Verbaeten (1)
O.Verbitsky (0+2)
K.Verma (1)
R.Verma (1)
D.Vermeir (1)		 C.Vermeulen (2)
R.Veroff (1)
K.Vezerides (1)
G.Vidal (0+1)
M.Vidal (0+1)
L.Vigano (2)
S.Vigna (1)
L.Vigneron (1)
T.Villa (1)
J.Villadsen (1+1)		 A.Villanueva (1)
A.Vinokur (1)
P.Vitanyi (0+1)
A.Vitoria (1)
S.Vlad (8)
C.Volkstorf (1)
H.Vollmer (1+2)
M.Volpe (1)
A.Voronkov (1)

W W.Wadge (1)
E.Waller (1)
S.Wallis (0+1)
I.Walukiewicz (4)
F.Wang (1+3)
H.Wang (2)
D.Warren (1+1)
J.Wazny (0+1)		 V.Weber (1)
P.Wegner (1)
J.Wehler (1)
P.Weil (4)
P.Weis (1)
V.Weissman (2+1)
M.Wendt (1+1)
L.Whiting (1)		 F.Widmann (1)
T.Wies (0+1)
R.Wilhelm (1)
G.Winskel (1)
L.Wischik (0+1)
S.Wohrle (1)
A.Wojdyga (1)		 V.Wolfengagen (5)
P.Wolper (2)
F.Wolter (2)
S.Woltran (1+2)
J.Worrell (2)
K.Worytkiewicz (1)
L.Wos (3+1)

X G.Xie (0+1) H.Xie (0+1) K.Xu (2)

Y S.Yamasaki (1)
Q.Yan (1)
G.Yang (1)		 H.Yang (2)
Q.Yang (1+1)
N.Yevtushenko (1)		 Y.Yin (1)
M.Ying (2+1)
G.Yorsh (2)		 J.You (2+3)
L.Yuan (2+3)

Z W.Zadrozny (0+1)
E.Zaffanella (0+2)
M.Zakharyaschev (1)
M.Zakrzewski (1)
E.Zalinescu (1+1)
H.Zankl (0+1)		 K.Zee (0+1)
S.Zeisset (0+1)
H.Zenil (0+1)
C.Zerrari (1)
G.Zhang (2)
Y.Zhang (3)		 N.Zhou (0+1)
M.Ziegler (6)
S.Zilio (1)
K.Zinchenko (4)
P.Zizzi (0+4)		 M.Zorzi (2)
J.Zucker (2)
U.Zukowski (1)
E.Zumpano (1)
A.Zuquete (1)

[help e-mail] - for questions or comments about the Front
arXiv contact page - for questions about downloading and submitting e-prints