Timing analysis using propositional satisfiability. - Luís Guerra e Silva; João P. Marques Silva; Luís Miguel Silveira; Karem A. Sakallah (ICECS, 1998)

Algorithms for Solving Boolean Satisfiability in Combinational Circuits. - Luís Guerra e Silva; Luís Miguel Silveira; João Marques-Silva 001 (DATE, 1999)

Satisfiability models and algorithms for circuit delay computation. - Luís Guerra e Silva; João Marques-Silva 001; Luís Miguel Silveira; Karem A. Sakallah (ACM Trans. Design Autom. Electr. Syst., 2002)

Solving Satisfiability in Combinational Circuits. - João Marques-Silva 001; Luís Guerra e Silva (IEEE Des. Test Comput., 2003)

Grid-based statistical timing analysis. - Luís Guerra e Silva; Luís Miguel Silveira (IADIS AC, 2005)

Variation-Aware, Library Compatible Delay Modeling Strategy. - Luís Guerra e Silva; Zhenhai Zhu; Joel R. Phillips; L. Miguel Silveira (VLSI-SoC, 2006)

Library Compatible Variational Delay Computation. - Luís Guerra e Silva; Zhenhai Zhu; Joel R. Phillips; L. Miguel Silveira (VLSI-SoC (Selected Papers), 2006)

Efficient computation of the worst-delay corner. - Luís Guerra e Silva; Luís Miguel Silveira; Joel R. Phillips (DATE, 2007)

Speedpath analysis under parametric timing models. - Luís Guerra e Silva; Joel R. Phillips; L. Miguel Silveira (DAC, 2010)

Effective Corner-Based Techniques for Variation-Aware IC Timing Verification. - Luís Guerra e Silva; Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Handling intra-die variations in PSTA. - Luís Guerra e Silva; Luís Miguel Silveira (ACM Great Lakes Symposium on VLSI, 2011)

Unifying functional and parametric timing verification. - Luís Guerra e Silva (ACM Great Lakes Symposium on VLSI, 2012)

TAU 2013 variation aware timing analysis contest. - Debjit Sinha; Luís Guerra e Silva; Jia Wang; Shesha Raghunathan; Dileep Netrabile; Ahmed Shebaita (ISPD, 2013)

EUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS. - Fabio Pavanello; Cédric Marchand 002; Ian O'Connor; Régis Orobtchouk; Fabien Mandorlo; Xavier Letartre; Sébastien Cueff; Elena-Ioana Vatajelu; Giorgio Di Natale; Benoit Cluzel; Aurelien Coillet; Benoît Charbonnier; et al. (ETS, 2023)

NEUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS. - Fabio Pavanello; Cédric Marchand 002; Ian O'Connor; Régis Orobtchouk; Fabien Mandorlo; Xavier Letartre; Sébastien Cueff; Elena-Ioana Vatajelu; Giorgio Di Natale; Benoit Cluzel; Aurelien Coillet; Benoît Charbonnier; et al. (CoRR, 2023)