Modelling and verification of weighted spiking neural systems (Q264538): Difference between revisions

@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WebPS
@@ Property / describes a project that uses: WebPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.11.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2122133822
@@ Property / OpenAlex ID: W2122133822 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating Mobile Ambients into P Systems
@@ Property / cites work: Translating Mobile Ambients into P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Describing the Immune System Using Enhanced Mobile Membranes
+Normal rank
@@ Property / cites work @@
+Simple, Enhanced and Mutual Mobile Membranes
@@ Property / cites work: Simple, Enhanced and Mutual Mobile Membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of enhanced mobile membranes via coloured Petri nets
+Normal rank
@@ Property / cites work @@
+Verification of membrane systems with delays via Petri nets with delays
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Unconventional Computation
@@ Property / cites work: Unconventional Computation / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Enhanced mobile membranes: computability results
@@ Property / cites work: Enhanced mobile membranes: computability results / rank @@
+Normal rank
@@ Property / cites work @@
+P transducers
@@ Property / cites work: P transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480659
@@ Property / cites work: Q5480659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2969106
@@ Property / cites work: Q2969106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348471
@@ Property / cites work: Q4348471 / rank @@
+Normal rank
@@ Property / cites work @@
+Tissue P systems.
@@ Property / cites work: Tissue P systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing neurobiological models using communicating automata
+Normal rank