Autor der Publikation

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.

Keine Personen gefunden für den Autorennamen Braga, Christiano
Eine Person hinzufügen mit dem Namen Braga, Christiano
 

Weitere Publikationen von Autoren mit dem selben Namen

Maude MSOS Tool., und . Electr. Notes Theor. Comput. Sci., 176 (4): 133-146 (2007)Special issue: LSFA'06.. J. Algorithms, 62 (3-4): 93-94 (2007)Consistency of model transformation contracts., , und . Sci. Comput. Program., (2014)Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata.. CoRR, (2018)Detecting indirect conflicts between access control policies., , und . SAC, Seite 1570-1572. ACM, (2016)Some Tools., , , , , , , , , und 5 andere Autor(en). All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Meaningful Models - A Research Agenda on Model-Driven Engineering -., und . SBMF, Volume 8195 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2013)Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case., und . SBMF, Volume 9526 von Lecture Notes in Computer Science, Seite 74-89. Springer, (2015)Modular Structural Operational Semantics with Strategies., und . Electron. Notes Theor. Comput. Sci., 175 (1): 3-17 (2007)Brazilian Symposium on Programming Languages (SBLP 2011)., und . Sci. Comput. Program., (2014)