Ugo A. Buy - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2023

Early Detection of Mental and Behavioral Health Issues from High-School Academic PerformanceDavide Porello, Ugo A. Buy, Kyle W. Boerke, M. Pieta Keller. icmla 2023: 376-383 [doi]

2021

Toward Gesture Recognition in Robot-Assisted Surgical ProceduresHoangMinh HuynhNguyen, Ugo A. Buy. sa 2021: 1-4 [doi]

2015

Deception detection in TwitterJalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Sohaib Ghani, Mohamed F. Mokbel. snam, 5(1), 2015. [doi]

2014

Say It with Colors: Language-Independent Gender Classification on TwitterJalal S. Alowibdi, Ugo A. Buy, Philip S. Yu. In Jalal Kawash, editor, Online Social Media Analysis and Visualization. Lecture Notes in Social Networks, pages 47-62, Springer, 2014. [doi]

Detecting deception in Online Social NetworksJalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Leon Stenneth. asunam 2014: 383-390 [doi]

2013

Language independent gender classification on TwitterJalal S. Alowibdi, Ugo A. Buy, Philip Yu. asunam 2013: 739-743 [doi]

Empirical Evaluation of Profile Characteristics for Gender Classification on TwitterJalal S. Alowibdi, Ugo A. Buy, Philip S. Yu. icmla 2013: 365-369 [doi]

2009

Modeling and integration of hospital information systems with Petri netsHoushang Darabi, William L. Galanter, Janet Yueh-Yun Lin, Ugo A. Buy, Rupa Sampath. soli 2009: 190-195 [doi]

2002

Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition SystemsUgo A. Buy, Gaurav Singal. compsac 2002: 717-722 [doi]

2001

Debunking some Common Misconceptions on E-LearningUgo A. Buy. compsac 2001: 342-343 [doi]

Automatic Real-Time Analysis of Reactive Systems with the PARTS ToolsetUgo A. Buy, Robert H. Sloan. ASE, 8(3-4):227-273, 2001.

2000

Automated Testing of ClassesUgo A. Buy, Alessandro Orso, Mauro Pezzè. ISSTA 2000: 39-48 [doi]

1998

Modeling and Analysis of a Virtual Reality System with Time Petri NetsRajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon. ICSE 1998: 33-42

1997

Stubborn Sets for Real-Time Petri NetsRobert H. Sloan, Ugo A. Buy. fmsd, 11(1):23-40, 1997.

1996

Reduction Rules for Time Petri NetsRobert H. Sloan, Ugo A. Buy. ACTA, 33(7):687-706, 1996.

1995

A Specification-Based Approach to Concurrency AnalysisUgo A. Buy, Robert Moll. ASE, 2(4):265-309, 1995.

1994

Analysis of Real-Time Programs with Simple Time Petri NetsUgo A. Buy, Robert H. Sloan. ISSTA 1994: 228-239 [doi]

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in AdaSastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz. TOSEM, 3(4):340-380, 1994. [doi]

1993

A Petri-Net -Based Approach to Real-Time Program AnalysisUgo A. Buy, Robert H. Sloan. iwssd 1993: 56-61

Using State Space Reduction Methods for Deadlock Analysis in Ada TaskingSastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz. ISSTA 1993: 51-60 [doi]

1991

1990

A Proof Lattice-Based Technique for Analyzing Liveness of Resource ControllersUgo A. Buy, Robert Moll. cav 1991: 292-301

Liveness Analysis and the Automatic Generation of Concurrent ProgramsUgo A. Buy, Robert Moll. dimacs 1991: 535-550

Sign in or sign up to see more results.

runs on WebDSL