( en | de | ru )

 

Disambiguierung von "Pradella, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Security-Enhanced Linux Policy Specifications.

, , und . POLICY, Seite 158-. IEEE Computer Society, (2003)

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

Harald Pradella

Jens Pradella

 

Weitere Publikationen von Autoren mit dem selben Namen

ContextErlang: introducing context-oriented programming in the actor model., , und . AOSD, Seite 191-202. ACM, (2012)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)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)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , und . TIME, Seite 43-50. 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)Deterministic recognizability of picture languages by Wang automata., und . ICTCS, Seite 150-154. (2009)Picture languages: Tiling systems versus tile rewriting grammars., , , und . Theor. Comput. Sci., 356 (1-2): 90-103 (2006)The PAPAGENO Parallel-Parser Generator., , , , und . CC, Volume 8409 von Lecture Notes in Computer Science, Seite 192-196. Springer, (2014)Efficient analysis of event processing applications., , , und . DEBS, Seite 10-21. ACM, (2015)