Concepedia

Tevfik Bultan

TB

Statistics

Publications

86

Citations

4K

H-Index

34

Active since

1992

Affiliations

University of California, Santa Barbara(Current)

University of Maryland, College Park

Georgia Southwestern State University

National Chengchi University

Iowa State University

Tevfik Bultan is an author at University of California, Santa Barbara specializing in computing, computer science, and formal methods.

Publications per year

1992–2023

86

Publications

86

Analysis of interacting BPEL web services

Xiang Fu, Tevfik Bultan, Jianwen Su · 2004 · 627 citations

Computing, Computer Science, Computer Systems +17

Conversation specification

Tevfik Bultan, Xiang Fu, Richard Hull et al. · 2003 · 352 citations

Business, Computer Science, Computer Systems +17

Conversation protocols: a formalism for specification and verification of reactive electronic services

Xiang Fu, Tevfik Bultan, Jianwen Su · Theoretical Computer Science · 2004 · 180 citations

Computing, Computer Science, Computer Systems +8

Model-checking concurrent systems with unbounded integer variables

Tevfik Bultan, R. Gerber, William Pugh · ACM Transactions on Programming Languages and Systems · 1999 · 123 citations · Full text

Computing, Computer Science, Formal Methods +14

Deciding choreography realizability

Samik Basu, Tevfik Bultan, Meriem Ouederni · ACM SIGPLAN Notices · 2012 · 119 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 86