The paper “Dynamics of defensive and malicious worm co-propagation across networked systems”, co-authored by LASIGE’s integrated researcher Andreia Sofia Teixeira, was published in the journal Chaos, Solitons & Fractals (SCIMAGO Q1). The research explores how the...
LASIGE researcher Rúben Gouveia has successfully obtained funding for his AmbiAccess project, through the FCT’s PEX exploratory call. Health tracking through smartphones and wearables is increasingly common, but much of it still assumes visual interaction –...
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Type-Safe, Hypermedia-First DSL for Backend-Driven...
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Automata Learning for Computer Networks Speakers:...