default search action
Mitchell L. Neilsen
Person information
- affiliation: Kansas State University, Manhattan, Kansas, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i6]Venkat Margapuri, Prapti Thapaliya, Mitchell L. Neilsen:
Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks. CoRR abs/2308.05846 (2023) - 2022
- [c34]Anthony Atkinson, Venkat Margapuri, Mitchell L. Neilsen:
Verification of Feature Detection Through Thermal Imaging: An Extension of PiBase. IoTaIS 2022: 258-264 - [c33]Venkat Margapuri, Trevor Rife, Chaney Courtney, Brandon Schlautman, Kai Zhao, Mitchell L. Neilsen:
Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering. IPAS 2022: 1-7 - [c32]Scott Hutchison
, Daniel Andresen, Mitchell L. Neilsen, William H. Hsu, Benjamin Parsons:
High Performance Computing Queue Time Prediction Using Clustering and Regression. PPAM (2) 2022: 260-272 - [i5]Venkat Margapuri, Trevor Rife
Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering. CoRR abs/2205.00366 (2022) - 2021
- [j10]Chendi Cao, Mitchell L. Neilsen:
Dam Breach Simulation with the Material Point Method. Comput. 9(2): 8 (2021) - [c31]Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen:
Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. ICMLA 2021: 116-121 - [c30]Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen:
PiBase: An IoT-based Security System Using Google Firebase and Raspberry Pi. IoTaIS 2021: 79-85 - [c29]Dan Wagner, Arslan Munir
A Novel System Architecture for Automated Field-Based Tent Systems for Controlled-Environment Agriculture. iSES 2021: 105-110 - [c28]Venkat Margapuri, Mitchell L. Neilsen:
Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks. SSCI 2021: 1-8 - [i4]Venkat Margapuri, Mitchell L. Neilsen:
Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks. CoRR abs/2103.15578 (2021) - [i3]Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen:
PiBase: An IoT-based Security System using Raspberry Pi and Google Firebase. CoRR abs/2107.14325 (2021) - [i2]Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen:
Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. CoRR abs/2110.02846 (2021) - 2020
- [i1]Venkat Margapuri, Mitchell L. Neilsen:
Seed Phenotyping on Neural Networks using Domain Randomization and Transfer Learning. CoRR abs/2012.13259 (2020)
2010 – 2019
- 2019
- [c27]Chaney Courtney, Mitchell L. Neilsen:
Vetting Anti-patterns in Java to Kotlin Translation. CATA 2019: 191-202 - 2017
- [c26]Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan:
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops 2017: 37-44 - 2015
- [c25]Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips:
Secure RTOS Architecture for Building Automation. CPS-SPC@CCS 2015: 79-90 - 2013
- [c24]Nathan H. Bean
Infusing system design and sensors in education. FIE 2013: 1765-1770 - 2010
- [c23]Mitchell L. Neilsen:
Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds. CAINE 2010: 273-278 - [c22]Mitchell L. Neilsen, Darrel M. Temple, Gregory J. Hanson:
Integrating Dam Breach Modules to Analyze Earth Embankment Dams. CSC 2010: 223-229 - [c21]Mitchell L. Neilsen:
Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines. PDPTA 2010: 284-290
2000 – 2009
- 2009
- [c20]Mitchell L. Neilsen:
Model Checking Token-Based Distributed Mutual Exclusion Algorithms. PDPTA 2009: 10-16 - 2008
- [c19]Mitchell L. Neilsen:
Verification of Distributed Mutual Exclusion Algorithms. PDCCS 2008: 13-18 - 2007
- [c18]Mitchell L. Neilsen:
A generalized token-based mutual exclusion algorithm for wireless networks. PDCS 2007: 114-119 - 2003
- [c17]Mitchell L. Neilsen:
Flexible Real-time Block Transfer Protocols. PDCS 2003: 459-464 - 2002
- [j9]Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen:
A self-stabilizing quorum-based protocol for maxima computing. Distributed Comput. 15(1): 49-55 (2002) - [j8]Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang:
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum. IEEE Distributed Syst. Online 3(5) (2002) - [c16]Daniel Andresen, Mitchell L. Neilsen, Gurdip Singh, Prasanta K. Kalita:
Domain-specific Metaware for Hydrologic Applications. IASTED PDCS 2002: 411-416 - [c15]Mitchell L. Neilsen:
A General Block Transfer Protocol for CAN Kingdom. PDPTA 2002: 1596-1602 - 2000
- [j7]Mahesh N. Rao, David A. Waits, Mitchell L. Neilsen:
A GIS-based modeling approach for implementation of sustainable farm management practices. Environ. Model. Softw. 15(8): 745-753 (2000) - [c14]Robert E. Busby Jr., Mitchell L. Neilsen, Daniel Andresen:
Enhancing NWS for Use in an SNMP Managed Internetwork. IPDPS 2000: 506-511 - [c13]Mitchell L. Neilsen, Darrel M. Temple:
A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. PDPTA 2000 - [c12]Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen:
A Structured Approach to Develop Concurrent Programs in UML. UML 2000: 451-465
1990 – 1999
- 1999
- [c11]Mitchell L. Neilsen, Darrel M. Temple:
A Distributed Simulation Environment for Water Resource Site Analysis. PDPTA 1999: 560-566 - 1997
- [j6]Mitchell L. Neilsen:
Properties of Nondominated K-Coteries. J. Syst. Softw. 37(1): 91-96 (1997) - [c10]Mitchell L. Neilsen:
A Dynamic Probe Strategy for Quorum Systems. ICDCS 1997: 95-99 - 1996
- [j5]Mitchell L. Neilsen, Masaaki Mizuno:
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". Inf. Process. Lett. 60(6): 319 (1996) - [j4]Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal:
An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Process. Lett. 6(2): 265-278 (1996) - [c9]Legand L. Burge III, Mitchell L. Neilsen:
A decentralized communication efficient distributed shared memory. SAC 1996: 358-365 - 1995
- [c8]Legand L. Burge III, Mitchell L. Neilsen:
Variable-rate Timestamped Anti-entropy Protocols. Parallel and Distributed Computing and Systems 1995: 381-384 - 1994
- [j3]Mitchell L. Neilsen, Masaaki Mizuno:
Nondominated k-Coteries for Multiple Mutual Exclusion. Inf. Process. Lett. 50(5): 247-252 (1994) - [c7]Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen:
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing 1994: 145-154 - 1993
- [j2]Mitchell L. Neilsen, Masaaki Mizuno:
A quorum-based algorithm for parameterized semaphore operations. J. Syst. Softw. 21(1): 103-112 (1993) - [c6]Mitchell L. Neilsen:
Measures of Importance and Symmetry in Distributed Systems. SPDP 1993: 448-455 - 1992
- [j1]Mitchell L. Neilsen, Masaaki Mizuno:
Coterie Join Algorithm. IEEE Trans. Parallel Distributed Syst. 3(5): 582-590 (1992) - [c5]Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen:
A Distributed Algorithm for Parameterized Semaphore Operations. ICCI 1992: 466-469 - [c4]Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal:
A General Method to Define Quorums. ICDCS 1992: 657-664 - [c3]Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen:
Synchronization and Concurrency Measures for Distributed Computations. ICDCS 1992: 700-707 - 1991
- [c2]Mitchell L. Neilsen, Masaaki Mizuno:
A DAG-based algorithm for distributed mutual exclusion. ICDCS 1991: 354-360 - [c1]Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao:
A token based distributed mutual exclusion algorithm based on quorum agreements. ICDCS 1991: 361-368
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:10 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: