( en | de | ru )

 

Disambiguierung von "Szpyrka, Marcin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Labelled Transition System Generation from Alvis Language.

, , und . KES (1), Volume 6881 von Lecture Notes in Computer Science, Seite 180-189. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcin Wlodarski

Marcin Wlodarczak

Marcin Teodorczyk

Marcin Siatkowski

Marcin Tysiac

 

Weitere Publikationen von Autoren mit dem selben Namen

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration., , , , , , , und . MCSS, Volume 149 von Communications in Computer and Information Science, Seite 268-276. Springer, (2011)Simulation of Multi-agent Systems with Alvis Toolkit., , , und . ICAISC (2), Volume 10246 von Lecture Notes in Computer Science, Seite 599-608. Springer, (2017)Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation., , und . CS&P, Volume 1032 von CEUR Workshop Proceedings, Seite 409-420. CEUR-WS.org, (2013)Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems., und . Software Engineering: Evolution and Emerging Technologies, Volume 130 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2005)Reduction of Tabular Systems., und . ICAISC, Volume 3070 von Lecture Notes in Computer Science, Seite 903-908. Springer, (2004)Verification of Automatic Train Protection Systems with RTCP-Nets., und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2006)Network Anomaly Detection Using Parameterized Entropy., , , und . CISIM, Volume 8838 von Lecture Notes in Computer Science, Seite 465-478. Springer, (2014)Formal Modelling and Verification of Concurrent Systems with XCCS., und . ISPDC, Seite 454-458. IEEE Computer Society, (2008)Snapshot Reachability Graphs for Alvis Models., und . KES (1), Volume 6881 von Lecture Notes in Computer Science, Seite 190-199. Springer, (2011)Extracting of temporal patterns from data for hierarchical classifiers construction., , , und . CYBCONF, Seite 330-335. IEEE, (2015)