Author of the publication

A Framework for Visual Search in Broadcast archives.

, , , and . IIR, volume 1911 of CEUR Workshop Proceedings, page 28-39. CEUR-WS.org, (2017)

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.

 

Other publications of authors with the same name

Partial model checking via abstract interpretation., , , and . Inf. Process. Lett., 110 (3): 99-103 (2010)Thermal control system based on thin film heaters and amorphous silicon diodes., , , , , , , , and . IWASI, page 277-282. IEEE, (2015)Checking Secure Information Flow in Programs.. University of Pisa, Italy, (2010)Java bytecode verification with dynamic structures., , and . IASTED Conf. on Software Engineering and Applications, page 559-564. IASTED/ACTA Press, (2004)Instruction-level security analysis for information flow in stack-based assembly languages., and . Inf. Comput., 205 (9): 1334-1370 (2007)A Framework for Visual Search in Broadcast archives., , , and . IIR, volume 1911 of CEUR Workshop Proceedings, page 28-39. CEUR-WS.org, (2017)Comunicazione Digitale XR: Assessing the impact of extended reality technologies on learning., , , and . Comput. Educ. X Real., (2024)Enforcement of applet boundaries in Java card systems., and . IASTED Conf. on Software Engineering and Applications, page 96-101. IASTED/ACTA Press, (2004)Decomposing bytecode verification by abstract interpretation., , , , and . ACM Trans. Program. Lang. Syst., 31 (1): 3:1-3:63 (2008)Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract., , and . OTM Workshops, volume 2889 of Lecture Notes in Computer Science, page 425-436. Springer, (2003)