Johannes Schoisswohl
Researcher · Computer Science
Source-listed associations: TU Wien
Austria
Johannes Schoisswohl has indexed research in Computer Science. Research topics in the source record include Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge.
Read biography ↓Biography, research & contributions
Johannes Schoisswohl has indexed research in Computer Science. Research topics in the source record include Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge.
Research and publications
The selected publications below appear in both the public ORCID record and the OpenAlex author record. The list is a subset of the researcher’s work.
Institutional record
OpenAlex lists TU Wien among its last-known institutional associations. These records do not confirm a current appointment.
Identity and source coverage
The public ORCID name and at least one education or employment institution were matched with the OpenAlex record on 2026-10-03. Publication identifiers were also compared between the two sources. Positions, education, honors and portrait are included only when separately documented.
At a glance
- Full name
- Johannes Schoisswohl
- Alternative names
- Johannes Schoisswohl Schoisswohl, Johannes
- Fields
- Computer Science
- ORCID
- 0000-0001-5550-196X
- OpenAlex ID
- A5029692176
Research interests
- Logic, programming, and type systems
- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Advanced Malware Detection Techniques
Research topics
Education
Not yet documented in this profile.
Selected research & further reading
A curated reading list, not a ranking by citation count. References use DOI metadata, matching public scholarly records or authoritative lecture sources.
- Counteracting Electrode Shifts in Upper-Limb Prosthesis Control via Transfer Learning ↗2019 · IEEE Transactions on Neural Systems and Rehabilitation EngineeringDOI: 10.1109/tnsre.2019.2907200
- ALASCA: Reasoning in Quantified Linear Arithmetic ↗2023 · Lecture notes in computer scienceDOI: 10.1007/978-3-031-30823-9_33
- Superposition with Delayed Unification ↗2023 · Lecture notes in computer scienceDOI: 10.1007/978-3-031-38499-8_2
- VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic ↗2024 · EPiC series in computingDOI: 10.29007/kg4v
- Inductive Benchmarks for Automated Reasoning ↗2021 · Lecture notes in computer scienceDOI: 10.1007/978-3-030-81097-9_9
Citation & publication trends
Annual source counts; separate scales. OpenAlex coverage may be incomplete for historical researchers.
View exact annual counts
| Year | Publications | Citations |
|---|---|---|
| 2019 | 1 | 66 |
| 2020 | 2 | 27 |
| 2021 | 6 | 45 |
| 2023 | 3 | 21 |
| 2024 | 1 | 4 |
| 2025 | 3 | 8 |
| 2026 | 2 | 0 |
Source: OpenAlex · Retrieved 2026-10-03T06:39:39+00:00. Metrics are database-specific and are not a scientific ranking.
Most-cited linked publications
Publications matched across ORCID and OpenAlex. Citation counts are source-specific.
- Counteracting Electrode Shifts in Upper-Limb Prosthesis Control via Transfer Learning ↗2019-03-25 · IEEE Transactions on Neural Systems and Rehabilitation Engineering66OpenAlex citations
- ALASCA: Reasoning in Quantified Linear Arithmetic ↗2023-01-01 · Lecture notes in computer science10OpenAlex citations
- Superposition with Delayed Unification ↗2023-01-01 · Lecture notes in computer science8OpenAlex citations
- VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic ↗2024-05-27 · EPiC series in computing4OpenAlex citations
- Inductive Benchmarks for Automated Reasoning ↗2021-01-01 · Lecture notes in computer science3OpenAlex citations
Recent linked publications
Publications matched across ORCID and OpenAlex. Citation counts are source-specific.
- Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories ↗2025-01-01 · Lecture notes in computer science
- VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic ↗2024-05-27 · EPiC series in computing
- ALASCA: Reasoning in Quantified Linear Arithmetic ↗2023-01-01 · Lecture notes in computer science
- Superposition with Delayed Unification ↗2023-01-01 · Lecture notes in computer science
- Inductive Benchmarks for Automated Reasoning ↗2021-01-01 · Lecture notes in computer science
Journals published in
Related publishers
Institutions
Current verified institution
No verified record links added yet.
Previous institutions
No verified record links added yet.
Awards & honors
Not yet documented in this profile.
Career timeline
Not yet documented in this profile.
Co-authors
No verified record links added yet.
Education & career institution links
No verified record links added yet.
Claim & manage this profile
Are you this researcher? Sign in, provide identity evidence, and request administrator approval. Editing becomes available only after approval.
Sign in to claim this profileSources & data information
Editorial review: Pending review · Last data update: 2026-10-03T08:40:23+00:00
Automated identity and publication-source comparison: 2026-10-03T08:08:04+00:00. This is separate from manual editorial review and profile ownership.
Unknown values are left blank. Linked publications may be a subset of total works. Identity verification, data retrieval and profile ownership are separate checks.