Login / Signup
Lucas Gomes
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Intuitionistic Logic
Natural Deduction
Student Modelling
Network Management
Top Venues
SBQS
Intelligent Tutoring Systems
ICIN
</>
Publications
</>
Enrico Ferrera
,
Davide Conzon
,
Paolo Brizzi
,
Lucas Gomes
,
Marc Jentsch
,
Peeter Kool
XMPP-based Network Management Infrastructure for Agile IoT Application Deployment and Configuration.
ICIN
(2016)
Mirian Souza
,
Ellen Barroso
,
Andréia Vieira
,
Adriane Almeida
,
Lucas Gomes
,
Arilo Dias Neto
Contribuições à Qualidade de um Produto com Testadores de Diferentes Perfis: Um Relato de Experiência.
SBQS
(2014)
João Carlos Gluz
,
Fabiane Penteado
,
Marcel Mossmann
,
Lucas Gomes
,
Rosa Vicari
A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning.
Intelligent Tutoring Systems
(2014)