Author of the publication

A Software Engineering Process to Specify and Verify E-Commerce Systems.

, , , , , and . Software Engineering Research and Practice, page 419-425. CSREA Press, (2003)

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

Rank-Preserving Two-Level Caching for Scalable Search Engines., , , , , and . SIGIR, page 51-58. ACM, (2001)Using Quantitative Information for Efficient Association Rule Generation., , , and . SIGMOD Record, 29 (4): 19-25 (2000)Enhancement of Epidemiological Models for Dengue Fever Based on Twitter Data., , , , and . DH, page 109-118. ACM, (2017)Characterizing Videos, Audience and Advertising in Youtube Channels for Kids., , , , , and . SocInfo (1), volume 10539 of Lecture Notes in Computer Science, page 341-359. Springer, (2017)Janus: Diagnostics and reconfiguration of data parallel programs., , and . J. Parallel Distributed Comput., (2018)Masks: Bringing Anonymity and Personalization Together., , and . IEEE Secur. Priv., 1 (3): 18-23 (2003)Simulations of Complex and Microscopic Models of Cardiac Electrophysiology Powered by Multi-GPU Platforms., , , , and . Comput. Math. Methods Medicine, (2012)Mining Attribute-structure Correlated Patterns in Large Attributed Graphs., , and . Proc. VLDB Endow., 5 (5): 466-477 (2012)ADVISe: Visualizing the dynamics of enzyme annotations in UniProt/Swiss-Prot., , , , and . BioVis, page 49-56. IEEE Computer Society, (2012)Studying User Footprints in Different Online Social Networks, , , , and . CoRR, (2013)