( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using domain specific languages to instantiate object-oriented frameworks.

, , , и . IEE Proc. Softw., 147 (4): 109-116 (2000)

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.

Marcílio Mendonça

Jeronimo Mendonça

Pedro ˜deœ Almeida Moura

Nelson Mendonça Mattos

Wilson Pessoa-Mendonça

 

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

The ICS Decision Procedures for Embedded Deduction., , , , и . IJCAR, том 3097 из Lecture Notes in Computer Science, стр. 218-222. Springer, (2004)O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet., и . RITA, 4 (2): 59-78 (1997)Satisfiability modulo theories: introduction and applications., и . Commun. ACM, 54 (9): 69-77 (2011)Deciding Effectively Propositional Logic Using DPLL and Substitution Sets., , и . J. Autom. Reason., 44 (4): 401-424 (2010)Simulation and verification I: from simulation to verification (and back)., и . WSC, стр. 888-896. IEEE Computer Society, (2003)μZ- An Efficient Engine for Fixed Points with Constraints., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 457-462. Springer, (2011)Model-Driven Decision Procedures for Arithmetic., и . SYNASC, стр. 11. IEEE Computer Society, (2013)Tapas: Theory Combinations and Practical Applications., и . FORMATS, том 5813 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2009)Efficiently solving quantified bit-vector formulas., , и . FMCAD, стр. 239-246. IEEE, (2010)Model-based Theory Combination., и . SMT@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 37-49. Elsevier, (2007)