HIF-1a pathway is associated with neutrophil-to-lymphocyte ratio in patients with renal artery stenosis von Şener, Yusuf Ziya, Okşul, Metin, Sezgin, Ali

Volltext

Comprehensive examination of haematological parameters of patients operated due to testicular torsion von Merder, Erkan, Bozkurt, Muammer, Ariman, Ahmet, Sezgin, Mehmet Ali, Culha, Mehmet Gokhan, Altunrende, Fatih

Volltext

Aspect-oriented linearizability proofs von Chakraborty, Soham, Henzinger, Thomas A., Sezgin, Ali, Vafeiadis, Viktor

Volltext

The effect of effort test on the levels of ischemia modified albumin, 7-ketocholesterol and cholestan-3β , 5α , 6β -triol and their role in the diagnosis of coronary artery disease... von Keles, Muhammed Emin, Samadi, Afshin, Isikhan, Selen Yilmaz, Sener, Yusuf Ziya, Sezgin, Ali, Keles, Emine, Lay, Incilay, Canpolat, Uğur

Volltext

Long lived transients in gene regulation von Petrov, Tatjana, Igler, Claudia, Sezgin, Ali, Henzinger, Thomas A., Guet, Calin C.

Volltext

Aspect-Oriented Linearizability Proofs von Henzinger, Thomas A., Sezgin, Ali, Vafeiadis, Viktor

Volltext

Can stone migration be predicted preoperatively in ureteroscopic lithotripsy? von Arıman, Ahmet, Merder, Erkan, Sezgin, Mehmet ali, Önol, Suzan

Volltext

Transient Memory in Gene Regulation von Guet, Calin, Henzinger, Thomas A., Igler, Claudia, Petrov, Tatjana, Sezgin, Ali

Volltext

Sequential Consistency and Concurrent Data Structures von Sezgin, Ali

Volltext bestellen

Modelling the ARMv8 architecture, operationally: concurrency and ISA von Flur, Shaked, Gray, Kathryn E., Pulte, Christopher, Sarkar, Susmit, Sezgin, Ali, Maranget, Luc, Deacon, Will, Sewell, Peter

Volltext

Tressa: Claiming the Future von Sezgin, Ali, Tasiran, Serdar, Qadeer, Shaz

Volltext

Quantitative relaxation of concurrent data structures von Henzinger, Thomas A., Kirsch, Christoph M., Payer, Hannes, Sezgin, Ali, Sokolova, Ana

Volltext

On the definition of sequential consistency von Sezgin, Ali, Gopalakrishnan, Ganesh

Volltext

Simplifying Linearizability Proofs with Reduction and Abstraction von Elmas, Tayfun, Qadeer, Shaz, Sezgin, Ali, Subasi, Omer, Tasiran, Serdar

Volltext

Run-Time Verification of Optimistic Concurrency von Sezgin, Ali, Tasiran, Serdar, Muslu, Kivanc, Qadeer, Shaz

Volltext

Sequential Consistency and Concurrent Data Structures von Sezgin, Ali

Volltext

Mixed-size concurrency: ARM, POWER, C/C++11, and SC von Flur, Shaked, Sarkar, Susmit, Pulte, Christopher, Nienhuis, Kyndylan, Maranget, Luc, Gray, Kathryn E., Sezgin, Ali, Batty, Mark, Sewell, Peter

Volltext

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits von Guet, Călin C., Gupta, Ashutosh, Henzinger, Thomas A., Mateescu, Maria, Sezgin, Ali

Volltext

Moving Around: Lipton’s Reduction for TSO: Regular Submission von Sezgin, Ali, Tasiran, Serdar

Volltext

Aspect-oriented linearizability proofs von Chakraborty, Soham, Henzinger, Thomas A, Sezgin, Ali, Vafeiadis, Viktor

Volltext