×
Edit Profile (opens in new tab)

Raychev, Veselin

Compute Distance To:
Author ID: raychev.veselin Recent zbMATH articles by "Raychev, Veselin"
Published as: Raychev, Veselin
Documents Indexed: 4 Publications since 2010
Co-Authors: 9 Co-Authors with 4 Joint Publications
133 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Vechev, Martin T.
2 Bielik, Pavol
2 Krause, Andreas
1 Bast, Hannah
1 Carlsson, Erik
1 Eigenwillig, Arno
1 Geisberger, Robert
1 Harrelson, Chris
1 Viger, Fabien

Serials

Fields

3 Computer science (68-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

2 Publications have been cited 8 times in 8 Documents Cited by ▼ Year ▼
Fast routing in very large public transportation networks using transfer patterns. Zbl 1287.90013
Bast, Hannah; Carlsson, Erik; Eigenwillig, Arno; Geisberger, Robert; Harrelson, Chris; Raychev, Veselin; Viger, Fabien
6
2010
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
2
2016
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
2
2016
Fast routing in very large public transportation networks using transfer patterns. Zbl 1287.90013
Bast, Hannah; Carlsson, Erik; Eigenwillig, Arno; Geisberger, Robert; Harrelson, Chris; Raychev, Veselin; Viger, Fabien
6
2010
all cited Publications top 5 cited Publications
all top 5

Cited by 25 Authors

3 Wagner, Dorothea
2 Dibbelt, Julian
2 Pajor, Thomas
1 Baum, Moritz
1 Buchhold, Valentin
1 Cionini, Alessio
1 Clarke, Edmund Melson jun.
1 D’Angelo, Gianlorenzo
1 D’Emidio, Mattia
1 Frigioni, Daniele
1 Gendreau, Michel
1 Ghiani, Gianpaolo
1 Giannakopoulou, Kalliopi
1 Guerriero, Emanuela
1 Henzinger, Thomas A.
1 Heo, Kihong
1 Oh, Hakjoo
1 Paraskevopoulos, Andreas
1 Sauer, Jonas
1 Strasser, Ben
1 Veith, Helmut
1 Witt, Sascha
1 Yang, Hongseok
1 Zaroliagis, Christos D.
1 Zündorf, Tobias

Cited in 4 Serials

2 ACM Journal of Experimental Algorithmics
1 Computers & Operations Research
1 Formal Methods in System Design
1 Journal of Discrete Algorithms

Cited in 3 Fields

4 Computer science (68-XX)
4 Operations research, mathematical programming (90-XX)
1 Combinatorics (05-XX)

Citations by Year