Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

V. Ortner · SciRah

Researcher profile · Semantic Scholar

V. Ortner

Share profile

V. Ortner — researcher profile on SciRah

h-index: 1
Works: 4
Citations: 23

Most-cited papers

Verification of BDD Normalization
V. Ortner, Norbert Schirmer
2005International Conference on Theorem Proving in Higher Order Logics21 citations
Semantic Scholar
BDD Normalisation
V. Ortner, Norbert Schirmer
2008Arch. Formal Proofs1 citations
Semantic Scholar
EMERGENCE FROM XENON VS NITROUS OXIDE ANESTHESIA IN COMBINATION WITH DESFLURANE
S. Hargasser, F. Hanel, V. Ortner, K. Bernett +3 more
19981 citations
Semantic Scholar
Desflurane requirement is lower in combination with xenon than with nitrous oxide
S. Hargasser, E. Entholzner, F. Hanel, C. Rucha +3 more
20000 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

S. Hargasser×2
Invite
S. Hargasser — researcher profile on SciRah
F. Hanel×2
Invite
F. Hanel — researcher profile on SciRah
E. Entholzner×2
Invite
E. Entholzner — researcher profile on SciRah
R. Hipp×2
Invite
R. Hipp — researcher profile on SciRah

×2

Invite

E. Kochs — researcher profile on SciRah

Norbert Schirmer×1

Invite

Norbert Schirmer — researcher profile on SciRah

Norbert Schirmer×1

Invite

Norbert Schirmer — researcher profile on SciRah

Invite

K. Bernett — researcher profile on SciRah

Invite

C. Rucha — researcher profile on SciRah