( en | de | ru )

 

Disambiguation of "Martini, Simone"

Author of the publication

copydeleteadd this publication to your clipboard
Proof nets, garbage, and computations.

, , and . Theor. Comput. Sci., 253 (2): 185-237 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Simone Martini

Horst Martini

Norbert Martini

Stephan Martini

Claudia Martini

 

Other publications of authors with the same name

An Extension of System F with Subtyping., , , and . TACS, volume 526 of Lecture Notes in Computer Science, page 750-770. Springer, (1991)Problem Solving Olympics: An Inclusive Education Model for Learning Informatics., , , , , and . ISSEP, volume 11169 of Lecture Notes in Computer Science, page 319-335. Springer, (2018)Correction to the Euler Lagrange Multirotor Model with Euler Angles Generalized Coordinates., , , , and . J. Intell. Robotic Syst., 110 (1): 17 (March 2024)Controllability decompositions of networked systems through quotient graphs., , and . CDC, page 5244-5249. IEEE, (2008)Identification of distributed systems with logical interaction structure., , , and . CDC, page 5228-5233. IEEE, (2012)Derivational Complexity Is an Invariant Cost Model., and . FOPARA, volume 6324 of Lecture Notes in Computer Science, page 100-113. Springer, (2009)Typing Lambda Terms in Elementary Logic with Linear Constraints., and . TLCA, volume 2044 of Lecture Notes in Computer Science, page 76-90. Springer, (2001)A self-routing protocol for distributed consensus on logical information., , , and . IROS, page 5151-5156. IEEE, (2010)An Invariant Cost Model for the Lambda Calculus., and . CiE, volume 3988 of Lecture Notes in Computer Science, page 105-114. Springer, (2006)Is Type Checking Practical for System Configuration?, , and . TAPSOFT, Vol.2, volume 352 of Lecture Notes in Computer Science, page 257-271. Springer, (1989)