Bruno Conchinha

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Image Segmentation

Top Venues

Publications

Bruno Conchinha, David A. Basin, Carlos Caleiro
Symbolic Probabilistic Analysis of Off-Line Guessing. ESORICS (2013)
Bruno Conchinha, David A. Basin, Carlos Caleiro
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA (2011)
Bruno Conchinha, David A. Basin, Carlos Caleiro
Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust (2010)