In: Development, 2014, vol. 141, no. 9, p. 1857-1863
The CXCL12/CXCR4 signaling pathway is involved in the development of numerous neuronal and non-neuronal structures. Recent work established that the atypical second CXCL12 receptor, CXCR7, is essential for the proper migration of interneuron precursors in the developing cerebral cortex. Two CXCR7-mediated functions were proposed in this process: direct modulation of β-arrestin-mediated...
|
In: Software Quality Journal, 2011, vol. 19, no. 4, p. 801-839
|
In: Blood, 2020, vol. 137, no. 10, p. 1365–1376
Chronic lymphocytic leukemia (CLL) is characterized by the existence of subsets of patients with (quasi)identical, stereotyped B cell receptor immunoglobulins (BcR IG). Patients in certain major stereotyped subsets often display remarkably consistent clinicobiological profiles, suggesting that the study of BcR IG stereotypy in CLL has important implications for understanding disease...
|
Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO002.
The emergence of the long-tail in the market of software applications is shifting the role of end-users from mere consumers to becoming developers of applications addressing their unique, personal, and transient needs. On the Web, a popular form of such applications is called mashup, built out of the lightweight composition of Web APIs (reusable software components delivered as a service...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO014.
Despite the undeniable practical benefits of documentation during software development and evolution activities, its creation and maintenance is often neglected, leading to inadequate and even inexistent documentation. Thus, it is not unusual for developers to deal with unfamiliar code they have difficulties in comprehending. Browsing the official documentation, or accessing online resources,...
|
In: Journal of Automated Reasoning, 2015, vol. 54, no. 4, p. 327-352
|
In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 63-109
|
Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO003.
Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...
|
In: Journal für die reine und angewandte Mathematik (Crelles Journal), 2012, vol. 2012, no. 666, p. 83-113
|
In: Random Operators and Stochastic Equations, 2004, vol. 12, no. 4, p. 313-318
|