David Nowak
发表
Reynald Affeldt,
Yutaka Oiwa,
David Nowak,
2012
.
Yu Zhang,
David Nowak,
David Nowak,
2010,
ProvSec.
David Nowak,
Dona Crawford,
Donald McCoy,
2000,
Comput. Sci. Eng..
Reynald Affeldt,
Yutaka Oiwa,
David Nowak,
2012,
PLPV '12.
Paul Le Guernic,
Thierry Gautier,
Jean-Pierre Talpin,
1997,
Euro-Par.
Reynald Affeldt,
Takafumi Saikawa,
David Nowak,
2019,
MPC.
David Nowak,
Reynald Aeldt,
2006
.
Jean-Yves Moyen,
David Nowak,
Hugo Férée,
2018,
CPP.
Paul Le Guernic,
Jean-Pierre Talpin,
David Nowak,
1999,
CONCUR.
Jean Goubault-Larrecq,
Yu Zhang,
Slawomir Lasota,
2004,
CSL.
Mickaël Kerboeuf,
Jean-Pierre Talpin,
David Nowak,
1999
.
Jean Goubault-Larrecq,
David Nowak,
Slawomir Lasota,
2005
.
Yu Zhang,
Slawomir Lasota,
David Nowak,
2006,
ASIAN.
Dorel Lucanu,
Andrei Arusoaie,
David Nowak,
2015,
Logic, Rewriting, and Concurrency.
Stéphane Demri,
David Nowak,
2005,
ATVA.
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2012,
Sci. Comput. Program..
Stéphane Demri,
David Nowak,
David Nowak,
2005,
Int. J. Found. Comput. Sci..
David Nowak,
Sylvain Heraud,
2011,
ITP.
David Nowak,
Ranko Lazic,
R. Lazic,
2000,
CONCUR.
Jean Goubault-Larrecq,
Slawomir Lasota,
David Nowak,
2002
.
Akitoshi Kawamura,
Jean-Yves Marion,
David Nowak,
2013,
NII Shonan Meet. Rep..
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Yu Zhang,
David Nowak,
David Nowak,
2003,
CSL.
Jean-Pierre Talpin,
David Nowak,
J. Talpin,
1998,
FSTTCS.
Mickaël Kerboeuf,
Jean-Pierre Talpin,
David Nowak,
2003,
ICFEM.
David Nowak,
David Nowak,
1999,
Inf. Comput..
Jean-Pierre Talpin,
David Nowak,
Jean-René Beauvais,
1998,
TPHOLs.
David Nowak,
Quentin Hurst,
2000
.
Gilles Grimaud,
David Nowak,
Samuel Hym,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Dorel Lucanu,
Andrei Arusoaie,
David Nowak,
2017,
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Gilles Grimaud,
David Nowak,
Paolo Torrini,
2018,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
David Nowak,
Satoshi Hirabayashi,
Charles Kroll,
2011,
Environ. Model. Softw..
Gilles Grimaud,
David Nowak,
Samuel Hym,
2018,
Sci. Comput. Program..
David Nowak,
David Nowak,
2007,
ICICS.
Mohamed Sami Cherif,
David Nowak,
Paolo Torrini,
2018,
VSTTE.
David Nowak,
Vlad Rusu,
2019,
FROM.
Stéphane Demri,
David Nowak,
Ranko Lazic,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Pierre Castéran,
Jacques Garrigue,
David Nowak,
2014,
NII Shonan Meet. Rep..
Stéphane Demri,
David Nowak,
Ranko Lazic,
2005,
TIME.
David Nowak,
Ranko Lazic,
2003,
TLCA.
Mickaël Kerboeuf,
Jean-Pierre Talpin,
David Nowak,
2000,
TPHOLs.
Yu Zhang,
David Nowak,
2015,
Inf. Comput..
David Nowak,
David Nowak,
2009,
ICISC.
Stéphane Demri,
David Nowak,
S. Demri,
2005
.