Publications

Found 3 results

Author [ Title] Type Year

Filters: Author is Soares, Pedro  [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 

L

[2017-20] Soares P. The Lifting Bifurcation Problem on Feed-Forward Networks .Edit

R

Soares P, Ravara A, de Sousa SM. Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit

S

Soares P. Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit