◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Mikoláš Janota

Czech Technical University

46 papers hereh-index 262.2k citations122 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author3
  • first author14
  • middle author15
  • last author13

Across the 45 of 46 papers where every author was matched, so the position is known.

fields
  • cs.LO31
  • cs.AI6
  • cs.LG5
  • cs.SE2
  • cs.DS1
  • cs.SC1
affiliations
  • Czech Technical University
Homepage
same name
  • Mikoláš Janota — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20092026
most citedSolving QBF with Counterexample Guided Refinement

150 citations · 275 across the 41 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2026

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems

Qiqi Jason Gu, Mikoláš Janota

Merging is a core operation in version control systems such as Git, but traditional line-based algorithms often yield spurious conflicts, particularly in the presence of refactorin…

cs.SE2009★ 3 cited

How to Complete an Interactive Configuration Process?

Mikolas Janota, Goetz Botterweck, Radu Grigore +1

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a confi…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.