default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Howard Bowman
@article{DBLP:journals/corr/abs-2402-14460,
author = {Th{\'{e}}ophile Champion and
Howard Bowman and
Dimitrije Markovic and
Marek Grzes},
title = {Reframing the Expected Free Energy: Four Formulations and a Unification},
journal = {CoRR},
volume = {abs/2402.14460},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.14460},
doi = {10.48550/ARXIV.2402.14460},
eprinttype = {arXiv},
eprint = {2402.14460},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-14460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01618,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Lisa Bonheme and
Howard Bowman},
title = {Deconstructing deep active inference},
journal = {CoRR},
volume = {abs/2303.01618},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01618},
doi = {10.48550/ARXIV.2303.01618},
eprinttype = {arXiv},
eprint = {2303.01618},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19174,
author = {Adam White and
Margarita Saranti and
Artur S. d'Avila Garcez and
Thomas M. H. Hope and
Cathy J. Price and
Howard Bowman},
title = {Predicting recovery following stroke: deep learning, multimodal data
and feature selection using explainable {AI}},
journal = {CoRR},
volume = {abs/2310.19174},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19174},
doi = {10.48550/ARXIV.2310.19174},
eprinttype = {arXiv},
eprint = {2310.19174},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/ChampionGB22,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Howard Bowman},
title = {Branching Time Active Inference with Bayesian Filtering},
journal = {Neural Comput.},
volume = {34},
number = {10},
pages = {2132--2144},
year = {2022},
url = {https://doi.org/10.1162/neco\_a\_01529},
doi = {10.1162/NECO\_A\_01529},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/ChampionGB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/ChampionCBG22,
author = {Th{\'{e}}ophile Champion and
Lancelot Da Costa and
Howard Bowman and
Marek Grzes},
title = {Branching Time Active Inference: The theory and its generality},
journal = {Neural Networks},
volume = {151},
pages = {295--316},
year = {2022},
url = {https://doi.org/10.1016/j.neunet.2022.03.036},
doi = {10.1016/J.NEUNET.2022.03.036},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/ChampionCBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/ChampionBG22,
author = {Th{\'{e}}ophile Champion and
Howard Bowman and
Marek Grzes},
title = {Branching time active inference: Empirical study and complexity class
analysis},
journal = {Neural Networks},
volume = {152},
pages = {450--466},
year = {2022},
url = {https://doi.org/10.1016/j.neunet.2022.05.010},
doi = {10.1016/J.NEUNET.2022.05.010},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/ChampionBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/PalaniappanMBM22,
author = {Ramaswamy Palaniappan and
Surej Mouli and
Howard Bowman and
Ian McLoughlin},
title = {Investigating the Cognitive Response of Brake Lights in Initiating
Braking Action Using {EEG}},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {8},
pages = {13878--13883},
year = {2022},
url = {https://doi.org/10.1109/TITS.2021.3091291},
doi = {10.1109/TITS.2021.3091291},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/PalaniappanMBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12503,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Howard Bowman},
title = {Multi-Modal and Multi-Factor Branching Time Active Inference},
journal = {CoRR},
volume = {abs/2206.12503},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12503},
doi = {10.48550/ARXIV.2206.12503},
eprinttype = {arXiv},
eprint = {2206.12503},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PalaniappanMFBM21,
author = {Ramaswamy Palaniappan and
Surej Mouli and
Evangelia Fringi and
Howard Bowman and
Ian McLoughlin},
title = {Incandescent Bulb and {LED} Brake Lights: Novel Analysis of Reaction
Times},
journal = {{IEEE} Access},
volume = {9},
pages = {29143--29152},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3058579},
doi = {10.1109/ACCESS.2021.3058579},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/PalaniappanMFBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/ChampionGB21,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Howard Bowman},
title = {Realizing Active Inference in Variational Message Passing: The Outcome-Blind
Certainty Seeker},
journal = {Neural Comput.},
volume = {33},
number = {10},
pages = {2762--2826},
year = {2021},
url = {https://doi.org/10.1162/neco\_a\_01422},
doi = {10.1162/NECO\_A\_01422},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/ChampionGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/IhalainenGSRPBM21,
author = {Riku Ihalainen and
Olivia Gosseries and
Frederik Van de Steen and
Federico Raimondo and
Rajanikant Panda and
Vincent Bonhomme and
Daniele Marinazzo and
Howard Bowman and
Steven Laureys and
Srivas Chennu},
title = {How hot is the hot zone? Computational modelling clarifies the role
of parietal and frontoparietal connectivity during anaesthetic-induced
loss of consciousness},
journal = {NeuroImage},
volume = {231},
pages = {117841},
year = {2021},
url = {https://doi.org/10.1016/j.neuroimage.2021.117841},
doi = {10.1016/J.NEUROIMAGE.2021.117841},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/IhalainenGSRPBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BesoldGBBDHKLLPPPZ21,
author = {Tarek R. Besold and
Artur S. d'Avila Garcez and
Sebastian Bader and
Howard Bowman and
Pedro M. Domingos and
Pascal Hitzler and
Kai{-}Uwe K{\"{u}}hnberger and
Lu{\'{\i}}s C. Lamb and
Priscila Machado Vieira Lima and
Leo de Penning and
Gadi Pinkas and
Hoifung Poon and
Gerson Zaverucha},
editor = {Pascal Hitzler and
Md. Kamruzzaman Sarker},
title = {Neural-Symbolic Learning and Reasoning: {A} Survey and Interpretation},
booktitle = {Neuro-Symbolic Artificial Intelligence: The State of the Art},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {342},
pages = {1--51},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA210348},
doi = {10.3233/FAIA210348},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BesoldGBBDHKLLPPPZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11798,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Howard Bowman},
title = {Realising Active Inference in Variational Message Passing: the Outcome-blind
Certainty Seeker},
journal = {CoRR},
volume = {abs/2104.11798},
year = {2021},
url = {https://arxiv.org/abs/2104.11798},
eprinttype = {arXiv},
eprint = {2104.11798},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11107,
author = {Th{\'{e}}ophile Champion and
Lancelot Da Costa and
Howard Bowman and
Marek Grzes},
title = {Branching Time Active Inference: the theory and its generality},
journal = {CoRR},
volume = {abs/2111.11107},
year = {2021},
url = {https://arxiv.org/abs/2111.11107},
eprinttype = {arXiv},
eprint = {2111.11107},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11276,
author = {Th{\'{e}}ophile Champion and
Howard Bowman and
Marek Grzes},
title = {Branching Time Active Inference: empirical study and complexity class
analysis},
journal = {CoRR},
volume = {abs/2111.11276},
year = {2021},
url = {https://arxiv.org/abs/2111.11276},
eprinttype = {arXiv},
eprint = {2111.11276},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07406,
author = {Th{\'{e}}ophile Champion and
Marek Grzes and
Howard Bowman},
title = {Branching Time Active Inference with Bayesian Filtering},
journal = {CoRR},
volume = {abs/2112.07406},
year = {2021},
url = {https://arxiv.org/abs/2112.07406},
eprinttype = {arXiv},
eprint = {2112.07406},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BowmanBHZL20,
author = {Howard Bowman and
Joseph L. Brooks and
Omid Hajilou and
Alexia Zoumpoulaki and
Vladimir Litvak},
title = {Breaking the circularity in circular analyses: Simulations and formal
treatment of the flattened average approach},
journal = {PLoS Comput. Biol.},
volume = {16},
number = {11},
year = {2020},
url = {https://doi.org/10.1371/journal.pcbi.1008286},
doi = {10.1371/JOURNAL.PCBI.1008286},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/BowmanBHZL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10584,
author = {Ramaswamy Palaniappan and
Surej Mouli and
Evangelia Fringi and
Howard Bowman and
Ian McLoughlin},
title = {Incandescent Bulb and {LED} Brake Lights: Novel Analysis of Reaction
Times},
journal = {CoRR},
volume = {abs/2010.10584},
year = {2020},
url = {https://arxiv.org/abs/2010.10584},
eprinttype = {arXiv},
eprint = {2010.10584},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/MichelmannBH18,
author = {Sebastian Michelmann and
Howard Bowman and
Simon Hanslmayr},
title = {Replay of Stimulus-specific Temporal Patterns during Associative Memory
Formation},
journal = {J. Cogn. Neurosci.},
volume = {30},
number = {11},
year = {2018},
url = {https://doi.org/10.1162/jocn\_a\_01304},
doi = {10.1162/JOCN\_A\_01304},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/MichelmannBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03902,
author = {Tarek R. Besold and
Artur S. d'Avila Garcez and
Sebastian Bader and
Howard Bowman and
Pedro M. Domingos and
Pascal Hitzler and
Kai{-}Uwe K{\"{u}}hnberger and
Lu{\'{\i}}s C. Lamb and
Daniel Lowd and
Priscila Machado Vieira Lima and
Leo de Penning and
Gadi Pinkas and
Hoifung Poon and
Gerson Zaverucha},
title = {Neural-Symbolic Learning and Reasoning: {A} Survey and Interpretation},
journal = {CoRR},
volume = {abs/1711.03902},
year = {2017},
url = {http://arxiv.org/abs/1711.03902},
eprinttype = {arXiv},
eprint = {1711.03902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SuGB14,
author = {Li Su and
Rodolfo G{\'{o}}mez and
Howard Bowman},
title = {Analysing neurobiological models using communicating automata},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1169--1204},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0294-y},
doi = {10.1007/S00165-014-0294-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SuGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/LiWMBM14,
author = {Ling Li and
Adrien Witon and
Samuele Marcora and
Howard Bowman and
Danilo P. Mandic},
title = {EEG-based brain connectivity analysis of states of unawareness},
booktitle = {36th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2014, Chicago, IL, USA, August
26-30, 2014},
pages = {1002--1005},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/EMBC.2014.6943762},
doi = {10.1109/EMBC.2014.6943762},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/LiWMBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/BowmanS14,
author = {Howard Bowman and
Li Su},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {Cognition, Concurrency Theory and Reverberations in the Brain: in
Search of a Calculus of Communicating (Recurrent) Neural Systems},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {66--84},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/94w5},
doi = {10.29007/94W5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BowmanS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/ChennuBW11,
author = {Srivas Chennu and
Howard Bowman and
Brad Wyble},
editor = {Laura A. Carlson and
Christoph H{\"{o}}lscher and
Thomas F. Shipley},
title = {Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model},
booktitle = {Proceedings of the 33th Annual Meeting of the Cognitive Science Society,
CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011},
publisher = {cognitivesciencesociety.org},
year = {2011},
url = {https://mindmodeling.org/cogsci2011/papers/0606/index.html},
timestamp = {Wed, 17 Apr 2024 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/ChennuBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/SuBB10,
author = {Li Su and
Philip J. Barnard and
Howard Bowman},
editor = {Konstantinos I. Diamantaras and
Wlodek Duch and
Lazaros S. Iliadis},
title = {On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion
Interactions},
booktitle = {Artificial Neural Networks - {ICANN} 2010 - 20th International Conference,
Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {6354},
pages = {504--509},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15825-4\_69},
doi = {10.1007/978-3-642-15825-4\_69},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/SuBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SuBBW09,
author = {Li Su and
Howard Bowman and
Philip J. Barnard and
Bradley P. Wyble},
title = {Process algebraic modelling of attentional capture and human electrophysiology
in interactive systems},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {513--539},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0094-3},
doi = {10.1007/S00165-008-0094-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SuBBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/CrastonWCB09,
author = {Patrick Craston and
Bradley P. Wyble and
Srivas Chennu and
Howard Bowman},
title = {The Attentional Blink Reveals Serial Working Memory Encoding: Evidence
from Virtual and Human Event-related Potentials},
journal = {J. Cogn. Neurosci.},
volume = {21},
number = {3},
pages = {550--566},
year = {2009},
url = {https://doi.org/10.1162/jocn.2009.21036},
doi = {10.1162/JOCN.2009.21036},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/CrastonWCB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/ChennuCWB09,
author = {Srivas Chennu and
Patrick Craston and
Bradley P. Wyble and
Howard Bowman},
title = {Attention Increases the Temporal Precision of Conscious Perception:
Verifying the Neural-ST\({}^{\mbox{2}}\) Model},
journal = {PLoS Comput. Biol.},
volume = {5},
number = {11},
year = {2009},
url = {https://doi.org/10.1371/journal.pcbi.1000576},
doi = {10.1371/JOURNAL.PCBI.1000576},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/ChennuCWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/KalidindiB07,
author = {Kiran Kalidindi and
Howard Bowman},
title = {Using epsiloon-greedy reinforcement learning methods to further understand
ventromedial prefrontal patients' deficits on the Iowa Gambling Task},
journal = {Neural Networks},
volume = {20},
number = {6},
pages = {676--689},
year = {2007},
url = {https://doi.org/10.1016/j.neunet.2007.04.026},
doi = {10.1016/J.NEUNET.2007.04.026},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nn/KalidindiB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GomezB07,
author = {Rodolfo G{\'{o}}mez and
Howard Bowman},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Efficient Detection of Zeno Runs in Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {195--210},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_15},
doi = {10.1007/978-3-540-75454-1\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/GomezB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuBB08,
author = {Li Su and
Howard Bowman and
Philip J. Barnard},
editor = {Antonio Cerone and
Paul Curzon},
title = {Performance of Reactive Interfaces in Stimulus Rich Environments,
Applying Formal Methods and Cognitive Frameworks},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {95--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.109},
doi = {10.1016/J.ENTCS.2008.03.109},
timestamp = {Mon, 13 Feb 2023 14:12:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SuBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015140,
author = {Howard Bowman and
Rodolfo G{\'{o}}mez},
title = {Concurrency theory - calculi and automata for modelling untimed and
timed concurrent systems},
publisher = {Springer},
year = {2006},
isbn = {978-1-85233-895-4},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0015140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowmanG06,
author = {Howard Bowman and
Rodolfo G{\'{o}}mez},
title = {How to stop time stopping},
journal = {Formal Aspects Comput.},
volume = {18},
number = {4},
pages = {459--493},
year = {2006},
url = {https://doi.org/10.1007/s00165-006-0010-7},
doi = {10.1007/S00165-006-0010-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowmanG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GomezB04,
author = {Rodolfo G{\'{o}}mez and
Howard Bowman},
title = {{PITL2MONA:} Implementing a Decision Procedure for Propositional Interval
Temporal Logic},
journal = {J. Appl. Non Class. Logics},
volume = {14},
number = {1-2},
pages = {105--148},
year = {2004},
url = {https://doi.org/10.3166/jancl.14.105-148},
doi = {10.3166/JANCL.14.105-148},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GomezB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccm/WybleB04,
author = {Bradley P. Wyble and
Howard Bowman},
title = {The Attentional Blink at 20 items/sec, Model Prediction and Empirical
Validation of Lag-2 Sparing},
booktitle = {Proceedings of the International Conference on Cognitive Modelling,
{ICCM} 2004, Pittsburgh, Pennsylvania, USA, July 30 - August 1, 2004},
pages = {400--401},
year = {2004},
url = {http://www.lrdc.pitt.edu/schunn/ICCM2004/proceedings/abstracts/wyble.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccm/WybleB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowmanGS05,
author = {Howard Bowman and
Rodolfo G{\'{o}}mez and
Li Su},
editor = {Irek Ulidowski},
title = {A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {25--47},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.006},
doi = {10.1016/J.ENTCS.2005.09.006},
timestamp = {Tue, 13 Dec 2022 08:56:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowmanGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BowmanCKT03,
author = {Howard Bowman and
Helen Cameron and
Peter R. King and
Simon J. Thompson},
title = {Mexitl: Multimedia in Executable Interval Temporal Logic},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {1},
pages = {5--38},
year = {2003},
url = {https://doi.org/10.1023/A:1021736013555},
doi = {10.1023/A:1021736013555},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BowmanCKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BowmanT03,
author = {Howard Bowman and
Simon J. Thompson},
title = {A Decision Procedure and Complete Axiomatization of Finite Interval
Temporal Logic with Projection},
journal = {J. Log. Comput.},
volume = {13},
number = {2},
pages = {195--239},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.2.195},
doi = {10.1093/LOGCOM/13.2.195},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BowmanT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BryansBD03,
author = {Jeremy W. Bryans and
Howard Bowman and
John Derrick},
title = {Model checking stochastic automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {4},
pages = {452--492},
year = {2003},
url = {https://doi.org/10.1145/937555.937558},
doi = {10.1145/937555.937558},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BryansBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GomezB03,
author = {Rodolfo G{\'{o}}mez and
Howard Bowman},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Discrete Timed Automata and {MONA:} Description, Specification and
Verification of a Multimedia Stream},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {177--192},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_12},
doi = {10.1007/978-3-540-39979-7\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/GomezB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BowmanSBD02,
author = {Howard Bowman and
Maarten Steen and
Eerke A. Boiten and
John Derrick},
title = {A Formal Framework for Viewpoint Consistency},
journal = {Formal Methods Syst. Des.},
volume = {21},
number = {2},
pages = {111--166},
year = {2002},
url = {https://doi.org/10.1023/A:1016000201864},
doi = {10.1023/A:1016000201864},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BowmanSBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BowmanBD01,
author = {Howard Bowman and
Jeremy W. Bryans and
John Derrick},
title = {Analysis of a Multimedia Stream using Stochastic Process Algebra},
journal = {Comput. J.},
volume = {44},
number = {4},
pages = {230--245},
year = {2001},
url = {https://doi.org/10.1093/comjnl/44.4.230},
doi = {10.1093/COMJNL/44.4.230},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BowmanBD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bowman01,
author = {Howard Bowman},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Time and Action Lock Freedom Properties for Timed Automata},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {119--134},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bowman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2000fme,
editor = {Howard Bowman},
title = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
devoted to applications of formal methods to areas other than communication
protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
October 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {43},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/43/suppl/C},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/2000fme.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BoitenBDLS00,
author = {Eerke A. Boiten and
Howard Bowman and
John Derrick and
Peter F. Linington and
Maarten Steen},
title = {Viewpoint consistency in {ODP}},
journal = {Comput. Networks},
volume = {34},
number = {3},
pages = {503--537},
year = {2000},
url = {https://doi.org/10.1016/S1389-1286(00)00114-6},
doi = {10.1016/S1389-1286(00)00114-6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BoitenBDLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BowmanDB00,
author = {Howard Bowman and
John Derrick and
Ed Brinksma},
title = {Guest Editors' Introduction: Formal Methods for Object Oriented Distributed
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {577--578},
year = {2000},
url = {https://doi.org/10.1109/TSE.2000.859528},
doi = {10.1109/TSE.2000.859528},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BowmanDB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BryansBBD00,
author = {Jeremy W. Bryans and
Lynne Blair and
Howard Bowman and
John Derrick},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Specification and Analysis of Automata-Based Designs},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {176--193},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_11},
doi = {10.1007/3-540-40911-4\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BryansBBD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowmanFM01,
author = {Howard Bowman and
Giorgio P. Faconti and
Mieke Massink},
editor = {Howard Bowman},
title = {Towards Integrated Cognitive and Interface Analysis},
booktitle = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
devoted to applications of formal methods to areas other than communication
protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
October 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {43},
pages = {97--112},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80896-X},
doi = {10.1016/S1571-0661(04)80896-X},
timestamp = {Wed, 30 Nov 2022 11:20:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowmanFM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bowman01,
author = {Howard Bowman},
editor = {Howard Bowman},
title = {Formal Methods Elsewhere - {A} Satellite Workshop of {FORTE-PSTV-2000}
devoted to applications of formal methods to areas other than communication
protocols and software engineering},
booktitle = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
devoted to applications of formal methods to areas other than communication
protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
October 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {43},
pages = {162--163},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)81053-9},
doi = {10.1016/S1571-0661(05)81053-9},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bowman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-MM-0002004,
author = {Jeremy W. Bryans and
Howard Bowman and
John Derrick},
title = {Stochastic Model Checking for Multimedia},
journal = {CoRR},
volume = {cs.MM/0002004},
year = {2000},
url = {https://arxiv.org/abs/cs/0002004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-MM-0002004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowmanF99,
author = {Howard Bowman and
Giorgio P. Faconti},
title = {Analysing Cognitive Behaviour using {LOTOS} and Mexitl},
journal = {Formal Aspects Comput.},
volume = {11},
number = {2},
pages = {132--159},
year = {1999},
url = {https://doi.org/10.1007/s001650050045},
doi = {10.1007/S001650050045},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowmanF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BowmanBDS99,
author = {Howard Bowman and
Eerke A. Boiten and
John Derrick and
Maarten Steen},
title = {Strategies for Consistency Checking Based on Unification},
journal = {Sci. Comput. Program.},
volume = {33},
number = {3},
pages = {261--298},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(98)00017-3},
doi = {10.1016/S0167-6423(98)00017-3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BowmanBDS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoitenDBS99,
author = {Eerke A. Boiten and
John Derrick and
Howard Bowman and
Maarten Steen},
title = {Constructive Consistency Checking for Partial Specification in {Z}},
journal = {Sci. Comput. Program.},
volume = {35},
number = {1},
pages = {29--75},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00006-4},
doi = {10.1016/S0167-6423(99)00006-4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoitenDBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Bowman99,
author = {Howard Bowman},
editor = {Joost{-}Pieter Katoen},
title = {Modelling Timeouts without Timelocks},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {334--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_20},
doi = {10.1007/3-540-48778-6\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/Bowman99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BowmanD99,
author = {Howard Bowman and
John Derrick},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {A Junction between State Based and Behavioural Specification (Invited
Talk)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
pages = {213--239},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BowmanD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CharlesBT98,
author = {Nathan Charles and
Howard Bowman and
Simon J. Thompson},
title = {From {ACT-ONE} to Miranda, a translation experiment},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {1},
pages = {31--49},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(97)00005-6},
doi = {10.1016/S0920-5489(97)00005-6},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/CharlesBT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickBBS98,
author = {John Derrick and
Eerke A. Boiten and
Howard Bowman and
Maarten Steen},
title = {Specifying and Refining Internal Operations in {Z}},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {125--159},
year = {1998},
url = {https://doi.org/10.1007/s001650050007},
doi = {10.1007/S001650050007},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickBBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowmanFKLM98,
author = {Howard Bowman and
Giorgio P. Faconti and
Joost{-}Pieter Katoen and
Diego Latella and
Mieke Massink},
title = {Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {550--575},
year = {1998},
url = {https://doi.org/10.1007/s001650050032},
doi = {10.1007/S001650050032},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowmanFKLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Bowman98,
author = {Howard Bowman},
title = {A {LOTOS} Based Tutorial on Formal Methods for Object-Oriented Distributed
Systems},
journal = {New Gener. Comput.},
volume = {16},
number = {4},
pages = {343--372},
year = {1998},
url = {https://doi.org/10.1007/BF03037429},
doi = {10.1007/BF03037429},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Bowman98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BowmanK98,
author = {Howard Bowman and
Joost{-}Pieter Katoen},
title = {A True Concurrency Semantics for {ET-LOTOS}},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {228--238},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657554},
doi = {10.1109/CSD.1998.657554},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BowmanK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SteenDBB98,
author = {Maarten Steen and
John Derrick and
Eerke A. Boiten and
Howard Bowman},
editor = {Armando Martin Haeberer},
title = {Consistency of Partial Process Specifications},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {248--262},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_19},
doi = {10.1007/3-540-49253-4\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/SteenDBB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BowmanFM98,
author = {Howard Bowman and
Giorgio P. Faconti and
Mieke Massink},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Specification and Verification of Media Constraints using {UPAAL}},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {261--277},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_17},
doi = {10.1007/978-3-7091-3693-5\_17},
timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BowmanFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ep/KingCBT98,
author = {Peter R. King and
Helen Cameron and
Howard Bowman and
Simon J. Thompson},
editor = {Roger D. Hersch and
Jacques Andr{\'{e}} and
Heather Brown},
title = {Synchronization in Multimedia Documents},
booktitle = {Electronic Publishing, Artistic Imaging, and Digital Typography, 7th
International Conference on Electronic Publishing, {EP} '98, Held
Jointly with the 4th International Conference on Raster Imaging and
Digital Typography, {RIDT} '98, St. Malo, France, March 30 - April
3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1375},
pages = {355--369},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053283},
doi = {10.1007/BFB0053283},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ep/KingCBT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BowmanT98,
author = {Howard Bowman and
Simon J. Thompson},
editor = {Harrie C. M. de Swart},
title = {A Tableau Method for Interval Temporal Logic with Projection},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {108--123},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_17},
doi = {10.1007/3-540-69778-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BowmanT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BowmanD97,
author = {Howard Bowman and
John Derrick},
editor = {Miquel Bertran and
Teodor Rus},
title = {Extending {LOTOS} with Time: {A} True Concurrency Perspective},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {383--399},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_26},
doi = {10.1007/3-540-63010-4\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BowmanD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoitenBDS97,
author = {Eerke A. Boiten and
Howard Bowman and
John Derrick and
Maarten Steen},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Viewpoint Consistency in {Z} and {LOTOS:} {A} Case Study},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {644--664},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_34},
doi = {10.1007/3-540-63533-5\_34},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BoitenBDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SteenBDB97,
author = {Maarten Steen and
Howard Bowman and
John Derrick and
Eerke A. Boiten},
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
title = {Disjunction of {LOTOS} Specifications},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {X)} and
Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
November, 1997, Osaka, Japan},
series = {{IFIP} Conference Proceedings},
volume = {107},
pages = {177--192},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
biburl = {https://dblp.org/rec/conf/forte/SteenBDB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DerrickBBS97,
author = {John Derrick and
Eerke A. Boiten and
Howard Bowman and
Maarten Steen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Weak Refinement in {Z}},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {369--388},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027298},
doi = {10.1007/BFB0027298},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/DerrickBBS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BowmanDLS96,
author = {Howard Bowman and
John Derrick and
Peter W. A. Linington and
Maarten W. A. Steen},
title = {Cross-viewpoint consistency in open distributed processing},
journal = {Softw. Eng. J.},
volume = {11},
number = {1},
pages = {44--57},
year = {1996},
url = {https://doi.org/10.1049/sej.1996.0005},
doi = {10.1049/SEJ.1996.0005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BowmanDLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoitenDBS96,
author = {Eerke A. Boiten and
John Derrick and
Howard Bowman and
Maarten Steen},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Consistency and Refinement for Partial Specification in {Z}},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {287--306},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_93},
doi = {10.1007/3-540-60973-3\_93},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BoitenDBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DerrickBBS96,
author = {John Derrick and
Howard Bowman and
Eerke A. Boiten and
Maarten Steen},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Comparing {LOTOS} and {Z} Refinement Relations},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {501--516},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/DerrickBBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BoitenBDS96,
author = {Eerke A. Boiten and
Howard Bowman and
John Derrick and
Maarten Steen},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Issues in multiparadigm viewpoint specification},
booktitle = {Joint Proceedings of the Second International Software Architecture
Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
{ISAW} '96, San Francisco, California, {USA}},
pages = {162--166},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243639},
doi = {10.1145/243327.243639},
timestamp = {Fri, 11 Feb 2022 12:39:52 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BoitenBDS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/BowmanBBC95,
author = {Howard Bowman and
Gordon S. Blair and
Lynne Blair and
Amanda G. Chetwynd},
title = {Formal description of distributed multimedia systems: an assessment
of potential techniques},
journal = {Comput. Commun.},
volume = {18},
number = {12},
pages = {964--977},
year = {1995},
url = {https://doi.org/10.1016/0140-3664(96)81596-9},
doi = {10.1016/0140-3664(96)81596-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/BowmanBBC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmnet/BowmanD95,
author = {Howard Bowman and
John Derrick},
title = {A True Concurrency Semantics for Quality of Service Specification
and Validation},
booktitle = {Proceedings of the International Conference on Multimedia Networking,
MmNet 1995, Aizu, Japan, September 26-29, 1995},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {1995},
timestamp = {Mon, 20 Mar 2017 14:07:43 +0100},
biburl = {https://dblp.org/rec/conf/mmnet/BowmanD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SteenBD95,
author = {Maarten Steen and
Howard Bowman and
John Derrick},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Composition of {LOTOS} specifications},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {87--102},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SteenBD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BowmanD95,
author = {Howard Bowman and
John Derrick},
editor = {Jim Hightower and
Ed Deaton and
K. M. George and
Janice H. Carroll and
Dave Oppenheim},
title = {Modelling distributed systems using {Z}},
booktitle = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
Nashville, TN, USA, February 26-28, 1995},
pages = {147--151},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/315891.315941},
doi = {10.1145/315891.315941},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BowmanD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BowmanDS95,
author = {Howard Bowman and
John Derrick and
Maarten Steen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Viewpoints and Objects},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {449--468},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_136},
doi = {10.1007/3-540-60271-2\_136},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/BowmanDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/BowmanBBC94,
author = {Howard Bowman and
Lynne Blair and
Gordon S. Blair and
Amanda G. Chetwynd},
editor = {David Hutchison and
Andr{\'{e}} A. S. Danthine and
Helmut Leopold and
Geoff Coulson},
title = {A Formal Description Technique Supporting Expression of Quality of
Service and Media Synchronisation},
booktitle = {Multimedia Transport and Teleservices, International {COST} 237 Workshop,
Vienna, Austria, November 13-15, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {882},
pages = {145--167},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58759-4\_33},
doi = {10.1007/3-540-58759-4\_33},
timestamp = {Mon, 26 Sep 2022 16:14:00 +0200},
biburl = {https://dblp.org/rec/conf/cost/BowmanBBC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BowmanD94,
author = {Howard Bowman and
John Derrick},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Consistency and Conformance in {ODP} (Abstract)},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {388},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198165},
doi = {10.1145/197917.198165},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BowmanD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BowmanDJ94,
author = {Howard Bowman and
John Derrick and
Richard E. Jones},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Modelling Garbage Collection Algorithms Using {CCS} and Temporal Logic
(Abstract)},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {394},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198173},
doi = {10.1145/197917.198173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BowmanDJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BowmanBBC93,
author = {Howard Bowman and
Gordon S. Blair and
Lynne Blair and
Amanda G. Chetwynd},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {Time Versus Abstraction in Formal Description},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {467--482},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BowmanBBC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Bowman91,
author = {Howard Bowman},
title = {A unifying language study of automatic parallelization},
school = {Lancaster University, {UK}},
year = {1991},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317407},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Bowman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
