DOĞAN ULUS

1. Ana Dal Mühendislik Temel Alanı
2. Yan Dal Bilgisayar Bilimleri ve Mühendisliği

Anahtar kelimeler YÖKSİS

• #Gömülü Sistemler
• #Paralel ve Dağıtık Sistemler
• #Robotik

Makale 2 YÖKSİS 2 · OpenAlex 0 Toplam atıf 49 h-indeks 2 · OpenAlex OpenAlex kapsamı %100 eşleşen 2 / 2 Q1 makale 0 Scopus · WoS Q1 0 Ortak yazar 6 0 Türk kurumu

Atıf etkisi

OpenAlex’te eşleşen makalelerin atıf sayıları, Crossref’ten atıf yapan yayınlar ve Stanford/Elsevier listesi. Kaynaklar ayrı gösterilir, hiçbir zaman toplanmaz.

OpenAlex YÖKSİS makalelerinden OpenAlex’te eşleşen: 2

h-indeks 2 Türkiye yüzdelik dilimi: 28 Üniversitesinde h-indekse göre 363. / 576

i10-indeks

2

Toplam atıf

49

Türkiye’de üst %48

Makale başına

24,5

FWCI

1,84

1,00 = dünya ortalaması

Dünyada üst %1

0

Dünyada üst %10

0

En çok atıf alan makaleleri

1. First-order temporal logic monitoring with BDDs 2020 31 atıf
2. AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic 2020 18 atıf

Nasıl hesaplanır?

h-indeks ve atıflar, bu akademisyenin YÖKSİS makalelerinden OpenAlex’te eşleşenlerin atıf sayılarından hesaplanır (Google Scholar, WoS veya Scopus değildir). Eşleşmeyen makalelerin atıfı dahil değildir.

Atıf yapan yayınlar Crossref DOI’li 2 makaleye atıf yapan 10 yayın

• 2019 1
• 2020 3
• 2021 4
• 2022 1
• 2025 1

1. DOI 10.1007/978-3-032-11176-0_15 2025
2. DOI 10.1109/tii.2020.3040743 2022
3. DOI 10.1007/s10009-021-00626-y 2021
4. DOI 10.1145/3464974.3468447 2021
5. DOI 10.1109/models-c53483.2021.00046 2021
6. DOI 10.1007/978-3-662-63223-9_4 2021
7. DOI 10.1007/978-3-030-60508-7_6 2020
8. DOI 10.1109/tcad.2020.3013053 2020
9. DOI 10.1007/s10009-020-00581-0 2020
10. DOI 10.1007/978-3-030-32079-9_14 2019

Bu liste nereden geliyor?

Crossref’in kamuya açık Mart 2026 veri dökümündeki referans listelerinden çıkarılmıştır; dökümün %20.3’i işlenmiştir, bu yüzden liste eksik olabilir. Crossref atıfları OpenAlex atıf sayılarıyla toplanmaz ve karşılaştırılmaz; iki kaynağın kapsamı farklıdır.

Alan sıralaması

YÖKSİS makale puanına göre ana dal, yan dal ve anahtar kelime kohortlarındaki yeri; her kart o sıralama sayfasına gider.

YÖKSİS ?

• Ana dal Mühendislik Temel Alanı
  Puan sırası #18.257/ 24.860 üst %73,4 Üniversitede #171/ 240

  Puan 1,4 dergi 1,4 · OA ek 0
  • Makale sırası18.450/24.860
  • Scopus sırası16.478/24.860
  • WoS sırası16.266/24.860
  • YÖKSİS2
  • Scopus2
  • WoS2
  Sıralamada gör →
• Yan dal Bilgisayar Bilimleri ve Mühendisliği
  Puan sırası #2.231/ 3.782 üst %59,0 Üniversitede #26/ 36

  Puan 1,4 dergi 1,4 · OA ek 0
  • Makale sırası2.266/3.782
  • Scopus sırası1.874/3.782
  • WoS sırası1.820/3.782
  • YÖKSİS2
  • Scopus2
  • WoS2
  Sıralamada gör →

