( en | de | ru )

 

Disambiguierung von "Pradella, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Picture Languages: From Wang Tiles to 2D Grammars.

, und . CAI, Volume 5725 von Lecture Notes in Computer Science, Seite 13-46. Springer, (2009)

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.

Bernhard Pradella

Silke Pradella

Lothar Pradella

Jens Pradella

Harald Pradella

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , und . SOFSEM, Volume 7741 von Lecture Notes in Computer Science, Seite 307-318. Springer, (2013)A formal approach for designing CORBA based applications., , , und . ICSE, Seite 188-197. ACM, (2000)ContextErlang: introducing context-oriented programming in the actor model., , und . AOSD, Seite 191-202. ACM, (2012)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , und . TIME, Seite 43-50. IEEE Computer Society, (2010)SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability., , , , und . SEFM, Seite 244-254. IEEE Computer Society, (2010)An Automatic Approach to Enable Replacement of Conversational Services., , und . ICSOC/ServiceWave, Volume 5900 von Lecture Notes in Computer Science, Seite 159-174. (2009)Picture languages: Tiling systems versus tile rewriting grammars., , , und . Theor. Comput. Sci., 356 (1-2): 90-103 (2006)Deterministic recognizability of picture languages by Wang automata., und . ICTCS, Seite 150-154. (2009)Deterministic recognizability of picture languages with Wang automata, und . Discrete Mathematics & Theoretical Computer Science, 12 (4): 73--94 (2010)The PAPAGENO Parallel-Parser Generator., , , , und . CC, Volume 8409 von Lecture Notes in Computer Science, Seite 192-196. Springer, (2014)