Ugo A. Buy

According to our database1, Ugo A. Buy
  • authored at least 22 papers between 1990 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Deception detection in Twitter.
Social Netw. Analys. Mining, 2015

2014
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

2013
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

2002
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

2001
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

2000
Automated Testing of Classes.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

1998
Modeling and Analysis of a Virtual Reality System with Time Petri Nets.
Proceedings of the Forging New Links, 1998

1997
Stubborn Sets for Real-Time Petri Nets.
Formal Methods in System Design, 1997

1996
Reduction Rules for Time Petri Nets.
Acta Inf., 1996

1995
A Specification-Based Approach to Concurrency Analysis.
Autom. Softw. Eng., 1995

1994
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

1993
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

1991
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

1990
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


  Loading...