1 - 4 von 4Seitengröße: 20
Publikationen
2023
- Veröffentlicht
Parameterised Counting in Logspace
Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., Okt. 2023, in: ALGORITHMICA. 85, 10, S. 2923-2961 39 S., 10.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2019
- Veröffentlicht
A Faster Algorithm for Cuckoo Insertion and Bipartite Matching in Large Graphs
Khosla, M. & Anand, A., 12 Juni 2019, in: ALGORITHMICA. 81, 9, S. 3707-3724 18 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Backdoors for Linear Temporal Logic
Meier, A., Ordyniak, S., Ramanujan, M. S. & Schindler, I., 15 Feb. 2019, in: ALGORITHMICA. 81, 2, S. 476-496 21 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2003
- Extern
Free-form pose estimation by using twist representations
Rosenhahn, B., Perwass, C. & Sommer, G., 24 Okt. 2003, in: Algorithmica (New York). 38, 1, S. 91-113 23 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review