default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAhmet Çelik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c16]Ahmet Çelik, Fatih Yilmaz, Mehmet Anil Korkmaz, Berna Ors:
Implementation of CRYSTALS-Kyber Post-Quantum Algorithm Using RISC-V Processor. ICECS 2023: 1-4- 2020
- [j4]Mustafa Can Gursoy
, Ahmet Çelik, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu:
Molecular Index Modulation With Space-Time Equalization. IEEE Wirel. Commun. Lett. 9(5): 702-705 (2020) - [c15]Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric:
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) 2020: 89-92 - [c14]Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric:
Debugging the performance of Maven's test isolation: experience report. ISSTA 2020: 249-259 - [c13]Karl Palmskog, Ahmet Çelik, Milos Gligoric:
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) 2020: 137-157
2010 – 2019
- 2019
- [j3]Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric:
Design, implementation, and application of GPU-based Java bytecode interpreters. Proc. ACM Program. Lang. 3(OOPSLA): 177:1-177:28 (2019) - [c12]Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric:
Mutation Analysis for Coq. ASE 2019: 539-551 - [c11]Ahmet Çelik, Mustafa Can Gursoy, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu:
A Low-Complexity Solution to Angular Misalignments in Molecular Index Modulation. PIMRC 2019: 1-6 - 2018
- [c10]Ahmet Çelik, Karl Palmskog, Milos Gligoric:
A regression proof selection tool for coq. ICSE (Companion Volume) 2018: 117-120 - [c9]Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric:
Towards refactoring-aware regression test selection. ICSE 2018: 233-244 - [c8]Karl Palmskog, Ahmet Çelik, Milos Gligoric:
piCoq: parallel regression proving for large-scale verification projects. ISSTA 2018: 344-355 - [c7]Ahmet Çelik, Young-Chul Lee, Milos Gligoric:
Regression test selection for TizenRT. ESEC/SIGSOFT FSE 2018: 845-850 - 2017
- [j2]Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric:
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1(OOPSLA): 94:1-94:25 (2017) - [c6]Ahmet Çelik, Karl Palmskog, Milos Gligoric:
iCoq: regression proof selection for large-scale verification projects. ASE 2017: 171-182 - [c5]Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric:
Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE 2017: 809-820 - 2016
- [b1]Ahmet Çelik:
Haddeleme işlemi sırasında ray ve profil yüzeylerinde oluşan kusurların tespit edilmesine yönelik paralel işlemci uygulaması (Defects detection on rail and profile surface during rolling operation by parallel processor application). Karabük University, Turkey, 2016 - [c4]Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric:
Build system with lazy retrieval for Java projects. SIGSOFT FSE 2016: 643-654 - 2012
- [c3]Fatih Özgül, Murat Gök, Yakup Ozal, Ahmet Çelik:
Mining Hate Crimes to Figure Out Reasons Behind. ASONAM 2012: 887-889 - 2011
- [c2]Fatih Özgül, Claus Atzenbeck, Ahmet Çelik, Zeki Erdem:
Incorporating data sources and methodologies for crime data mining. ISI 2011: 176-180 - [c1]Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Zeki Erdem:
Specific Similarity Measure for Terrorist Networks: How Much Similar Are Terrorist Networks of Turkey? PAISI 2011: 15-26 - [p1]Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Nadir Gergin:
Investigating Terrorist Attacks Using CDR Data: A Case Study. Counterterrorism and Open Source Intelligence 2011: 343-354
2000 – 2009
- 2008
- [j1]Orhan Engin, Ahmet Çelik, Ihsan Kaya:
A fuzzy approach to define sample size for attributes control chart in multistage processes: An application in engine valve manufacturing process. Appl. Soft Comput. 8(4): 1654-1663 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
