Darko Stefanovic

Affiliations:
  • University of New Mexico, Albuquerque, USA


According to our database1, Darko Stefanovic authored at least 79 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The proposal of new Ethereum request for comments for supporting fractional ownership of non-fungible tokens.
Comput. Sci. Inf. Syst., 2023

Digital Transformation Towards Industry 5.0: A Systematic Literature Review.
Proceedings of the Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures, 2023

2022
Smart Contract Application for Managing Land Administration System Transactions.
IEEE Access, 2022

2020
Automatic domain modeling for human-robot interaction.
Intell. Serv. Robotics, 2020

Reservoir Computing with Random Chemical Systems.
Proceedings of the 2020 Conference on Artificial Life, 2020

Process Mining in Manufacturing: Goals, Techniques and Applications.
Proceedings of the Advances in Production Management Systems. The Path to Digital Transformation and Innovation of Production Management Systems, 2020

The Application of ICT Solutions in Manufacturing Companies in Serbia.
Proceedings of the Advances in Production Management Systems. Towards Smart and Digital Manufacturing, 2020

2019
Solving Current Limitations of Deep Learning Based Approaches for Plant Disease Detection.
Symmetry, 2019

Process Mining Possibilities and Challenges: A Case Study.
Proceedings of the 17th IEEE International Symposium on Intelligent Systems and Informatics, 2019

2018
A simplified account of cooperative effects in molecular walker teams.
Proceedings of the 5th ACM International Conference on Nanoscale Computing and Communication, 2018

Verifiably Lazy: Verified Compilation of Call-by-Need.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2017
Integer arithmetic approximation of the hog algorithm used for pedestrian detection.
Comput. Sci. Inf. Syst., 2017

Feedforward Chemical Neural Network: An In Silico Chemical System That Learns xor.
Artif. Life, 2017

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.
Proceedings of the Unconventional Computation and Natural Computation, 2017

FaceTime - Deep learning based face recognition attendance system.
Proceedings of the 15th IEEE International Symposium on Intelligent Systems and Informatics, 2017

2016
Modular verification of chemical reaction network encodings via serializability analysis.
Theor. Comput. Sci., 2016

Assessing the success of e-government systems: An employee perspective.
Inf. Manag., 2016

Memory and Information Processing in Recurrent Neural Networks.
CoRR, 2016

Deep Neural Networks Based Recognition of Plant Diseases by Leaf Image Classification.
Comput. Intell. Neurosci., 2016

Logic circuits based on molecular spider systems.
Biosyst., 2016

Cactus Environment Machine - Shared Environment Call-by-Need.
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Stella: a python-based domain-specific language for simulations.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Product Echo State Networks: Time-Series Computation with Multiplicative Neurons.
CoRR, 2015

Computational Capacity and Energy Consumption of Complex Resistive Switch Networks.
CoRR, 2015

Hierarchical composition of memristive networks for real-time computing.
Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Scalable Design of Logic Circuits Using an Active Molecular Spider System.
Proceedings of the Information Processing in Cells and Tissues, 2015

Product reservoir computing: Time-series computation with multiplicative neurons.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

A Principled Approach to HPC Event Monitoring.
Proceedings of the 5th Workshop on Fault Tolerance for HPC at eXtreme Scale, 2015

Supervised Learning in an Adaptive DNA Strand Displacement Circuit.
Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

Exploring transfer function nonlinearity in echo state networks.
Proceedings of the 2015 IEEE Symposium on Computational Intelligence for Security and Defense Applications, 2015

2014
Preface.
Nat. Comput., 2014

A Comparative Study of Reservoir Computing for Temporal Signal Processing.
CoRR, 2014

Pattern Formation by Spatially Organized Approximate Majority Reactions.
Proceedings of the Unconventional Computation and Natural Computation, 2014

Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks.
Proceedings of the Unconventional Computation and Natural Computation, 2014

A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.
Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Towards a Calculus of Echo State Networks.
Proceedings of the 5th Annual International Conference on Biologically Inspired Cognitive Architectures, 2014

The Effects of Multivalency and Kinetics in Nanoscale Search by Molecular Spiders.
Proceedings of the Evolution, Complexity and Artificial Life, 2014

2013
Cooperative linear cargo transport with molecular spiders.
Nat. Comput., 2013

Catalytic Molecular Walkers: Aspects of Product Release.
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control.
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

DNA Reservoir Computing: A Novel Molecular Computing Approach.
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Computing Game Strategies.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012
Deoxyribozymes performing logic operations and simple computations.
Scholarpedia, 2012

Towards a Biomolecular Learning Machine.
Proceedings of the Unconventional Computation and Natural Computation, 2012

Maze Exploration with Molecular-Scale Walkers.
Proceedings of the Theory and Practice of Natural Computing, 2012

Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity Framework.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

2011
Multiple Molecular Spiders with a Single Localized Source - The One-Dimensional Case - (Extended Abstract).
Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

Multivalent Random Walkers - A Model for Deoxyribozyme Walkers.
Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

ISO: numeric representation of nucleic acid form.
Proceedings of the ACM International Conference on Bioinformatics, 2011

2010
Shape Analysis with Reference Set Relations.
Proceedings of the Verification, 2010

2009
Molecular Automata.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Advancing the Deoxyribozyme-Based Logic Gate Design Process.
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008
Emerging Models of Computation: Directions in Molecular Computing.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Wake up and smell the coffee: evaluation methodology for the 21st century.
Commun. ACM, 2008

Sharing analysis of arrays, collections, and recursive structures.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.
Proceedings of the Languages and Compilers for Parallel Computing, 2008

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
Heap analysis in the presence of collection libraries.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006
Generating object lifetime traces with Merlin.
ACM Trans. Program. Lang. Syst., 2006

On the Prediction of Java Object Lifetimes.
IEEE Trans. Computers, 2006


A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.
Proceedings of the Languages and Compilers for Parallel Computing, 2006

2005
Randomized instruction set emulation.
ACM Trans. Inf. Syst. Secur., 2005

Garbage Collection With a Large Address Space for Server Applications.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Designing Nucleotide Sequences for Computation: A Survey of Constraints.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004
Building the Components for a Biomolecular Computer.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

2003
Model Checking Reconfigurable Processor Configurations for Safety Properties.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

Randomized instruction set emulation to disrupt binary code injection attacks.
Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002
Error-free garbage collection traces: how to cheat and not get caught.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Older-first garbage collection in practice: evaluation in Java Virtual Machine.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2000
On Models for Object Lifetimes.
Proceedings of the ISMM 2000, 2000

On Availability of Bit-Narrow Operations in General-Purpose Applications.
Proceedings of the Field-Programmable Logic and Applications, 2000

Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Age-Based Garbage Collection.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997
Learning to Schedule Straight-Line Code.
Proceedings of the Advances in Neural Information Processing Systems 10, 1997

1994
Characterization of Object Behaviour in Standard ML of New Jersey.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992
A Comparative Performance Evaluation of Write Barrier Implementations.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992


  Loading...