Search CORE

4 research outputs found

Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets

Author: D.J. Floreani
J. Bengtsson
J. Bengtsson
J.L. Rasmussen
K. Grønbæk
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Design/CPN — A computer tool for Coloured Petri Nets

Author: A. Cheng
D.J. Floreani
G. Scheschonk
H.J. Genrich
J.L. Rasmussen
K.H. Mortensen
L. Cherkasova
S. Christensen
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

A Coloured Petri Net Approach to Protocol Verification

Author: A. Tanenbaum
A. Tokmakoff
A. Valmari
C. Ouyang
C. Ouyang
D.E. Comer
D.E. Knuth
D.J. Floreani
F. Babich
G.J. Holzmann
I. Suzuki
I. Suzuki
J. Billington
J. Billington
J. Billington
J. Billington
J. Billington
J. Billington
J. Billington
J. Billington
J. Desel
J. Xu
J.B. Jørgensen
K. Jensen
K. Jensen
K. Jensen
K. Jensen
K. Sabnani
K.A. Bartlett
L. Liu
L.M. Kristensen
M. Diaz
M.E. Villapol
M.E. Villapol
P. Aziz Abdulla
P. Wolper
R. Lazic
R.S. Tomlinson
S. Budkowski
S. Christensen
S. Christensen
S. Gordon
S. Gordon
T. Bolognesi
W. Reisig
W. Stallings
W.R. Stevens
Y. Afek
Y. Afek
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2004
Field of study

Oxidative Modifications of Proteins and Lipids by Cigarette Smoke (CS). A Central Role for Unsaturated Aldehydes in CS-Mediated Airway Inflammation

Author: A. Furuhata
A. Maranzana
A. Pal
A. Spira
A.A. Floreani
A.G. Drannik
A.L. Levonen
A.Z. Reznick
B. Fadeel
B. Frei
B. Pignatelli
B.A. Mercer
B.M. Lee
B.S. Yoo
C. Haslett
C. Ji
C. Ji
C. Leuchtenberger
C.A. Martey
C.C. Conrad
C.M. Ensor
D.F. Church
D.J. Harrison
D.R. Petersen
E.I. Finkelstein
E.I. Finkelstein
F.D. Gilliland
F.M. Moodie
G. Leonarduzzi
G. Sanli
G. Valacchi
G.M. Green
G.W. Chalmers
H. Esterbauer
H. Kim
H. Nguyen
H. Niknahad
H. Wang
H. Witschi
H.S. Deshmukh
I. Hubatsch
I. Rahman
I. Rahman
J. Li
J. Lykkesfeldt
J. Renes
J. Savill
J. Schwartz
J.A. Keightley
J.A. Wickenden
J.B. Mannick
J.D. Morrow
J.P. Eiserich
J.P. Eiserich
J.P. Eiserich
J.P. Kehrer
J.Q. He
J.R. DiFranza
K. Berhane
K. Itoh
K. Lauber
K. Panda
K. Ramu
K. Takeuchi
K. Takeyama
K. Uchida
K. Uchida
K. Yoneda
L. Annovazzi
L. Li
L. Li
L. Li
L.Y. Zang
M. Corradi
M. Dietrich
M. Kabesch
M. Kondo
M. Nardini
M. Parola
M. Saetta
M. Wills-Karp
M.B. Hampton
M.D. Eisner
M.E. Poynter
M.K. Kwak
M.L. Huynh
M.T. Borchers
M.X. Shao
N. Wakabayashi
N.E. Sladek
N.G. He
N.L. Reynaert
N.R. Hackett
P. Maderna
P.A. Kirkham
R. Andreoli
R. Cueto
R. Tirumalai
R. Zhang
R. Zhang
R.A. Dick
R.A. Dick
R.J. Anto
R.L. Haynes
R.L. Levine
R.T. Sadikot
S. Carnevali
S. Gallucci
S. Gebel
S. Gebel
S. Petruzzelli
S. Reddy
S. Srivastava
S.I. Rennard
T. Ishii
T. Ishii
T. Mio
T. Muller
T. Rangasamy
T. Tsuji
V. Norman
V. Norman
V.A. Fadok
X. Yang
Y. Hoshino
Y. Shi
Y.S. Park
Z. Cao
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2006
Field of study

core

core