Radu Nicolescu

Theor. Comput. Sci., May, 2023

Programmable and parallel water computing.

[BibT_eX]

[DOI]

J. Membr. Comput., March, 2023

2022

Neighbourhood message passing computation on a lattice with cP systems.

[BibT_eX]

[DOI]

James Cooper

J. Membr. Comput., 2022

Towards automated deduction in cP systems.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Logarithmic SAT Solution with Membrane Computing.

[BibT_eX]

[DOI]

Axioms, 2022

cPV - Simulation and Verification for Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Formal verification of cP systems using Coq.

[BibT_eX]

[DOI]

J. Membr. Comput., 2021

An efficient labelled nested multiset unification algorithm.

[BibT_eX]

[DOI]

J. Membr. Comput., 2021

Turing completeness of water computing.

[BibT_eX]

[DOI]

J. Membr. Comput., 2021

A Sublinear Sudoku Solution in cP Systems and its Formal Verification.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2021

2020

Formal verification of cP systems using PAT3 and ProB.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

Membrane computing with water.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

Solving a PSPACE-complete problem with cP systems.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

2019

Alternative representations of P systems solutions to the graph colouring problem.

[BibT_eX]

[DOI]

James Cooper

J. Membr. Comput., 2019

The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems.

[BibT_eX]

[DOI]

James Cooper

Fundam. Informaticae, 2019

2018

Actor-Like cP Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2018

An Introduction to cP Systems.

[BibT_eX]

[DOI]

Proceedings of the Enjoying Natural Computing, 2018

2017

Most Common Words - A cP Systems Solution.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

2016

Stereo-based bokeh effects for photography.

[BibT_eX]

[DOI]

Dongwei Liu

Reinhard Klette

Mach. Vis. Appl., 2016

Revising the Membrane Computing Model for Byzantine Agreement.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Visual Odometry in Dynamic Environments with Geometric Multi-layer Optimisation.

[BibT_eX]

[DOI]

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

Structured Grid Algorithms Modelled with Complex Objects.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Bokeh Effects Based on Stereo Vision.

[BibT_eX]

[DOI]

Dongwei Liu

Reinhard Klette

Proceedings of the Computer Analysis of Images and Patterns, 2015

Egomotion Estimation and Reconstruction with Kalman Filters and GPS Integration.

[BibT_eX]

[DOI]

Proceedings of the Computer Analysis of Images and Patterns, 2015

2014

Regularising Ill-posed Discrete Optimisation: Quests with P Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Parallel Thinning with Complex Objects and Actors.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2014

Egomotion Estimation by Point-Cloud Back-Mapping.

[BibT_eX]

[DOI]

Haokun Geng

Reinhard Klette

Proceedings of the Computer Vision and Graphics - International Conference, 2014

Eye Status Based on Eyelid Detection: A Driver Assistance System.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision and Graphics - International Conference, 2014

Indexed Grammars, ET0L Systems and Programming Languages.

[BibT_eX]

Dragos Vaida

Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

2013

P System Implementation of Dynamic Programming Stereo.

[BibT_eX]

[DOI]

Georgy L. Gimel'farb

Sharvin Ragavan

J. Math. Imaging Vis., 2013

Programming P Systems with Complex Objects.

[BibT_eX]

[DOI]

Florentin Ipate

Proceedings of the Membrane Computing, 2013

Towards structural analysis of solution spaces for ill-posed discrete 1D optimisation problems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Image and Vision Computing New Zealand, 2013

2012

New solutions for disjoint paths in P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2012

Faster synchronization in P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2012

Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs.

[BibT_eX]

[DOI]

Hossam ElGindy

Proceedings of the Membrane Computing, 2012

Concurrent propagation for solving ill-posed problems of global discrete optimisation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Pattern Recognition, 2012

2011

Asynchronous P Systems.

[BibT_eX]

[DOI]

Tudor Balanescu

Int. J. Nat. Comput. Res., 2011

Synchronization of P Systems with Simplex Channels

[BibT_eX]

[DOI]

Florentin Ipate

Ionut-Mihai Niculescu

Cristian Stefan

CoRR, 2011

BFS Solution for Disjoint Paths in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation - 10th International Conference, 2011

A Flexible Method for Localisation and Classification of Footprints of Small Species.

[BibT_eX]

[DOI]

Proceedings of the Advances in Image and Video Technology - 5th Pacific Rim Symposium, 2011

Parallel and Distributed Algorithms in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

An Adaptive Algorithm for P System Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

SIGMA - SemantIc Government Mash-Up Application: Using Semantic Web Technologies to Provide Access to Governmental Data.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

P Systems in Stereo Matching.

[BibT_eX]

[DOI]

Georgy L. Gimel'farb

Sharvin Ragavan

Proceedings of the Computer Analysis of Images and Patterns, 2011

2010

P systems and the Byzantine agreement.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Towards Structured Modelling with Hyperdag P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2010

Edge- and Node-Disjoint Paths in P Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Synchronization in P Modules.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation - 9th International Conference, 2010

A Faster P Solution for the Byzantine Agreement Problem.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

2009

New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Discovering the Membrane Topology of Hyperdag P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

2005

Deterministic Complexity and Entropy.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

2004

An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

1998

Coping with file formats on the Internet.

[BibT_eX]

[DOI]

Ileana Costea

Ulrich Günther

Comput. Commun., 1998

1997

Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1997

1980

Some short comments on the definition and the documentation of the ADA programming language.

[BibT_eX]

[DOI]