default search action
Darko Stefanovic
Person information
- affiliation: University of New Mexico, Albuquerque, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j17]Miroslav Stefanovic
, Dorde Przulj, Darko Stefanovic, Sonja Ristic
The proposal of new Ethereum request for comments for supporting fractional ownership of non-fungible tokens. Comput. Sci. Inf. Syst. 20(3): 1133-1155 (2023) - [c55]Jelena Crnobrnja
Digital Transformation Towards Industry 5.0: A Systematic Literature Review. APMS (1) 2023: 269-281 - 2022
- [j16]Miroslav Stefanovic
Smart Contract Application for Managing Land Administration System Transactions. IEEE Access 10: 39154-39176 (2022) - 2020
- [j15]Srdan Z. Savic
Automatic domain modeling for human-robot interaction. Intell. Serv. Robotics 13(1): 99-111 (2020) - [c54]Darko Stefanovic
Process Mining in Manufacturing: Goals, Techniques and Applications. APMS (1) 2020: 54-62 - [c53]Danijela Ciric
The Application of ICT Solutions in Manufacturing Companies in Serbia. APMS (2) 2020: 122-129 - [c52]Hoang Nguyen, Peter Banda, Darko Stefanovic, Christof Teuscher:
Reservoir Computing with Random Chemical Systems. ALIFE 2020: 491-499
2010 – 2019
- 2019
- [j14]Marko Arsenovic
Solving Current Limitations of Deep Learning Based Approaches for Plant Disease Detection. Symmetry 11(7): 939 (2019) - [c51]Dusanka Dakic
Process Mining Possibilities and Challenges: A Case Study. SISY 2019: 161-166 - 2018
- [c50]George Stelle, Darko Stefanovic:
Verifiably Lazy: Verified Compilation of Call-by-Need. IFL 2018: 49-58 - [c49]Darko Stefanovic:
A simplified account of cooperative effects in molecular walker teams. NANOCOM 2018: 33:1-33:2 - 2017
- [j13]Drew Blount, Peter Banda
Feedforward Chemical Neural Network: An In Silico Chemical System That Learns xor. Artif. Life 23(3): 295-317 (2017) - [j12]Srdjan Sladojevic
Integer arithmetic approximation of the hog algorithm used for pedestrian detection. Comput. Sci. Inf. Syst. 14(2): 329-346 (2017) - [c48]Marko Arsenovic, Srdjan Sladojevic
FaceTime - Deep learning based face recognition attendance system. SISY 2017: 53-58 - [c47]Matthew R. Lakin, Darko Stefanovic:
Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. UCNC 2017: 41-55 - 2016
- [j11]Dandan Mo, Matthew R. Lakin, Darko Stefanovic:
Logic circuits based on molecular spider systems. Biosyst. 146: 10-25 (2016) - [j10]Srdjan Sladojevic
Deep Neural Networks Based Recognition of Plant Diseases by Leaf Image Classification. Comput. Intell. Neurosci. 2016: 3289801:1-3289801:11 (2016) - [j9]Darko Stefanovic, Ugljesa Marjanovic
Assessing the success of e-government systems: An employee perspective. Inf. Manag. 53(6): 717-726 (2016) - [j8]Matthew R. Lakin, Darko Stefanovic, Andrew Phillips:
Modular verification of chemical reaction network encodings via serializability analysis. Theor. Comput. Sci. 632: 21-42 (2016) - [c46]David C. Mohr, Darko Stefanovic:
Stella: a python-based domain-specific language for simulations. SAC 2016: 1952-1959 - [c45]George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest
Cactus Environment Machine - Shared Environment Call-by-Need. TFP 2016: 24-43 - [i10]Alireza Goudarzi, Sarah Marzen, Peter Banda, Guy Feldman, Christof Teuscher, Darko Stefanovic:
Memory and Information Processing in Recurrent Neural Networks. CoRR abs/1604.06929 (2016) - 2015
- [c44]Alireza Goudarzi, Alireza Shabani, Darko Stefanovic:
Exploring transfer function nonlinearity in echo state networks. CISDA 2015: 1-8 - [c43]Matthew R. Lakin, Darko Stefanovic:
Supervised Learning in an Adaptive DNA Strand Displacement Circuit. DNA 2015: 154-167 - [c42]Alireza Goudarzi, Dorian C. Arnold, Darko Stefanovic, Kurt B. Ferreira, Guy Feldman:
A Principled Approach to HPC Event Monitoring. FTXS@HPDC 2015: 3-10 - [c41]Alireza Goudarzi, Alireza Shabani, Darko Stefanovic:
Product reservoir computing: Time-series computation with multiplicative neurons. IJCNN 2015: 1-8 - [c40]Dandan Mo, Matthew R. Lakin, Darko Stefanovic:
Scalable Design of Logic Circuits Using an Active Molecular Spider System. IPCAT 2015: 13-28 - [c39]Jens Bürger
Hierarchical composition of memristive networks for real-time computing. NANOARCH 2015: 33-38 - [i9]Alireza Goudarzi, Alireza Shabani, Darko Stefanovic:
Product Echo State Networks: Time-Series Computation with Multiplicative Neurons. CoRR abs/1502.00718 (2015) - [i8]Alireza Goudarzi, Alireza Shabani, Darko Stefanovic:
Exploring Transfer Function Nonlinearity in Echo State Networks. CoRR abs/1502.04423 (2015) - [i7]Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher:
Hierarchical Composition of Memristive Networks for Real-Time Computing. CoRR abs/1504.02833 (2015) - [i6]Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher:
Computational Capacity and Energy Consumption of Complex Resistive Switch Networks. CoRR abs/1507.03716 (2015) - 2014
- [j7]Darko Stefanovic, Andrew J. Turberfield
Preface. Nat. Comput. 13(4): 497-498 (2014) - [c38]Alireza Goudarzi, Darko Stefanovic:
Towards a Calculus of Echo State Networks. BICA 2014: 176-181 - [c37]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher:
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures. NANOARCH 2014: 116-121 - [c36]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks. UCNC 2014: 164-176 - [c35]Matthew R. Lakin, Darko Stefanovic:
Pattern Formation by Spatially Organized Approximate Majority Reactions. UCNC 2014: 254-266 - [p2]Oleg Semenov, Darko Stefanovic, Milan N. Stojanovic:
The Effects of Multivalency and Kinetics in Nanoscale Search by Molecular Spiders. Evolution, Complexity and Artificial Life 2014: 161-175 - [i5]Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic:
A Comparative Study of Reservoir Computing for Temporal Signal Processing. CoRR abs/1401.2224 (2014) - [i4]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks. CoRR abs/1405.0296 (2014) - [i3]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher:
A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures. CoRR abs/1406.3433 (2014) - [i2]Alireza Goudarzi, Darko Stefanovic:
Towards a Calculus of Echo State Networks. CoRR abs/1409.0280 (2014) - 2013
- [j6]Oleg Semenov, Mark J. Olah, Darko Stefanovic:
Cooperative linear cargo transport with molecular spiders. Nat. Comput. 12(2): 259-276 (2013) - [c34]Darko Stefanovic, Milan N. Stojanovic:
Computing Game Strategies. CiE 2013: 383-392 - [c33]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
DNA Reservoir Computing: A Novel Molecular Computing Approach. DNA 2013: 76-89 - [c32]Matthew R. Lakin, Andrew Phillips, Darko Stefanovic:
Modular Verification of DNA Strand Displacement Networks via Serializability Analysis. DNA 2013: 133-146 - [c31]Dandan Mo, Darko Stefanovic:
Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control. DNA 2013: 147-159 - [c30]Darko Stefanovic, Milan N. Stojanovic, Mark J. Olah, Oleg Semenov:
Catalytic Molecular Walkers: Aspects of Product Release. ECAL 2013: 1134-1141 - [i1]Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
DNA Reservoir Computing: A Novel Molecular Computing Approach. CoRR abs/1306.5998 (2013) - 2012
- [j5]Joanne Macdonald, Darko Stefanovic:
Deoxyribozymes performing logic operations and simple computations. Scholarpedia 7(6): 10021 (2012) - [c29]Mark J. Olah, David C. Mohr, Darko Stefanovic:
Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity Framework. TOOLS (50) 2012: 236-251 - [c28]Darko Stefanovic:
Maze Exploration with Molecular-Scale Walkers. TPNC 2012: 216-226 - [c27]Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic:
Towards a Biomolecular Learning Machine. UCNC 2012: 152-163 - [e1]Darko Stefanovic, Andrew J. Turberfield:
DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings. Lecture Notes in Computer Science 7433, Springer 2012, ISBN 978-3-642-32207-5 [contents] - 2011
- [c26]M. Leigh Fanning, Joanne Macdonald
ISO: numeric representation of nucleic acid form. BCB 2011: 404-408 - [c25]Mark J. Olah, Darko Stefanovic:
Multivalent Random Walkers - A Model for Deoxyribozyme Walkers. DNA 2011: 160-174 - [c24]Oleg Semenov, Mark J. Olah, Darko Stefanovic:
Multiple Molecular Spiders with a Single Localized Source - The One-Dimensional Case - (Extended Abstract). DNA 2011: 204-216 - 2010
- [c23]Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur:
Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
2000 – 2009
- 2009
- [c22]M. Leigh Fanning, Joanne Macdonald
Advancing the Deoxyribozyme-Based Logic Gate Design Process. DNA 2009: 45-54 - [r1]Joanne Macdonald
Molecular Automata. Encyclopedia of Complexity and Systems Science 2009: 5631-5655 - 2008
- [j4]Stephen M. Blackburn
Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51(8): 83-89 (2008) - [c21]Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259 - [c20]Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108 - [c19]Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49 - [p1]Darko Stefanovic:
Emerging Models of Computation: Directions in Molecular Computing. Software-Intensive Systems and New Computing Paradigms 2008: 255-265 - 2007
- [c18]Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo
Heap analysis in the presence of collection libraries. PASTE 2007: 31-36 - 2006
- [j3]Hajime Inoue, Darko Stefanovic, Stephanie Forrest
On the Prediction of Java Object Lifetimes. IEEE Trans. Computers 55(7): 880-892 (2006) - [j2]Matthew Hertz, Stephen M. Blackburn
Generating object lifetime traces with Merlin. ACM Trans. Program. Lang. Syst. 28(3): 476-516 (2006) - [c17]Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363 - [c16]Stephen M. Blackburn
The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA 2006: 169-190 - 2005
- [j1]Elena Gabriela Barrantes, David H. Ackley, Stephanie Forrest
Randomized instruction set emulation. ACM Trans. Inf. Syst. Secur. 8(1): 3-40 (2005) - [c15]Joseph Farfel, Darko Stefanovic:
Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks. DNA 2005: 38-54 - [c14]Jennifer A. Sager, Darko Stefanovic:
Designing Nucleotide Sequences for Computation: A Survey of Constraints. DNA 2005: 275-289 - [c13]Sergiy Kyrylkov, Darko Stefanovic:
Garbage Collection With a Large Address Space for Server Applications. PLC 2005: 179-186 - 2004
- [c12]Clint Morgan, Darko Stefanovic, Cristopher Moore
Building the Components for a Biomolecular Computer. DNA 2004: 247-257 - 2003
- [c11]Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi:
Randomized instruction set emulation to disrupt binary code injection attacks. CCS 2003: 281-289 - [c10]John Cochran, Deepak Kapur, Darko Stefanovic:
Model Checking Reconfigurable Processor Configurations for Safety Properties. FPL 2003: 996-999 - 2002
- [c9]Darko Stefanovic, Matthew Hertz, Stephen M. Blackburn
Older-first garbage collection in practice: evaluation in Java Virtual Machine. MSP/ISMM 2002: 25-36 - [c8]Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic:
Error-free garbage collection traces: how to cheat and not get caught. SIGMETRICS 2002: 140-151 - 2000
- [c7]Darko Stefanovic, Margaret Martonosi:
Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note). Euro-Par 2000: 1018-1022 - [c6]Darko Stefanovic, Margaret Martonosi:
On Availability of Bit-Narrow Operations in General-Purpose Applications. FPL 2000: 412-421 - [c5]Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss:
On Models for Object Lifetimes. ISMM 2000: 137-142
1990 – 1999
- 1999
- [c4]Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss:
Age-Based Garbage Collection. OOPSLA 1999: 370-381 - 1997
- [c3]J. Eliot B. Moss, Paul E. Utgoff, John Cavazos, Doina Precup, Darko Stefanovic, Carla E. Brodley, David Scheeff:
Learning to Schedule Straight-Line Code. NIPS 1997: 929-935 - 1994
- [c2]Darko Stefanovic, J. Eliot B. Moss:
Characterization of Object Behaviour in Standard ML of New Jersey. LISP and Functional Programming 1994: 43-54 - 1992
- [c1]Antony L. Hosking
A Comparative Performance Evaluation of Write Barrier Implementations. OOPSLA 1992: 92-109
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-04-25 05:48 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: