Ugo A. Buy
According to our database1, Ugo A. Buy authored at least 22 papers between 1990 and 2015.
Collaborative distances :
Collaborative distances :
Legend:Book In proceedings Article PhD thesis Other
Deception detection in Twitter.
Social Netw. Analys. Mining, 2015
Say It with Colors: Language-Independent Gender Classification on Twitter.
Proceedings of the Online Social Media Analysis and Visualization, 2014
Detecting deception in Online Social Networks.
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014
Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter.
Proceedings of the 12th International Conference on Machine Learning and Applications, 2013
Language independent gender classification on Twitter.
Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset.
Autom. Softw. Eng., 2001
Debunking some Common Misconceptions on E-Learning.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Automated Testing of Classes.
Proceedings of the International Symposium on Software Testing and Analysis, 2000
Modeling and Analysis of a Virtual Reality System with Time Petri Nets.
Proceedings of the Forging New Links, 1998
Stubborn Sets for Real-Time Petri Nets.
Formal Methods in System Design, 1997
Reduction Rules for Time Petri Nets.
Acta Inf., 1996
A Specification-Based Approach to Concurrency Analysis.
Autom. Softw. Eng., 1995
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
ACM Trans. Softw. Eng. Methodol., 1994
Analysis of Real-Time Programs with Simple Time Petri Nets.
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994
A Petri-Net -Based Approach to Real-Time Program Analysis.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
IEEE Trans. Software Eng., 1991
Experiments with an Improved Constrained Expression Toolset.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991
Integer Programming in the Analysis of Concurrent Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
Liveness Analysis and the Automatic Generation of Concurrent Programs.
Proceedings of the Computer-Aided Verification, 1990
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990