Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mark Reynolds

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/EhrlichPMRRBCDG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/EhrlichPMRRBCDG20
Katjana Ehrlich, Helen E. Parker, Duncan K. McNicholl, Peter Reid, Mark Reynolds, Vincent Bussiere, Graham Crawford, Angela Deighan, Alice Garrett, András Kufcsák, Dominic R. Norberg, Giulia Spennati, Gregor Steele, Helen Szoor-McElhinney, Melanie Jimenez:
Demonstrating the Use of Optical Fibres in Biomedical Sensing: A Collaborative Approach for Engagement and Education. Sensors 20(2): 402 (2020)
[c6]
- view
  - electronic edition @ amia.org
  - no references & citations available
- export record
  dblp key:
  - conf/amia/ManessRCHLRHNP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amia/ManessRCHLRHNP20
Arthur T. Maness, Erik Rasmussen, Aika Cho, John Hofer, Jared Luther, Mark Reynolds, Shirleen Hewitt, David Nix, Andrew Post:
Genomic Sequencing : Tracking, Ordering and Collaboration with GNomEx. AMIA 2020

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/2019
Artur Lugmayr, Martin Masek, Mark Reynolds, Margot Brereton:
OZCHI'19: 31st Australian Conference on Human-Computer-Interaction, Fremantle, WA, Australia, December, 2-5, 2019. ACM 2019, ISBN 978-1-4503-7696-9 [contents]
2017
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rfc/rfc8209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rfc/rfc8209
Mark Reynolds, Sean Turner, Stephen T. Kent:
A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests. RFC 8209: 1-15 (2017)
2012
[e2]
- view
- export record
  dblp key:
  - conf/time/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/2012
Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani:
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2659-9 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/europki/MontanaR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europki/MontanaR08
David J. Montana, Mark Reynolds:
Validation Algorithms for a Secure Internet Routing PKI. EuroPKI 2008: 17-30
2007
[c4]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/SuSLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SuSLR07
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
2006
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/LuoSSR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/LuoSSR06
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
2005
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/HodkinsonR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HodkinsonR05
Ian M. Hodkinson, Mark Reynolds:
Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/2004
Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004. King's College Publications 2005, ISBN 1-904987-22-2 [contents]
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/siguccs/KrukowskiR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/siguccs/KrukowskiR04
April Krukowski, Mark Reynolds:
Students as service champions: a success story. SIGUCCS 2004: 284-288

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/BarringerGBGHHOMRF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/BarringerGBGHHOMRF96
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4(2): 255-272 (1996)

Coauthor Index

see FAQ

a service of

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.