Darko Stefanovic

87 papers A* 2A 3B 16C 3Misc 3Journal 28Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Uncovering Determinants of Code Quality in Education via Static Code Analysis. IEEE Access Danilo Nikolic, Darko Stefanovic, Miroslav Nikolic, Dusanka Dakic, Miroslav Stefanovic, Sara Koprivica
2023	—	`conf`	Digital Transformation Towards Industry 5.0: A Systematic Literature Review. APMS (1) Jelena Crnobrnja, Darko Stefanovic, David Romero, Selver Softic, Ugljesa Marjanovic
2023	J	`jnl`	The proposal of new Ethereum request for comments for supporting fractional ownership of non-fungible tokens. Comput. Sci. Inf. Syst. Miroslav Stefanovic, Dorde Przulj, Darko Stefanovic, Sonja Ristic, Darko Capko
2022	J	`jnl`	Smart Contract Application for Managing Land Administration System Transactions. IEEE Access Miroslav Stefanovic, Ðorde Przulj, Sonja Ristic, Darko Stefanovic, Danilo Nikolic
2020	J	`jnl`	Automatic domain modeling for human-robot interaction. Intell. Serv. Robotics Srdan Z. Savic, Milan Gnjatovic, Darko Stefanovic, Bojan Lalic, Nemanja Macek
2020	—	`conf`	Process Mining in Manufacturing: Goals, Techniques and Applications. APMS (1) Darko Stefanovic, Dusanka Dakic, Branislav Stevanov, Teodora Lolic
2020	C	`conf`	Reservoir Computing with Random Chemical Systems. ALIFE Hoang Nguyen, Peter Banda, Darko Stefanovic, Christof Teuscher
2020	—	`conf`	The Application of ICT Solutions in Manufacturing Companies in Serbia. APMS (2) Danijela Ciric, Teodora Lolic, Danijela Gracanin, Darko Stefanovic, Bojan Lalic
2019	Misc	`conf`	Process Mining Possibilities and Challenges: A Case Study. SISY Dusanka Dakic, Srdjan Sladojevic, Teodora Lolic, Darko Stefanovic
2019	J	`jnl`	Solving Current Limitations of Deep Learning Based Approaches for Plant Disease Detection. Symmetry Marko Arsenovic, Mirjana Karanovic, Srdjan Sladojevic, Andras Anderla, Darko Stefanovic
2018	—	`conf`	A simplified account of cooperative effects in molecular walker teams. NANOCOM Darko Stefanovic
2018	—	`conf`	Verifiably Lazy: Verified Compilation of Call-by-Need. IFL George Stelle, Darko Stefanovic
2017	Misc	`conf`	FaceTime - Deep learning based face recognition attendance system. SISY Marko Arsenovic, Srdjan Sladojevic, Andras Anderla, Darko Stefanovic
2017	J	`jnl`	Feedforward Chemical Neural Network: An In Silico Chemical System That Learns xor. Artif. Life Drew Blount, Peter Banda, Christof Teuscher, Darko Stefanovic
2017	J	`jnl`	Integer arithmetic approximation of the hog algorithm used for pedestrian detection. Comput. Sci. Inf. Syst. Srdjan Sladojevic, Andras Anderla, Dubravko Culibrk, Darko Stefanovic, Bojan Lalic
2017	—	`conf`	Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. UCNC Matthew R. Lakin, Darko Stefanovic
2016	J	`jnl`	Assessing the success of e-government systems: An employee perspective. Inf. Manag. Darko Stefanovic, Ugljesa Marjanovic, Milan Delic, Dubravko Culibrk, Bojan Lalic
2016	—	`conf`	Cactus Environment Machine - Shared Environment Call-by-Need. TFP George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest
2016	J	`jnl`	Deep Neural Networks Based Recognition of Plant Diseases by Leaf Image Classification. Comput. Intell. Neurosci. Srdjan Sladojevic, Marko Arsenovic, Andras Anderla, Dubravko Culibrk, Darko Stefanovic
2016	J	`jnl`	Logic circuits based on molecular spider systems. Biosyst. Dandan Mo, Matthew R. Lakin, Darko Stefanovic
2016	J	`jnl`	Memory and Information Processing in Recurrent Neural Networks. CoRR Alireza Goudarzi, Sarah Marzen, Peter Banda, Guy Feldman, Christof Teuscher, Darko Stefanovic
2016	J	`jnl`	Modular verification of chemical reaction network encodings via serializability analysis. Theor. Comput. Sci. Matthew R. Lakin, Darko Stefanovic, Andrew Phillips
2016	Misc	`conf`	Stella: a python-based domain-specific language for simulations. SAC David C. Mohr, Darko Stefanovic
2015	—	`conf`	A Principled Approach to HPC Event Monitoring. FTXS@HPDC Alireza Goudarzi, Dorian C. Arnold, Darko Stefanovic, Kurt B. Ferreira, Guy Feldman
2015	J	`jnl`	Computational Capacity and Energy Consumption of Complex Resistive Switch Networks. CoRR Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher
2015	J	`jnl`	Exploring Transfer Function Nonlinearity in Echo State Networks. CoRR Alireza Goudarzi, Alireza Shabani, Darko Stefanovic
2015	—	`conf`	Exploring transfer function nonlinearity in echo state networks. CISDA Alireza Goudarzi, Alireza Shabani, Darko Stefanovic
2015	J	`jnl`	Hierarchical Composition of Memristive Networks for Real-Time Computing. CoRR Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher
2015	—	`conf`	Hierarchical composition of memristive networks for real-time computing. NANOARCH Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher
2015	J	`jnl`	Product Echo State Networks: Time-Series Computation with Multiplicative Neurons. CoRR Alireza Goudarzi, Alireza Shabani, Darko Stefanovic
2015	B	`conf`	Product reservoir computing: Time-series computation with multiplicative neurons. IJCNN Alireza Goudarzi, Alireza Shabani, Darko Stefanovic
2015	—	`conf`	Scalable Design of Logic Circuits Using an Active Molecular Spider System. IPCAT Dandan Mo, Matthew R. Lakin, Darko Stefanovic
2015	B	`conf`	Supervised Learning in an Adaptive DNA Strand Displacement Circuit. DNA Matthew R. Lakin, Darko Stefanovic
2014	J	`jnl`	A Comparative Study of Reservoir Computing for Temporal Signal Processing. CoRR Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic
2014	J	`jnl`	A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures. CoRR Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
2014	—	`conf`	A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures. NANOARCH Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
2014	—	`conf`	Pattern Formation by Spatially Organized Approximate Majority Reactions. UCNC Matthew R. Lakin, Darko Stefanovic
2014	J	`jnl`	Preface. Nat. Comput. Darko Stefanovic, Andrew J. Turberfield
2014	—	`conf`	Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks. UCNC Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2014	J	`jnl`	Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks. CoRR Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2014	—	`ch.`	The Effects of Multivalency and Kinetics in Nanoscale Search by Molecular Spiders. Evolution, Complexity and Artificial Life Oleg Semenov, Darko Stefanovic, Milan N. Stojanovic
2014	—	`conf`	Towards a Calculus of Echo State Networks. BICA Alireza Goudarzi, Darko Stefanovic
2014	J	`jnl`	Towards a Calculus of Echo State Networks. CoRR Alireza Goudarzi, Darko Stefanovic
2013	—	`conf`	Catalytic Molecular Walkers: Aspects of Product Release. ECAL Darko Stefanovic, Milan N. Stojanovic, Mark J. Olah, Oleg Semenov
2013	C	`conf`	Computing Game Strategies. CiE Darko Stefanovic, Milan N. Stojanovic
2013	J	`jnl`	Cooperative linear cargo transport with molecular spiders. Nat. Comput. Oleg Semenov, Mark J. Olah, Darko Stefanovic
2013	B	`conf`	DNA Reservoir Computing: A Novel Molecular Computing Approach. DNA Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2013	J	`jnl`	DNA Reservoir Computing: A Novel Molecular Computing Approach. CoRR Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2013	B	`conf`	Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control. DNA Dandan Mo, Darko Stefanovic
2013	B	`conf`	Modular Verification of DNA Strand Displacement Networks via Serializability Analysis. DNA Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
2012	B	`ed.`	DNA Computing and Molecular Programming - 18th International Conference, DNA 2012, Aarhus, Denmark, August 14-17, 2012. Proceedings DNA Darko Stefanovic, Andrew J. Turberfield
2012	J	`jnl`	Deoxyribozymes performing logic operations and simple computations. Scholarpedia Joanne Macdonald, Darko Stefanovic
2012	—	`conf`	Maze Exploration with Molecular-Scale Walkers. TPNC Darko Stefanovic
2012	—	`conf`	Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity Framework. TOOLS (50) Mark J. Olah, David C. Mohr, Darko Stefanovic
2012	—	`conf`	Towards a Biomolecular Learning Machine. UCNC Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic
2011	—	`conf`	ISO: numeric representation of nucleic acid form. BCB M. Leigh Fanning, Joanne Macdonald, Darko Stefanovic
2011	B	`conf`	Multiple Molecular Spiders with a Single Localized Source - The One-Dimensional Case - (Extended Abstract). DNA Oleg Semenov, Mark J. Olah, Darko Stefanovic
2011	B	`conf`	Multivalent Random Walkers - A Model for Deoxyribozyme Walkers. DNA Mark J. Olah, Darko Stefanovic
2010	B	`conf`	Shape Analysis with Reference Set Relations. VMCAI Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
2009	B	`conf`	Advancing the Deoxyribozyme-Based Logic Gate Design Process. DNA M. Leigh Fanning, Joanne Macdonald, Darko Stefanovic
2009	—	`ch.`	Molecular Automata. Encyclopedia of Complexity and Systems Science Joanne Macdonald, Darko Stefanovic, Milan N. Stojanovic
2008	B	`conf`	Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic
2008	—	`ch.`	Emerging Models of Computation: Directions in Molecular Computing. Software-Intensive Systems and New Computing Paradigms Darko Stefanovic
2008	—	`conf`	Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
2008	—	`conf`	Sharing analysis of arrays, collections, and recursive structures. PASTE Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur
2008	J	`jnl`	Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
2007	—	`conf`	Heap analysis in the presence of collection libraries. PASTE Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur
2006	—	`conf`	A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
2006	J	`jnl`	Generating object lifetime traces with Merlin. ACM Trans. Program. Lang. Syst. Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic
2006	J	`jnl`	On the Prediction of Java Object Lifetimes. IEEE Trans. Computers Hajime Inoue, Darko Stefanovic, Stephanie Forrest
2006	A	`conf`	The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
2005	B	`conf`	Designing Nucleotide Sequences for Computation: A Survey of Constraints. DNA Jennifer A. Sager, Darko Stefanovic
2005	—	`conf`	Garbage Collection With a Large Address Space for Server Applications. PLC Sergiy Kyrylkov, Darko Stefanovic
2005	J	`jnl`	Randomized instruction set emulation. ACM Trans. Inf. Syst. Secur. Elena Gabriela Barrantes, David H. Ackley, Stephanie Forrest, Darko Stefanovic
2005	B	`conf`	Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks. DNA Joseph Farfel, Darko Stefanovic
2004	B	`conf`	Building the Components for a Biomolecular Computer. DNA Clint Morgan, Darko Stefanovic, Cristopher Moore, Milan N. Stojanovic
2003	B	`conf`	Model Checking Reconfigurable Processor Configurations for Safety Properties. FPL John Cochran, Deepak Kapur, Darko Stefanovic
2003	A*	`conf`	Randomized instruction set emulation to disrupt binary code injection attacks. CCS Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi
2002	A*	`conf`	Error-free garbage collection traces: how to cheat and not get caught. SIGMETRICS Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic
2002	—	`conf`	Older-first garbage collection in practice: evaluation in Java Virtual Machine. MSP/ISMM Darko Stefanovic, Matthew Hertz, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss
2000	—	`conf`	Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note). Euro-Par Darko Stefanovic, Margaret Martonosi
2000	B	`conf`	On Availability of Bit-Narrow Operations in General-Purpose Applications. FPL Darko Stefanovic, Margaret Martonosi
2000	C	`conf`	On Models for Object Lifetimes. ISMM Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss
1999	A	`conf`	Age-Based Garbage Collection. OOPSLA Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss
1997	—	`conf`	Learning to Schedule Straight-Line Code. NIPS J. Eliot B. Moss, Paul E. Utgoff, John Cavazos, Doina Precup, Darko Stefanovic, Carla E. Brodley, David Scheeff
1994	—	`conf`	Characterization of Object Behaviour in Standard ML of New Jersey. LISP and Functional Programming Darko Stefanovic, J. Eliot B. Moss
1992	A	`conf`	A Comparative Performance Evaluation of Write Barrier Implementations. OOPSLA Antony L. Hosking, J. Eliot B. Moss, Darko Stefanovic