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

@@ Property / Mathematics Subject Classification ID @@
+Q05
@@ Property / Mathematics Subject Classification ID: 68Q05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6561603
@@ Property / zbMATH DE Number: 6561603 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+spiking neural P systems
@@ Property / zbMATH Keywords: spiking neural P systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted synapses
@@ Property / zbMATH Keywords: weighted synapses / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+networks of timed automata
@@ Property / zbMATH Keywords: networks of timed automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking software tools
@@ Property / zbMATH Keywords: model checking software tools / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57936278
@@ Property / Wikidata QID: Q57936278 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P-Lingua
@@ Property / describes a project that uses: P-Lingua / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:264538