Radu Nicolescu

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 25

Top Topics

Formal Verification

Complex Objects

Travelling Salesman

Top Venues

J. Membr. Comput.

Int. Conf. on Membrane Computing

Fundam. Informaticae

Publications

Nicoló Civiero, Alec Henderson, Thomas Hinze, Radu Nicolescu, Claudio Zandron
Implementing perceptrons by means of water-based computing. J. Membr. Comput. 6 (1) (2024)
Michael J. Dinneen, Alec Henderson, Radu Nicolescu
Sublinear P system solutions to NP-complete problems. Theor. Comput. Sci. 958 (2023)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze
Programmable and parallel water computing. J. Membr. Comput. 5 (1) (2023)
Yezhou Liu, Radu Nicolescu, Jing Sun
Towards automated deduction in cP systems. Inf. Sci. 587 (2022)
Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang
cPV - Simulation and Verification for Membrane Computing. QRS (2022)
Radu Nicolescu, Michael J. Dinneen, James Cooper, Alec Henderson, Yezhou Liu
Logarithmic SAT Solution with Membrane Computing. Axioms 11 (1) (2022)
James Cooper, Radu Nicolescu
Neighbourhood message passing computation on a lattice with cP systems. J. Membr. Comput. 4 (2) (2022)
Yezhou Liu, Radu Nicolescu, Jing Sun
An efficient labelled nested multiset unification algorithm. J. Membr. Comput. 3 (3) (2021)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze
Turing completeness of water computing. J. Membr. Comput. 3 (3) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun
Formal verification of cP systems using Coq. J. Membr. Comput. 3 (3) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson
A Sublinear Sudoku Solution in cP Systems and its Formal Verification. Comput. Sci. J. Moldova 29 (1) (2021)
Thomas Hinze, Hendrik Happe, Alec Henderson, Radu Nicolescu
Membrane computing with water. J. Membr. Comput. 2 (2) (2020)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen
Solving a PSPACE-complete problem with cP systems. J. Membr. Comput. 2 (4) (2020)
Yezhou Liu, Radu Nicolescu, Jing Sun
Formal verification of cP systems using PAT3 and ProB. J. Membr. Comput. 2 (2) (2020)
James Cooper, Radu Nicolescu
Alternative representations of P systems solutions to the graph colouring problem. J. Membr. Comput. 1 (2) (2019)
James Cooper, Radu Nicolescu
The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems. Fundam. Informaticae 164 (2-3) (2019)
Alec Henderson, Radu Nicolescu
Actor-Like cP Systems. Int. Conf. on Membrane Computing (2018)
Radu Nicolescu, Alec Henderson
An Introduction to cP Systems. Enjoying Natural Computing (2018)
Radu Nicolescu
Most Common Words - A cP Systems Solution. Int. Conf. on Membrane Computing (2017)
Dongwei Liu, Radu Nicolescu, Reinhard Klette
Stereo-based bokeh effects for photography. Mach. Vis. Appl. 27 (8) (2016)
Haokun Geng, Hsiang-Jen Chien, Radu Nicolescu, Reinhard Klette
Visual Odometry in Dynamic Environments with Geometric Multi-layer Optimisation. Australasian Conference on Artificial Intelligence (2016)
Radu Nicolescu
Revising the Membrane Computing Model for Byzantine Agreement. Int. Conf. on Membrane Computing (2016)
Dongwei Liu, Radu Nicolescu, Reinhard Klette
Bokeh Effects Based on Stereo Vision. CAIP (1) (2015)
Haokun Geng, Hsiang-Jen Chien, Radu Nicolescu, Reinhard Klette
Egomotion Estimation and Reconstruction with Kalman Filters and GPS Integration. CAIP (1) (2015)
Radu Nicolescu
Structured Grid Algorithms Modelled with Complex Objects. Int. Conf. on Membrane Computing (2015)
Michal Daniluk, Mahdi Rezaei, Radu Nicolescu, Reinhard Klette
Eye Status Based on Eyelid Detection: A Driver Assistance System. ICCVG (2014)
Radu Nicolescu
Parallel Thinning with Complex Objects and Actors. Int. Conf. on Membrane Computing (2014)
Haokun Geng, Radu Nicolescu, Reinhard Klette
Egomotion Estimation by Point-Cloud Back-Mapping. ICCVG (2014)
Radu Nicolescu, Dragos Vaida
Indexed Grammars, ET0L Systems and Programming Languages. Discrete Mathematics and Computer Science (2014)
Radu Nicolescu, Georgy L. Gimel'farb, John Morris, Patrice Delmas, Rui Gong
Regularising Ill-posed Discrete Optimisation: Quests with P Systems. Fundam. Informaticae 131 (3-4) (2014)
Rui Gong, Georgy L. Gimel'farb, Radu Nicolescu, Patrice Delmas
Towards structural analysis of solution spaces for ill-posed discrete 1D optimisation problems. IVCNZ (2013)
Georgy L. Gimel'farb, Radu Nicolescu, Sharvin Ragavan
P System Implementation of Dynamic Programming Stereo. J. Math. Imaging Vis. 47 (1-2) (2013)
Radu Nicolescu, Florentin Ipate, Huiling Wu
Programming P Systems with Complex Objects. Int. Conf. on Membrane Computing (2013)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
Faster synchronization in P systems. Nat. Comput. 11 (1) (2012)
Georgy L. Gimel'farb, Rui Gong, Radu Nicolescu, Patrice Delmas
Concurrent propagation for solving ill-posed problems of global discrete optimisation. ICPR (2012)
Hossam ElGindy, Radu Nicolescu, Huiling Wu
Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs. Int. Conf. on Membrane Computing (2012)
Radu Nicolescu, Huiling Wu
New solutions for disjoint paths in P systems. Nat. Comput. 11 (4) (2012)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
An Adaptive Algorithm for P System Synchronization. Int. Conf. on Membrane Computing (2011)
Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan
Synchronization of P Systems with Simplex Channels CoRR (2011)
Radu Nicolescu, Huiling Wu
BFS Solution for Disjoint Paths in P Systems. UC (2011)
Tudor Balanescu, Radu Nicolescu, Huiling Wu
Asynchronous P Systems. Int. J. Nat. Comput. Res. 2 (2) (2011)
Georgy L. Gimel'farb, Radu Nicolescu, Sharvin Ragavan
P Systems in Stereo Matching. CAIP (2) (2011)
Claudia Gheorghiu, Radu Nicolescu, Andrei Vasile Bogdan, Cristian Ochisor, Sabin C. Buraga, Lenuta Alboaie
SIGMA - SemantIc Government Mash-Up Application: Using Semantic Web Technologies to Provide Access to Governmental Data. ISPDC (2011)
Haokun Geng, James C. Russell, Bok-Suk Shin, Radu Nicolescu, Reinhard Klette
A Flexible Method for Localisation and Classification of Footprints of Small Species. PSIVT (2) (2011)
Radu Nicolescu
Parallel and Distributed Algorithms in P Systems. Int. Conf. on Membrane Computing (2011)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
A Faster P Solution for the Byzantine Agreement Problem. Int. Conf. on Membrane Computing (2010)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
Edge- and Node-Disjoint Paths in P Systems MeCBIC (2010)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
Towards Structured Modelling with Hyperdag P Systems. Int. J. Comput. Commun. Control 5 (2) (2010)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
Synchronization in P Modules. UC (2010)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
P systems and the Byzantine agreement. J. Log. Algebraic Methods Program. 79 (6) (2010)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems MeCBIC (2009)
Radu Nicolescu, Michael J. Dinneen, Yun-Bum Kim
Discovering the Membrane Topology of Hyperdag P Systems. Workshop on Membrane Computing (2009)
Mark R. Titchener, Radu Nicolescu, Ludwig Staiger, T. Aaron Gulliver, Ulrich Speidel
Deterministic Complexity and Entropy. Fundam. Informaticae 64 (1-4) (2005)
John C. Grundy, Zhong Wei, Radu Nicolescu, Yuhong Cai
An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures. Australian Software Engineering Conference (2004)
Ileana Costea, Ulrich Günther, Radu Nicolescu
Coping with file formats on the Internet. Comput. Commun. 20 (16) (1998)
Ulrich Günther, Peter Hertling, Radu Nicolescu, Mark R. Titchener
Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders. J. Univers. Comput. Sci. 3 (11) (1997)
Radu Nicolescu
Some short comments on the definition and the documentation of the ADA programming language. ACM SIGPLAN Notices 15 (7-8) (1980)