"Logic-based learning in software engineering" (2016) Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016:892-893

"From mockups to user interface models: An extensible model driven approach" (2010) Rivero, J.M.;Rossi, G.;Grigera, J. (...)Gordillo, S. 10th International Conference on Web Engineering, ICWE 2010. 6385 LNCS:13-24

"DKAL and Z3: A logic embedding experiment" (2010) Mera, S.; Bjørner, N. 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010. 6300 LNCS:504-528

"A simple linear time algorithm for the isomorphism problem on proper circular-arc graphs" (2008) Lin, M.C.; Soulignac, F.J.; Szwarcfiter, J.L. 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008. 5124 LNCS:355-366

"6th international workshop on scenarios and state machines: Models, algorithms, and tools (SCESM07)" (2007) Grieskamp, W.; Kicillof, N. 29th International Conference on Software Engineering, ICSE 2007:129-130