Affiliation:
1. Institute of Computer Science; Romanian Academy; Iaşi Romania
2. Department of Computer Science; Technical University; Cluj-Napoca Romania
Funder
Romanian National Authority for Scientific Research
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference24 articles.
1. Garland Science;Alberts,2008
2. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors;Head;Bulletin of Mathematical Biology,1987
3. Yokomori T YAC: yet another computation model of self-assembly Proceedings 5th DIMACS DNA Based Computers 1999 153 167
4. On the computational power of DNA;Boneh;Discrete Applied Mathematics,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quantitative Programming and Continuous-Time Markov Chains;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. Quantitative Programming and Markov Decision Processes;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09
3. Continuation Semantics for Interaction and Concurrency;2021 IEEE 17th International Conference on Intelligent Computer Communication and Processing (ICCP);2021-10-28
4. Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style;2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP);2020-09-03
5. Continuation-Based Metric Semantics for Concurrency;2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP);2019-09