Search results for: Luca Cardelli
BMC Systems Biology > 2018 > 12 > 1 > 1-14
Natural Computing > 2018 > 17 > 4 > 761-779
Natural Computing > 2018 > 17 > 1 > 109-130
Natural Computing > 2018 > 17 > 1 > 131-145
Biosystems > 2016 > 149 > C > 26-33
Lecture Notes in Computer Science > Theoretical Aspects of Computer Software > Invited Talk 1 > 1-37
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 216-230
Lecture Notes in Computer Science > ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 > Invited Talk > 145-167
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B5: Logic in Computer Science > 380-391
Lecture Notes in Computer Science > ECOOP 2007 – Object-Oriented Programming > Dahl-Nygaard Prize Invited Talk > 201-201
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 212-226
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Invited Contributions > 257-278