Anahtar kelime sıralamaları 3

• Kel. Gömülü Sistemler
  Puan sırası #239/ 397 üst %60,2 Üniversitede #4/ 5

  Puan 1,4 dergi 1,4 · OA ek 0
  Sıralamada gör →
• Kel. Paralel ve Dağıtık Sistemler
  Puan sırası #89/ 110 üst %80,9 Üniversitede #4/ 4

  Puan 1,4 dergi 1,4 · OA ek 0
  Sıralamada gör →
• Kel. Robotik
  Puan sırası #410/ 640 üst %64,1 Üniversitede #5/ 9

  Puan 1,4 dergi 1,4 · OA ek 0
  Sıralamada gör →

Çalışmalar 2

YÖKSİS ve OpenAlex kayıtları: dizin dağılımı, yayın yapılan dergiler, daraltılabilir makale listesi ve diğer çıktı türleri.

Dizinler ve atıf yüzdelikleri

?

TR Index 0 makale

OpenAlex atıf yüzdelik

Üst %10

Üst %100

Ort. · n 2 %87,1 050100

Diğer sayımlar

Scopus (SJR)

• YÖKSİS satırı 2

WoS (JCR)

• YÖKSİS satırı 2

Makaleler

YÖKSİS ve OpenAlex kaynak ayrımıyla makaleler; quartile ve TR Index ile daraltabilirsiniz.

2makale

Yayını olan dergiler

2 dergi

• Formal Methods in System Design 1
• International Journal on Software Tools for Technology Transfer 1

Daralt

Scopus (SJR)

Q10 Q21 Q31 Q40

WoS (JCR)

Q10 Q20 Q30 Q42

TR Index

0makale

Makale listesi

1. 2020 AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER DOI 10.1007/s10009-020-00582-z YÖKSİS SJR Q2 JCR Q4 OpenAlex 84.9%
2. 2020 First-order temporal logic monitoring with BDDs FORMAL METHODS IN SYSTEM DESIGN DOI 10.1007/s10703-018-00327-4 YÖKSİS SJR Q3 JCR Q4 OpenAlex 89.4%

Kitaplar 1

1. 2017 Models, algorithms, logics and tools Springer ISBN 978-3-319-63121-9 Kitap Bölümü · Bilimsel Kitap

Bildiriler 8 Tümünü gör (8) →

1. 2017 Combining the temporal and epistemic dimensions for MTL monitoring International Conference on Formal Modeling and Analysis of Timed Systems
2. — Montre: A Tool for Monitoring Timed Regular Expressions International Conference on Computer Aided Verification
3. — Reactive control meets runtime verification: A case study of navigation International Conference on Runtime Verification
4. — Special Session: Embedded Software for Robotics: Challenges and Future Directions International Conference on Embedded Software
5. — Timescales: A benchmark generator for MTL monitoring tools International Conference on Runtime Verification

← Akademisyenlere dön

İşbirliği ağı

YÖKSİS eser kayıtlarındaki yazar listelerinden. Aynı eserin mükerrer kayıtları bir kez sayılır; kurumlar ortak yazarların YÖKSİS’teki güncel kurumudur.

Ortak yazar

6

akaturk profili olan

0

Ulusal kurum

0

Ortak yazarlı eser

%100

Ortak çalıştığı akademisyenler 0

akaturk profili olan ortak yazar bulunamadı.

Ulusal işbirliği 0 kurum

Başka bir Türk üniversitesiyle ortak eser bulunamadı.

Diğer ortak yazarlar (yabancı yazarlar dahil) 6

DEJAN NICKOVICDORON PELEDKLAUS HAVELUNDODED MALEROLIVIER LEBELTELTHOMAS FERRERE

akaturk profili olmayan yazarlar (yabancı araştırmacılar, emekli/ayrılmış akademisyenler, öğrenciler, klinisyenler) isim yazımına göre birleştirilir; “Güllüce M.” gibi kısaltmalar tek bir tam adla eşleşiyorsa o kişiye eklenir.