-
1Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Computer Science Journal of Moldova, Vol 32, Iss 1(94), Pp 3-18 (2024)
مصطلحات موضوعية: multi-agent systems, rewriting engine maude, strategies and model-checking, example of airway laser surgery, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
Relation: http://www.math.md/files/csjm/v32-n1/v32-n1-(pp3-18).pdf; https://doaj.org/toc/1561-4042; https://doaj.org/toc/2587-4330
-
2Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Scientific Annals of Computer Science, Vol XXXII, Iss 2, Pp 181-182 (2022)
مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: IEEE Access, Vol 8, Pp 147439-147450 (2020)
مصطلحات موضوعية: Membrane computing, mobility, process calculi, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
4Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 303, Iss Proc. FROM 2019, Pp 92-106 (2019)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Mathematics, Vol 10, Iss 12, p 1992 (2022)
مصطلحات موضوعية: n/a, Mathematics, QA1-939
وصف الملف: electronic resource
-
6Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Mathematics, Vol 9, Iss 22, p 2869 (2021)
مصطلحات موضوعية: mobile agents, timeouts, knowledge as set of trees, behavioural equivalences, Mathematics, QA1-939
وصف الملف: electronic resource
-
7Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Computer Science Journal of Moldova, Vol 23, Iss 2(68), Pp 123-134 (2015)
مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
Relation: http://www.math.md/files/csjm/v23-n2/v23-n2-(pp123-134).pdf; https://doaj.org/toc/1561-4042
-
8Academic Journal
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 57, Iss Proc. QAPL 2011, Pp 47-60 (2011)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
9Academic Journal
المؤلفون: Gabriel Ciobanu, Bogdan Aman
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 6, Iss Proc. COMPMOD 2009, Pp 1-15 (2009)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
10Book
المؤلفون: Bogdan Aman, Gabriel Ciobanu, Robert Gl(, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina (L)ukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germ('a)n Vidal
المساهمون: Bogdan Aman, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira, Aman, Bogdan, Ciobanu, Gabriel, Gl(, Robert, Kaarsgaard, Robin, Kari, Jarkko, Kutrib, Martin, Lanese, Ivan, Antares Mezzina (L)ukasz Mikulski, Claudio, Nagarajan, Rajagopal, Phillips, Iain, Michele Pinna, G., Prigioniero, Luca, Ulidowski, Irek, Vidal, Germ('a)n
مصطلحات موضوعية: Reversibility, Computability
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-47361-7; info:eu-repo/semantics/altIdentifier/wos/WOS:000719283800023; ispartofbook:Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405; volume:12070; firstpage:1; lastpage:40; numberofpages:40; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira; http://hdl.handle.net/11584/289972; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85085494583; https://doi.org/10.1007/978-3-030-47361-7_1
-
11
المؤلفون: Bogdan Aman
المصدر: Natural Computing. 22:3-12
مصطلحات موضوعية: Computer Science Applications
-
12
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Information Sciences. 594:360-370
مصطلحات موضوعية: Information Systems and Management, Artificial Intelligence, Control and Systems Engineering, Software, Computer Science Applications, Theoretical Computer Science
-
13
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Journal of Logic and Computation. 32:1048-1066
مصطلحات موضوعية: Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Software, Theoretical Computer Science
-
14
المؤلفون: Bogdan Aman
المصدر: Journal of Membrane Computing.
مصطلحات موضوعية: Computational Theory and Mathematics, Applied Mathematics
-
15
المؤلفون: Bogdan Aman
المصدر: Journal of Membrane Computing. 4:1-10
مصطلحات موضوعية: Computational Theory and Mathematics, Applied Mathematics
-
16
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Information Sciences. 580:673-683
مصطلحات موضوعية: Soundness, Multiset, Information Systems and Management, Theoretical computer science, Computer science, Inference, Type inference, Rule-based system, Operational semantics, Computer Science Applications, Theoretical Computer Science, Artificial Intelligence, Control and Systems Engineering, Completeness (order theory), Invariant (mathematics), Software
-
17
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: 2022 E-Health and Bioengineering Conference (EHB).
-
18
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Journal of Membrane Computing. 3:97-104
مصطلحات موضوعية: Mathematical optimization, Computational Theory and Mathematics, Computer science, Applied Mathematics, Theory of computation, Rewriting, Travelling salesman problem
-
19
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Journal of Membrane Computing. 2:246-254
مصطلحات موضوعية: Property (philosophy), Theoretical computer science, Computational Theory and Mathematics, Computer science, Natural computing, Applied Mathematics, Computation, Theory of computation, Natural (music), Rule-based system, Nature inspired
-
20
المؤلفون: Bogdan Aman, Gabriel Ciobanu
المصدر: Journal of Membrane Computing. 2:171-178
مصطلحات موضوعية: Set (abstract data type), Theoretical computer science, Computational Theory and Mathematics, Computer science, Applied Mathematics, Theory of computation, Reaction system, Mutual exclusion, Nuclear Experiment, Mutually exclusive events