Login / Signup
David Barroso
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Unsupervised Classification
Modulo Theories
Valued Logic
Truth Values
Top Venues
CLEI
SUM
CISIS/ICEUTE/SOCO Special Sessions
</>
Publications
</>
Teresa Alsinet
,
David Barroso
,
Ramón Béjar
,
Félix Bou
,
Marco Cerami
,
Francesc Esteva
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
SUM
(2013)
Felix Brezo
,
José Gaviria de la Puerta
,
Igor Santos
,
David Barroso
,
Pablo García Bringas
C&C Techniques in Botnet Development.
CISIS/ICEUTE/SOCO Special Sessions
(2012)
Felix Brezo
,
José Gaviria de la Puerta
,
Xabier Ugarte-Pedrero
,
Igor Santos
,
Pablo García Bringas
,
David Barroso
Supervised classification of packets coming from a HTTP botnet.
CLEI
(2012)
Teresa Alsinet
,
David Barroso
,
Ramón Béjar
,
Jordi Planes
A Formal Model of Competence-Based Assessment.
CCIA
(2009)