( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Automatic Approach to Enable Replacement of Conversational Services.

, , и . ICSOC/ServiceWave, том 5900 из Lecture Notes in Computer Science, стр. 159-174. (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bernhard Pradella

Silke Pradella

Lothar Pradella

Harald Pradella

Jens Pradella

 

Другие публикации лиц с тем же именем

ContextErlang: introducing context-oriented programming in the actor model., , и . AOSD, стр. 191-202. ACM, (2012)A formal approach for designing CORBA based applications., , , и . ICSE, стр. 188-197. ACM, (2000)Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , и . SOFSEM, том 7741 из Lecture Notes in Computer Science, стр. 307-318. Springer, (2013)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , и . TIME, стр. 43-50. IEEE Computer Society, (2010)SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability., , , , и . SEFM, стр. 244-254. IEEE Computer Society, (2010)An Automatic Approach to Enable Replacement of Conversational Services., , и . ICSOC/ServiceWave, том 5900 из Lecture Notes in Computer Science, стр. 159-174. (2009)Picture languages: Tiling systems versus tile rewriting grammars., , , и . Theor. Comput. Sci., 356 (1-2): 90-103 (2006)The PAPAGENO Parallel-Parser Generator., , , , и . CC, том 8409 из Lecture Notes in Computer Science, стр. 192-196. Springer, (2014)Efficient analysis of event processing applications., , , и . DEBS, стр. 10-21. ACM, (2015)Towards More Expressive 2D Deterministic Automata., и . CIAA, том 6807 из Lecture Notes in Computer Science, стр. 225-237. Springer, (2011)