The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ron Koymans" ( http://dblp.L3S.de/Authors/Ron_Koymans )

  Author page on DBLP  Author page in RDF  Community of Ron Koymans in ASPL-2

Publication years (Num. hits)
1983-2017 (13)
Publication types (Num. hits)
article(4) book(1) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andrija S. Grustam, Hubertus J. M. Vrijhoef, Ron Koymans, Philipp Hukal, Johan L. Severens Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF). Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cornelis Huizing, Ron Koymans, Ruurd Kuiper A Small Step for Mankind. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Search on Bibsonomy Distributed Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ron Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic Search on Bibsonomy 1992   DOI  RDF
1Ron Koymans (Real) Time: A Philosophical Perspective. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF models of time, time measurement, real-time, temporal logic, time
1Ron Koymans Specifying Real-Time Properties with Metric Temporal Logic. Search on Bibsonomy Real Time Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar Compositional Semantics for Real-Time Distributed Computing Search on Bibsonomy Inf. Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ron Koymans, Ruurd Kuiper, Erik Zijstra Paradigms for Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. Search on Bibsonomy PODC The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar Compositional Semantics for Real-time Distributed Computing. Search on Bibsonomy Logic of Programs The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Ron Koymans, Willem P. de Roever Examples of a Real-Time Temporal Logic Specification. Search on Bibsonomy The Analysis of Concurrent Systems The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Ron Koymans, Jan Vytopil, Willem P. de Roever Real-Time Programming and Asynchronous Message Passing. Search on Bibsonomy PODC The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license