Bogdan Aman
Orcid: 0000-0001-7649-8181
According to our database1,
Bogdan Aman
authored at least 96 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing.
Comput. Sci. J. Moldova, 2024
2023
Theor. Comput. Sci., September, 2023
Nat. Comput., March, 2023
2022
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu.
Theor. Comput. Sci., 2022
J. Log. Comput., 2022
Inf. Comput., 2022
Proceedings of the Logic, Language, Information, and Computation, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022
2021
Inf. Sci., 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
J. Membr. Comput., 2020
Int. J. Neural Syst., 2020
Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020
2019
ACM Trans. Comput. Log., 2019
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
2018
Proceedings of the 14th European Dependable Computing Conference, 2018
Proceedings of the Enjoying Natural Computing, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Int. J. Crit. Comput. Based Syst., 2017
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.
Fundam. Informaticae, 2017
Acta Informatica, 2017
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017
Proceedings of the Membrane Computing, 2017
2016
Theor. Comput. Sci., 2016
Nat. Comput., 2016
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Theor. Comput. Sci., 2015
Nano Commun. Networks, 2015
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015
Proceedings of the Membrane Computing, 2015
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015
Proceedings of the 11th International Conference on ICT in Education, 2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015
2014
Proceedings of the Descriptional Complexity of Formal Systems, 2014
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014
Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes.
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014
2013
Proceedings of the Unconventional Computation and Natural Computation, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Proceedings of the Membrane Computing, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.
Proceedings of the Distributed Computing and Internet Technology, 2013
2012
Inf. Process. Lett., 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the Membrane Computing, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Proceedings of the How the World Computes, 2012
2011
Natural Computing Series, Springer, ISBN: 978-3-642-24866-5, 2011
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems.
Acta Informatica, 2011
Proceedings of the Computation, 2011
2010
Scholarpedia, 2010
Int. J. Comput. Commun. Control, 2010
Proceedings of the Unconventional Computation - 9th International Conference, 2010
2009
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009
Proceedings of the Unconventional Computation, 8th International Conference, 2009
Proceedings of the Membrane Computing, 10th International Workshop, 2009
2008
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
Proceedings of the SYNASC 2008, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Proceedings of the Membrane Computing, 8th International Workshop, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Computer Science, 2007
2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006