Serdar Taşiran

2.8k total citations
58 papers, 1.3k citations indexed

About

Serdar Taşiran is a scholar working on Hardware and Architecture, Computer Networks and Communications and Artificial Intelligence. According to data from OpenAlex, Serdar Taşiran has authored 58 papers receiving a total of 1.3k indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Hardware and Architecture, 28 papers in Computer Networks and Communications and 19 papers in Artificial Intelligence. Recurrent topics in Serdar Taşiran's work include Parallel Computing and Optimization Techniques (26 papers), Distributed systems and fault tolerance (24 papers) and Formal Methods in Verification (16 papers). Serdar Taşiran is often cited by papers focused on Parallel Computing and Optimization Techniques (26 papers), Distributed systems and fault tolerance (24 papers) and Formal Methods in Verification (16 papers). Serdar Taşiran collaborates with scholars based in United States, Türkiye and United Kingdom. Serdar Taşiran's co-authors include Shaz Qadeer, Tayfun Elmas, Kurt Keutzer, Y. Zhou, Tamara Munzner, François Guimbretière, Li Zhang, Robert K. Brayton, Benjamin Livshits and Adnan Aziz and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Graphics and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Serdar Taşiran

54 papers receiving 1.2k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Serdar Taşiran United States	15	557	422	383	335	295	58	1.3k
Todd Mytkowicz United States	21	751 1.3×	677 1.6×	607 1.6×	231 0.7×	167 0.6×	70	1.9k
Alan Shaw United States	20	769 1.4×	399 0.9×	393 1.0×	153 0.5×	265 0.9×	59	1.7k
Susmit Jha United States	16	265 0.5×	147 0.3×	567 1.5×	406 1.2×	81 0.3×	67	1.2k
R. Nigel Horspool Canada	17	418 0.8×	336 0.8×	764 2.0×	152 0.5×	129 0.4×	57	1.1k
Fabrizio Ferrandi Italy	18	1.4k 2.5×	604 1.4×	193 0.5×	156 0.5×	115 0.4×	151	1.8k
Zachary Tatlock United States	19	370 0.7×	367 0.9×	586 1.5×	256 0.8×	74 0.3×	57	1.2k
David Gregg Ireland	18	513 0.9×	337 0.8×	418 1.1×	84 0.3×	167 0.6×	94	959
José Nelson Amaral Canada	17	576 1.0×	627 1.5×	290 0.8×	211 0.6×	54 0.2×	103	1.1k
Akinori Yonezawa Japan	20	628 1.1×	912 2.2×	958 2.5×	126 0.4×	72 0.2×	112	1.8k
Daniel M. Roy United States	13	135 0.2×	270 0.6×	659 1.7×	112 0.3×	121 0.4×	51	1.1k

Countries citing papers authored by Serdar Taşiran

Since Specialization

Citations

This map shows the geographic impact of Serdar Taşiran's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Serdar Taşiran with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Serdar Taşiran more than expected).

Fields of papers citing papers by Serdar Taşiran

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Serdar Taşiran. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Serdar Taşiran. The network helps show where Serdar Taşiran may publish in the future.

Co-authorship network of co-authors of Serdar Taşiran

This figure shows the co-authorship network connecting the top 25 collaborators of Serdar Taşiran. A scholar is included among the top collaborators of Serdar Taşiran based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Serdar Taşiran. Serdar Taşiran is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bornholt, James, et al.. (2021). Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. Repository for Publications and Research Data (ETH Zurich). 836–850. 26 indexed citations

Chong, Nathan, et al.. (2021). Code‐level model checking in the software development workflow at Amazon Web Services. Software Practice and Experience. 51(4). 772–797. 8 indexed citations

Cook, Byron, et al.. (2020). Model checking boot code from AWS data centers. Formal Methods in System Design. 57(1). 34–52. 2 indexed citations

Dillig, Işıl & Serdar Taşiran. (2019). Computer Aided Verification. Lecture notes in computer science. 8 indexed citations

Grossman, Dan, et al.. (2017). A Solver-Aided Language for Test Input Generation. 2 indexed citations

Taşiran, Serdar, et al.. (2014). Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models. 2 indexed citations

Kestor, Gökçen, Osman Ünsal, Adrián Cristal, & Serdar Taşiran. (2014). T-Rex. 1–12. 7 indexed citations

Taşiran, Serdar, et al.. (2014). I Know It When I See It. 1–7. 7 indexed citations

Elmas, Tayfun, et al.. (2012). KUDA: GPU Accelerated Split Race Checker. 2 indexed citations

10.

Yannier, Nesra, Çağatay Başdoğan, Serdar Taşiran, & Ömer Lütfi Şen. (2008). Using Haptics to Convey Cause-and-Effect Relations in Climate Visualization. IEEE Transactions on Haptics. 1(2). 130–141. 14 indexed citations

11.

Sokolsky, Oleg & Serdar Taşiran. (2007). Proceedings of the 7th international conference on Runtime verification. 7 indexed citations

12.

Elmas, Tayfun, Shaz Qadeer, & Serdar Taşiran. (2006). Precise Race Detection and Efficient Model Checking Using Locksets. 5 indexed citations

13.

Keremoğlu, M. Erkan, Serdar Taşiran, & Tayfun Elmas. (2006). A classification of concurrency bugs in java benchmarks by developer intent. 23–26. 3 indexed citations

14.

Yaldiz, Soner, et al.. (2005). Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 129–140. 3 indexed citations

15.

Taşiran, Serdar & Shaz Qadeer. (2005). Runtime Refinement Checking of Concurrent Data Structures. Electronic Notes in Theoretical Computer Science. 113. 163–179. 9 indexed citations

16.

Munzner, Tamara, François Guimbretière, Serdar Taşiran, Li Zhang, & Y. Zhou. (2003). TreeJuxtaposer. ACM Transactions on Graphics. 22(3). 453–462. 152 indexed citations

17.

Qadeer, Shaz & Serdar Taşiran. (2003). Promising directions in hardware design verification. 137. 381–387. 3 indexed citations

18.

Taşiran, Serdar & Kurt Keutzer. (2001). Coverage metrics for functional validation of hardware designs. IEEE Design & Test of Computers. 18(4). 36–45. 146 indexed citations

19.

Sentovich, Ellen, David L. Dill, & Serdar Taşiran. (1999). Formal verification meets simulation (tutorial abstract).. International Conference on Computer Aided Design. 221. 1 indexed citations

20.

Dill, David L., Serdar Taşiran, & Ellen Sentovich. (1999). Formal verification meets simulation (embedded tutorial) (abstract only). International Conference on Computer Aided Design. 221. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact