Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2013 | 1 |
2014 | 1 |
2016 | 1 |
2024 | 0 |
Search Results
3 results
Results by year
Filters applied: . Clear all
Page 1
Separating OR, SUM, and XOR Circuits.
J Comput Syst Sci. 2016 Aug;82(5):793-801. doi: 10.1016/j.jcss.2016.01.001.
J Comput Syst Sci. 2016.
PMID: 28529379
Free PMC article.
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.
Dolev D, Függer M, Posch M, Schmid U, Steininger A, Lenzen C.
Dolev D, et al.
J Comput Syst Sci. 2014 Jun;80(4):860-900. doi: 10.1016/j.jcss.2014.01.001.
J Comput Syst Sci. 2014.
PMID: 26516290
Free PMC article.
Item in Clipboard
Strategy improvement for concurrent reachability and turn-based stochastic safety games.
Chatterjee K, de Alfaro L, Henzinger TA.
Chatterjee K, et al.
J Comput Syst Sci. 2013 Aug;79(5):640-657. doi: 10.1016/j.jcss.2012.12.001.
J Comput Syst Sci. 2013.
PMID: 26516289
Free PMC article.
Item in Clipboard
Cite
Cite