Howard Bowman
发表
Howard Bowman,
H. Bowman,
1998,
New Generation Computing.
Howard Bowman,
1991
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1999,
Sci. Comput. Program..
Howard Bowman,
Li Su,
H. Bowman,
2014,
HOWARD-60.
Simon Hanslmayr,
Howard Bowman,
George Parish,
2017,
The Journal of Neuroscience.
Howard Bowman,
Simon J. Thompson,
S. Thompson,
2003,
J. Log. Comput..
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1993
.
Howard Bowman,
Jane E. Raymond,
Kelly Garner,
2020,
bioRxiv.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1999,
Sci. Comput. Program..
Howard Bowman,
John Derrick,
1994
.
Simon Hanslmayr,
Howard Bowman,
Matthias S. Treder,
2017
.
Howard Bowman,
Brad Wyble,
Patrick Craston,
2006
.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
1998
.
Howard Bowman,
John Derrick,
1997
.
Howard Bowman,
Peter King,
Helen Cameron,
2000
.
Howard Bowman,
2001,
FORTE.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1999
.
Howard Bowman,
John Derrick,
2001
.
Howard Bowman,
Gordon S. Blair,
Lynne Blair,
1993
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
ZUM.
Howard Bowman,
John Derrick,
1994,
PODC '94.
Howard Bowman,
Axel Cleeremans,
Arnaud Destrebecqz,
2004
.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1997,
FME 1997.
Howard Bowman,
Alexia Zoumpoulaki,
Joseph L. Brooks,
2018
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Howard Bowman,
Philip J. Barnard,
P. Barnard,
2003
.
Howard Bowman,
Chloe Callahan-Flintoft,
Hui Chen,
2020,
Psychological review.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1996,
FME.
Howard Bowman,
H. Bowman,
1998
.
Howard Bowman,
Li Su,
Rodolfo Gómez,
2014,
Formal Aspects of Computing.
Howard Bowman,
John Derrick,
Maarten Steen,
1996,
ISAW '96.
Howard Bowman,
1999
.
Howard Bowman,
1999
.
Howard Bowman,
2001,
Electron. Notes Theor. Comput. Sci..
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
FME.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
2000,
Comput. Networks.
Li Su,
Howard Bowman,
Philip J. Barnard,
2008,
FMIS@BCS HCI.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1998,
Formal Aspects of Computing.
Simon Hanslmayr,
Howard Bowman,
Sebastian Michelmann,
2017,
bioRxiv.
Howard Bowman,
Bradley Paul Wyble,
B. Wyble,
2005
.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2003,
TOCL.
Howard Bowman,
Brad Wyble,
Patrick Craston,
2006
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1993,
FORTE.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
FORTE.
Howard Bowman,
Li Su,
Rodolfo Gómez,
2004
.
Howard Bowman,
Philip J. Barnard,
Li Su,
2010,
ICANN.
Howard Bowman,
Philip J. Barnard,
2003
.
Howard Bowman,
Li Su,
Rodolfo Gómez,
2004
.
Howard Bowman,
Brad Wyble,
B. Wyble,
2019,
2019 Conference on Cognitive Computational Neuroscience.
Howard Bowman,
John Derrick,
Richard Jones,
1994
.
Howard Bowman,
Bradley Paul Wyble,
Mark Nieuwenstein,
2008
.
Howard Bowman,
John Derrick,
Ed Brinksma,
2000
.
Howard Bowman,
Martin Eimer,
Friederike Schlaghecken,
2002
.
Howard Bowman,
John Derrick,
Peter F. Linington,
1995
.
Mieke Massink,
Howard Bowman,
Giorgio Faconti,
2001,
FM-Everywhere@FORTE/PSTV.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000
.
Howard Bowman,
John Derrick,
J. Derrick,
1999,
FMOODS.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2001,
Comput. J..
Howard Bowman,
John Derrick,
J. Derrick,
1997,
ARTS.
Howard Bowman,
Brad Wyble,
2005
.
Ling Li,
Howard Bowman,
Danilo P. Mandic,
2014,
2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
Howard Bowman,
Rodolfo Gómez,
2006,
Formal Aspects of Computing.
Howard Bowman,
Patrick Craston,
Srivas Chennu,
2009,
Journal of Cognitive Neuroscience.
Howard Bowman,
John C. Collins,
Brad Wyble,
2016,
bioRxiv.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1997
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1997
.
Howard Bowman,
John Derrick,
J. Derrick,
2001,
FME 2001.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1996
.
Li Su,
Howard Bowman,
Philip J. Barnard,
2006
.
Ling Li,
Karl J. Friston,
Howard Bowman,
2020,
bioRxiv.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000,
IFM.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1995
.
Howard Bowman,
Rodolfo Gómez,
2005
.
Howard Bowman,
Srivas Chennu,
Bradley P. Wyble,
2011,
CogSci.
Ian McLoughlin,
Howard Bowman,
Surej Mouli,
2020,
ArXiv.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1997
.
Howard Bowman,
Simon J. Thompson,
Nathan Charles,
1998,
Comput. Stand. Interfaces.
Joost-Pieter Katoen,
Howard Bowman,
H. Bowman,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
Howard Bowman,
John Derrick,
Maarten W. A. Steen,
1995,
PSTV.
Howard Bowman,
Brad Wyble,
Hui Chen,
2018,
bioRxiv.
Howard Bowman,
2001
.
Howard Bowman,
Simon J. Thompson,
S. Thompson,
1998,
TABLEAUX.
Howard Bowman,
Rodolfo Gómez,
2004,
J. Appl. Non Class. Logics.
Kai-Uwe Kühnberger,
Pascal Hitzler,
Artur S. d'Avila Garcez,
2017,
Neuro-Symbolic Artificial Intelligence.
Peter F. Linington,
Howard Bowman,
John Derrick,
1996
.
Howard Bowman,
John Derrick,
Maarten Steen,
1995
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1995
.
Howard Bowman,
John Derrick,
1995,
SAC '95.
Howard Bowman,
Brad Wyble,
Kimron L. Shapiro,
2016
.
Howard Bowman,
Li Su,
Rodolfo Gómez,
2005,
Electron. Notes Theor. Comput. Sci..
Howard Bowman,
John Derrick,
Ed Brinksma,
2000
.
Howard Bowman,
John Derrick,
Maarten Steen,
1995
.
Howard Bowman,
John Derrick,
1997,
IFIP Advances in Information and Communication Technology.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
1998,
Formal Aspects of Computing.
Ling Li,
Karl J. Friston,
Howard Bowman,
2020,
Cerebral cortex.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Howard Bowman,
Rodolfo Gómez,
H. Bowman,
2007,
FORMATS.
Mieke Massink,
Howard Bowman,
Giorgio P. Faconti,
1998
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1996,
FORTE.
Howard Bowman,
Rodolfo Gómez,
2003
.
Simon Hanslmayr,
Howard Bowman,
Sebastian Michelmann,
2020,
bioRxiv.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1999
.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1995
.
Howard Bowman,
Simon J. Thompson,
Peter R. King,
2003,
Formal Methods Syst. Des..
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream
Howard Bowman,
Rodolfo Gómez,
2003,
FORTE.
Howard Bowman,
Lynne Blair,
Gordon S Blair,
1995,
Comput. Commun..
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000,
ArXiv.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1995
.
Howard Bowman,
John Derrick,
Maarten W. A. Steen,
1996,
Softw. Eng. J..
Mieke Massink,
Howard Bowman,
Giorgio P. Faconti,
1998,
DSV-IS.
Howard Bowman,
Alexia Zoumpoulaki,
Vladimir Litvak,
2020,
PLoS Comput. Biol..
Howard Bowman,
John Derrick,
Richard E. Jones,
1994,
PODC '94.
Howard Bowman,
Bradley P. Wyble,
B. Wyble,
2004,
ICCM.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
2002,
Formal Methods Syst. Des..
Howard Bowman,
Li Su,
Brad Wyble,
2005
.
Howard Bowman,
John Derrick,
Ed Brinksma,
2000,
IEEE Trans. Software Eng..
Howard Bowman,
Philip J. Barnard,
Li Su,
2009,
Formal Aspects of Computing.
Howard Bowman,
Brad Wyble,
2010
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1995
.
Howard Bowman,
John Derrick,
1995,
MMNET.
Simon Hanslmayr,
Howard Bowman,
Sebastian Michelmann,
2018,
bioRxiv.
Howard Bowman,
John E. Wilson,
Clinton H. Cragg,
2011
.
Howard Bowman,
John Derrick,
1997
.
Howard Bowman,
John Derrick,
2011
.
Howard Bowman,
Rodolfo Gómez,
H. Bowman,
2005
.
Howard Bowman,
John Derrick,
David H. Akehurst,
2000
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Howard Bowman,
Giorgio P. Faconti,
H. Bowman,
1999,
Formal Aspects of Computing.
Howard Bowman,
Brad Wyble,
Patrick Craston,
2006
.
Howard Bowman,
Patrick Craston,
Srivas Chennu,
2009,
PLoS Comput. Biol..
Howard Bowman,
John Derrick,
1994,
Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94).
Howard Bowman,
John Derrick,
C. Briscoe-Smith,
1997
.
Howard Bowman,
Philip J. Barnard,
2001
.
Howard Bowman,
Simon J. Thompson,
Peter R. King,
1998,
EP.
Howard Bowman,
John Derrick,
J. Derrick,
2001,
FME 2001.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1997
.
Howard Bowman,
John Derrick,
Peter F. Linington,
1996
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1999,
AMAST.
Randolph W. Hall,
Howard Bowman,
Michael Orosz,
2010
.
Howard Bowman,
John Derrick,
2000
.
Howard Bowman,
1999,
ARTS.
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994,
COST 237 Workshop.
Howard Bowman,
Kiran Kalidindi,
H. Bowman,
2007,
Neural Networks.
Simon Hanslmayr,
Howard Bowman,
Sebastian Michelmann,
2018,
Journal of Cognitive Neuroscience.
Howard Bowman,
Joseph L. Brooks,
2020
.
Howard Bowman,
John Derrick,
Maarten W. A. Steen,
1995,
ZUM.
Howard Bowman,
Peter King,
Helen Cameron,
1997
.
Howard Bowman,
Eerke Boiten,
1997
.
Howard Bowman,
Simon Thompson,
2000
.
Howard Bowman,
H. Bowman,
M. Steen,
1995
.
Howard Bowman,
Simon Thompson,
1997
.