Concepedia

Gabriel Ciobanu

GC

34

Publications

784

Citations

16

H-Index

2002

Active since

Affiliations

Romanian Academy(Current)

Alexandru Ioan Cuza University

National University of Singapore

Technical University of Cluj-Napoca

Universidad de Sevilla

Gabriel Ciobanu is an author at Romanian Academy specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringBiophysicsMembrane SystemsMedicineSemantics

Publications per year

2002–2020

34

Publications

34

P systems with minimal parallelism

Gabriel Ciobanu, Linqiang Pan, Gheorghe Pǎun et al. · Theoretical Computer Science · 2007 · 110 citations

Engineering, Parallel Problem Solving, Parallel Complexity Theory +7

A rewriting logic framework for operational semantics of membrane systems

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu · Theoretical Computer Science · 2006 · 65 citations

Computational Logic, Engineering, Operational Semantics +9

Molecular interaction

Gabriel Ciobanu, Mihai Rotaru · Theoretical Computer Science · 2002 · 48 citations

Timers for Distributed Systems

Gabriel Ciobanu, Cristian Prisacariu · Electronic Notes in Theoretical Computer Science · 2006 · 41 citations · Full text

Availability, Engineering, Real-time System Design +13

Distributed algorithms over communicating membrane systems

Gabriel Ciobanu · Biosystems · 2003 · 40 citations

Engineering, Distributed Algorithms, Membrane Computing +6

Rows per page

1–5 of 34