default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBogdan Aman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j40]Bogdan Aman
, Gabriel Ciobanu:
Arithmetic abilities of SNP systems with astrocytes producing calcium. Neural Networks 183: 106913 (2025)- 2024
- [j39]Bogdan Aman, Gabriel Ciobanu:
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova 32(1): 3-18 (2024) - [j38]Bogdan Aman:
Introducing variables in the evolution rules of P systems. Inf. Comput. 301: 105231 (2024) - [j37]Bogdan Aman, Gabriel Ciobanu:
Solving subset sum and SAT problems by reaction systems. Nat. Comput. 23(2): 177-187 (2024) - 2023
- [j36]Bogdan Aman:
Solving SAT with P systems with anti-membranes. J. Membr. Comput. 5(2): 100-107 (2023) - [j35]Bogdan Aman:
Solving subset sum by spiking neural P systems with astrocytes producing calcium. Nat. Comput. 22(1): 3-12 (2023) - [j34]Bogdan Aman, Gabriel Ciobanu:
Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. 971: 114062 (2023) - 2022
- [j33]Bogdan Aman, Gabriel Ciobanu:
New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. 32(2): 181-182 (2022) - [j32]Bogdan Aman, Gabriel Ciobanu:
Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282: 104653 (2022) - [j31]Bogdan Aman, Gabriel Ciobanu:
The power of synchronizing rules in membrane computing. Inf. Sci. 594: 360-370 (2022) - [j30]Bogdan Aman:
On the efficiency of synchronized P systems. J. Membr. Comput. 4(1): 1-10 (2022) - [j29]Bogdan Aman, Gabriel Ciobanu:
Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. 32(6): 1048-1066 (2022) - [j28]Andrei Alexandru, Bogdan Aman, Ross Horne:
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. Theor. Comput. Sci. 926: 1-2 (2022) - [c52]Bogdan Aman:
From Networks of Reaction Systems to Communicating Reaction Systems and Back. MCU 2022: 42-57 - [c51]Bogdan Aman, Gabriel Ciobanu:
Synchronization operator for communication privacy. SAC 2022: 1284-1290 - [c50]Bogdan Aman, Gabriel Ciobanu:
Interval Probability for Sessions Types. WoLLIC 2022: 123-140 - 2021
- [j27]Bogdan Aman, Gabriel Ciobanu:
Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. 580: 673-683 (2021) - [j26]Bogdan Aman, Gabriel Ciobanu:
Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. 3(2): 97-104 (2021) - [c49]Bogdan Aman, Gabriel Ciobanu:
Computation with cells enhanced by costs. SAC 2021: 1278-1280 - 2020
- [j25]Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes. IEEE Access 8: 147439-147450 (2020) - [j24]Bogdan Aman, Gabriel Ciobanu:
Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. 30(12): 2050066:1-2050066:16 (2020) - [j23]Bogdan Aman, Gabriel Ciobanu:
Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. 2(3): 171-178 (2020) - [j22]Bogdan Aman, Gabriel Ciobanu:
Reversible computation in nature inspired rule-based systems. J. Membr. Comput. 2(4): 246-254 (2020) - [j21]Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil:
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805: 175-192 (2020) - [c48]Bogdan Aman, Gabriel Ciobanu:
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM 2020: 441-453 - [p2]Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p1]Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski:
Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020: 151-176 - [i4]Bogdan Aman, Gabriel Ciobanu:
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR abs/2002.08175 (2020)
2010 – 2019
- 2019
- [j20]Bogdan Aman, Gabriel Ciobanu:
Synchronization of rules in membrane computing. J. Membr. Comput. 1(4): 233-240 (2019) - [j19]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20(4): 22:1-22:44 (2019) - [c47]Bogdan Aman, Gabriel Ciobanu:
Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC 2019: 134-151 - [c46]Bogdan Aman, Gabriel Ciobanu:
Probabilities in Session Types. FROM 2019: 92-106 - 2018
- [j18]Bogdan Aman, Gabriel Ciobanu:
Bonding calculus. Nat. Comput. 17(4): 823-832 (2018) - [c45]Bogdan Aman, Gabriel Ciobanu:
Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing 2018: 21-32 - [c44]Bogdan Aman, Gabriel Ciobanu:
Analyzing the Shared Information in Social Networks. EDCC 2018: 195-202 - [c43]Bogdan Aman, Gabriel Ciobanu:
Adaptive P Systems. Int. Conf. on Membrane Computing 2018: 57-72 - 2017
- [j17]Bogdan Aman, Gabriel Ciobanu:
Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica 54(4): 435-445 (2017) - [j16]Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu:
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017) - [j15]Bogdan Aman, Gabriel Ciobanu:
Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7(3): 279-301 (2017) - [j14]Bogdan Aman, Gabriel Ciobanu:
Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. 23(7): 692-703 (2017) - [j13]Bogdan Aman, Gabriel Ciobanu:
Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. 19(4): 395-408 (2017) - [c42]Bogdan Aman, Gabriel Ciobanu:
Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing 2017: 40-53 - [c41]Bogdan Aman, Gabriel Ciobanu:
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS 2017: 155-170 - 2016
- [j12]Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil:
Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15(4): 521-532 (2016) - [j11]Bogdan Aman, Gabriel Ciobanu:
Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. 623: 92-102 (2016) - [c40]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16 - [c39]Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov:
Simulating R Systems by P Systems. Int. Conf. on Membrane Computing 2016: 51-66 - [c38]Bogdan Aman, Gabriel Ciobanu:
Computational Power of Protein Networks. Int. Conf. on Membrane Computing 2016: 103-118 - [i3]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CoRR abs/1602.06043 (2016) - 2015
- [j10]Bogdan Aman, Gabriel Ciobanu:
BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova 23(2): 123-134 (2015) - [j9]Bogdan Aman, Gabriel Ciobanu:
Behavioural observations of cell movements with timing aspects. Nano Commun. Networks 6(3): 96-102 (2015) - [j8]Bogdan Aman, Gabriel Ciobanu:
Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598: 87-101 (2015) - [c37]Bogdan Aman, Gabriel Ciobanu:
Mobility Types for Cloud Computing. EGC 2015: 43-53 - [c36]Bogdan Aman, Gabriel Ciobanu:
Timed Mobility and Timed Communication for Critical Systems. FMICS 2015: 146-161 - [c35]Bogdan Aman, Gabriel Ciobanu:
Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) 2015: 91-108 - [c34]Bogdan Aman, Gabriel Ciobanu:
Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI 2015: 408-418 - [c33]Bogdan Aman, Gabriel Ciobanu:
Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing 2015: 77-91 - [c32]Bogdan Aman, Gabriel Ciobanu:
Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS 2015: 109-120 - 2014
- [c31]Bogdan Aman, Gabriel Ciobanu:
Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. BICT 2014 - [c30]Gabriel Ciobanu, Bogdan Aman:
Computational Power of Chemical Kinetics in Living Cells. BICT 2014 - [c29]Artiom Alhazov, Bogdan Aman, Rudolf Freund, Gheorghe Paun:
Matter and Anti-Matter in Membrane Systems. DCFS 2014: 65-76 - [c28]Artiom Alhazov, Bogdan Aman, Rudolf Freund:
P Systems with Anti-Matter. Int. Conf. on Membrane Computing 2014: 66-85 - [c27]Bogdan Aman, Erzsébet Csuhaj-Varjú, Rudolf Freund:
Red-Green P Automata. Int. Conf. on Membrane Computing 2014: 139-157 - 2013
- [c26]Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna:
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT 2013: 432-443 - [c25]Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes: Computability and Complexity. ICTAC 2013: 59-75 - [c24]Bogdan Aman, Gabriel Ciobanu:
Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing 2013: 88-100 - [c23]Bogdan Aman, Gabriel Ciobanu:
Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops 2013: 29-43 - [c22]Bogdan Aman, Gabriel Ciobanu:
Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM 2013: 31-45 - [c21]Bogdan Aman, Gabriel Ciobanu:
Computational Power of Protein Interaction Networks. UCNC 2013: 248-249 - 2012
- [j7]Bogdan Aman, Gabriel Ciobanu:
Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012) - [c20]Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu:
On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635 - [c19]Bogdan Aman, Gabriel Ciobanu:
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION 2012: 122-136 - [c18]Bogdan Aman, Gabriel Ciobanu, Maciej Koutny:
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66 - [c17]Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing 2012: 128-144 - [c16]Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna:
Timed Catalytic Petri Nets. SYNASC 2012: 319-326 - 2011
- [b1]Bogdan Aman, Gabriel Ciobanu:
Mobility in Process Calculi and Natural Computing. Natural Computing Series, Springer 2011, ISBN 978-3-642-24866-5, pp. 1-194 - [j6]Bogdan Aman, Gabriel Ciobanu:
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica 48(7-8): 409-415 (2011) - [j5]Bogdan Aman, Gabriel Ciobanu:
Mutual mobile membranes with objects on surface. Nat. Comput. 10(2): 777-793 (2011) - [c15]Bogdan Aman, Gabriel Ciobanu:
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life 2011: 138-150 - [c14]Bogdan Aman, Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets. QAPL 2011: 47-60 - [i2]Bogdan Aman:
Spatial Dynamic Structures and Mobility in Computation. CoRR abs/1108.0496 (2011) - [i1]Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu:
Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011(85): 22 (2011) - 2010
- [j4]Bogdan Aman, Gabriel Ciobanu:
Adding Lifetime to Objects and Membranes in P Systems. Int. J. Comput. Commun. Control 5(3): 268-279 (2010) - [j3]Bogdan Aman, Gabriel Ciobanu:
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010) - [c13]Bogdan Aman, Gabriel Ciobanu:
Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187
2000 – 2009
- 2009
- [j2]Bogdan Aman, Gabriel Ciobanu:
Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology 11: 26-44 (2009) - [c12]Bogdan Aman, Gabriel Ciobanu:
Typed Membrane Systems. Workshop on Membrane Computing 2009: 169-181 - [c11]Bogdan Aman, Gabriel Ciobanu:
Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55 - [c10]Bogdan Aman, Gabriel Ciobanu:
Mutual Mobile Membranes with Timers. COMPMOD 2009: 1-15 - 2008
- [j1]Gabriel Ciobanu, Bogdan Aman:
On the relationship between membranes and ambients. Biosyst. 91(3): 515-530 (2008) - [c9]Bogdan Aman, Gabriel Ciobanu:
Timed Mobile Ambients for Network Protocols. FORTE 2008: 234-250 - [c8]Bogdan Aman, Gabriel Ciobanu:
Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151 - [c7]Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. MeCBIC 2008: 97-111 - 2007
- [c6]Bogdan Aman, Gabriel Ciobanu:
Timers and Proximities for Mobile Ambients. CSR 2007: 33-43 - [c5]Bogdan Aman, Gabriel Ciobanu:
Mobile Ambients with Timers and Types. ICTAC 2007: 50-63 - [c4]Bogdan Aman, Gabriel Ciobanu:
On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123 - [c3]Bogdan Aman, Gabriel Ciobanu:
Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81 - [c2]Bogdan Aman, Gabriel Ciobanu:
Describing the Immune System Using Enhanced Mobile Membranes. FBTC@CONCUR 2007: 5-18 - 2006
- [c1]Bogdan Aman, Gabriel Ciobanu:
Translating Mobile Ambients into P Systems. MeCBIC@ICALP 2006: 11-23
Coauthor Index
[j40] [j39] [j37] [j34] [j33] [j32] [j31] [j29] [c51] [c50] [j27] [j26] [c49] [j25] [j24] [j23] [j22] [j21] [c48] [p2] [p1] [i4] [j20] [j19] [c47] [c46] [j18] [c45] [c44] [c43] [j17] [j15] [j14] [j13] [c42] [c41] [j12] [j11] [c40] [c38] [i3] [j10] [j9] [j8] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c26] [c25] [c24] [c23] [c22] [c21] [j7] [c20] [c19] [c18] [c17] [c16] [b1] [j6] [j5] [c15] [c14] [i1] [j4] [j3] [c13] [j2] [c12] [c11] [c10] [j1] [c9] [c8] [c6] [c5] [c4] [c3] [c2] [c1]
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 2025-01-21 00:04 CET 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:
