PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Coglio, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
The OMRS project: state of the art.

, , and . Electr. Notes Theor. Comput. Sci., (1998)

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.

No persons found for author name Coglio, Alessandro
add a person with the name Coglio, Alessandro
 

Other publications of authors with the same name

Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions., and . Concurrency and Computation: Practice and Experience, 13 (13): 1153-1171 (2001)A Versatile, Sound Tool for Simplifying Definitions., , and . ACL2, volume 249 of EPTCS, page 61-77. (2017)The OMRS project: state of the art., , and . Electr. Notes Theor. Comput. Sci., (1998)Adding 32-bit Mode to the ACL2 Model of the x86 ISA., and . ACL2, volume 280 of EPTCS, page 77-94. (2018)Second-Order Functions and Theorems in ACL2.. ACL2, volume 192 of EPTCS, page 17-33. (2015)Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems., , , , , , , , , and . IEEE Software, 31 (2): 62-69 (2014)Improving the official specification of Java bytecode verification.. Concurrency and Computation: Practice and Experience, 15 (2): 155-179 (2003)A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars.. VSTTE, volume 11294 of Lecture Notes in Computer Science, page 177-195. Springer, (2018)AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks., , , , , and . DIMVA, volume 9721 of Lecture Notes in Computer Science, page 37-57. Springer, (2016)Checking Access to Protected Members in the Java Virtual Machine.. Journal of Object Technology, 4 (8): 55-76 (2005)