If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

Black-box combinatorial optimization using models with integer-valued minima

Bliek, L., Verwer, S. & de Weerdt, M., 2020, In : Annals of Mathematics and Artificial Intelligence. p. 1-15 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)
2019

MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors

Lin, Q., Zhang, Y., Verwer, S. & Wang, J., 2019, In : IEEE Transactions on Intelligent Transportation Systems. 20, 2, p. 790-796 7 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
113 Downloads (Pure)

Solving bin-packing problems under privacy preservation: Possibilities and trade-offs

Hoogervorst, R., Zhang, Y., Tillem, G., Erkin, Z. & Verwer, S., 2019, In : Information Sciences. 500, p. 203-216 14 p.

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)
2018

Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving

Zhang, Y., Lin, Q., Wang, J., Verwer, S. & Dolan, J. M., 2018, In : IEEE Transactions on Intelligent Vehicles. 3, 3, p. 276-286 11 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
128 Downloads (Pure)
2017

Auction optimization using regression trees and linear models as integer programs

Zhang, Y., Verwer, S. & Ye, Q. C., 2017, In : Artificial Intelligence. 244, p. 368-395 28 p.

Research output: Contribution to journalArticleScientificpeer-review

16 Citations (Scopus)

Improved privacy of dynamic group services

Veugen, T., Doumen, J., Erkin, Z., Pellegrino, N., Verwer, S. & Weber, J., 2017, In : Eurasip Journal on Information Security. 2017, 1, p. 1-9 9 p., 3.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Downloads (Pure)

Modeling and analysis of non-homogenous fabrication/assembly systems with multiple failure modes

Wang, J-Q., Yan, F-Y., Cui, P-H., Xia, T., Cui, F-D. & Verwer, S., 2017, In : International Journal of Advanced Manufacturing Technology. p. 1-17 17 p.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)
2014

Improving active Mealy machine learning for protocol conformance testing

Aarts, F., Kuppens, H., Tretmans, J., Vaandrager, FW. & Verwer, SE., 2014, In : Machine Learning. 96, 1-2, p. 189-224 36 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
13 Citations (Scopus)

Merging partially labelled trees: hardness and a declarative programming solution

Labarre, A. & Verwer, SE., 2014, In : IEEE - ACM Transactions on Computational Biology and Bioinformatics. 11, 2, p. 389-397 9 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
1 Citation (Scopus)

Regular inference as vertex coloring

Florêncio, CC. & Verwer, SE., 2014, In : Theoretical Computer Science. 558, p. 18-34 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
2 Citations (Scopus)
2011

The efficiency of identifying timed automata and the power of clocks

Verwer, SE., de Weerdt, MM. & Witteveen, C., 2011, In : Information and Computation. 209, 3, p. 606-625 20 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
10 Citations (Scopus)