We stand with Ukraine  

David Sears

Orcid: 0000-0002-2054-8327

Affiliations:
  • Rogue Wave Software, Kanata, ON, Canada
  • Queen's University, School of Computing, Kingston, ON, CA (PhD 2018)


According to our database1, David Sears authored at least 8 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Dynamic Observation in Discrete-Event Systems.
[BibTeX]
[DOI]
David Sears
PhD thesis, 2018

Computing observers from observation policies in discrete-event systems.
[BibTeX]
[DOI]
David Sears
,
Karen Rudie
Discret. Event Dyn. Syst., 2018

2016
Minimal sensor activation and minimal communication in discrete-event systems.
[BibTeX]
[DOI]
David Sears
,
Karen Rudie
Discret. Event Dyn. Syst., 2016

2014
On computing indistinguishable states of nondeterministic finite automata with partially observable transitions.
[BibTeX]
[DOI]
David Sears
,
Karen Rudie
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Computing sensor activation decisions from state equivalence classes in discrete-event systems.
[BibTeX]
[DOI]
David Sears
,
Karen Rudie
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Efficient computation of sensor activation decisions in discrete-event systems.
[BibTeX]
[DOI]
David Sears
,
Karen Rudie
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes.
[BibTeX]
[DOI]
David Sears
,
Kai Salomaa
Nat. Comput., 2012

2011
Extended Watson-Crick L Systems with Regular Trigger Languages.
[BibTeX]
[DOI]
David Sears
,
Kai Salomaa
Proceedings of the Unconventional Computation - 10th International Conference, 2011


  Loading...