default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKees Verstoep
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c28]Henk Dreuning, Kees Verstoep, Henri E. Bal, Rob V. van Nieuwpoort
:
CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism. HiPC 2023: 76-86- [c27]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
Channel-Adaptive Early Exiting Using Reinforcement Learning for Multivariate Time Series Classification. ICMLA 2023: 480-487 - [c26]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification. SSCI 2023: 1406-1413 - [i4]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
Multivariate Time Series Early Classification Across Channel and Time Dimensions. CoRR abs/2306.14606 (2023) - 2022
- [c25]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS. DCOSS 2022: 149-152 - [c24]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions. ICMLA 2022: 23-28 - [i3]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS. CoRR abs/2204.01379 (2022) - [i2]Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal:
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions. CoRR abs/2210.07713 (2022) - 2020
- [c23]Leonardos Pantiskas, Kees Verstoep, Henri E. Bal:
Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks. SSCI 2020: 1687-1694
2010 – 2019
- 2016
- [c22]Mathijs Kattenberg, Zuhaitz Beloki, Aitor Soroa, Xabier Artola, Antske Fokkens, Paul Huygen, Kees Verstoep:
Two Architectures for Parallel Processing of Huge Amounts of Text. LREC 2016 - 2015
- [c21]Kaveh Razavi, Stefania Costache, Andrea Gardiman, Kees Verstoep, Thilo Kielmann:
Scaling VM Deployment in an Open Source Cloud Stack. ScienceCloud@HPDC 2015: 3-10 - 2014
- [c20]Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference 2014: 361-375 - [c19]Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal:
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE 2014: 17-32 - 2013
- [j8]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal:
Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. 29(8): 2239-2251 (2013) - [c18]Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal:
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods 2013: 244-260 - 2012
- [c17]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal:
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID 2012: 335-343 - 2011
- [c16]Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. PDMC 2011: 84-90 - 2010
- [c15]Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink:
Embedded Network Protocols for Mobile Devices. FMICS 2010: 164-179
2000 – 2009
- 2009
- [c14]Jason Maassen, Kees Verstoep, Henri E. Bal, Paola Grosso, Cees de Laat:
Assessing the impact of future reconfigurable optical networks on application performance. IPDPS 2009: 1-8 - [c13]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim:
Efficient large-scale model checking. IPDPS 2009: 1-12 - 2008
- [c12]Kees Verstoep, Jason Maassen, Henri E. Bal, John W. Romein:
Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed. CCGRID 2008: 376-383 - [c11]Henri E. Bal, Kees Verstoep:
Large-Scale Parallel Computing on Grids. PDMC@ETAPS 2008: 3-17 - [i1]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim:
Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing 2008 - 2006
- [j7]Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann, Kees Verstoep, Mathijs den Burger:
Middleware adaptation with the Delphoi service. Concurr. Comput. Pract. Exp. 18(13): 1659-1679 (2006) - [c10]Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal:
Satin++: Divide-and-Share on the Grid. e-Science 2006: 61 - 2004
- [j6]Kees Verstoep, Raoul Bhoedjang, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman:
Cluster communication protocols for parallel-programming systems. ACM Trans. Comput. Syst. 22(3): 281-325 (2004) - [c9]Alexandre Denis, Olivier Aumage, Rutger F. H. Hofman, Kees Verstoep, Thilo Kielmann, Henri E. Bal:
Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems. HPDC 2004: 97-106 - 2002
- [j5]Thilo Kielmann, Henri E. Bal, Jason Maassen, Rob van Nieuwpoort, Lionel Eyraud, Rutger F. H. Hofman, Kees Verstoep:
Programming environments for high-performance Grid computing: the Albatross project. Future Gener. Comput. Syst. 18(8): 1113-1125 (2002) - 2001
- [j4]Thilo Kielmann, Henri E. Bal, Sergei Gorlatch, Kees Verstoep, Rutger F. H. Hofman:
Network performance-aware collective communication for clustered wide-area systems. Parallel Comput. 27(11): 1431-1456 (2001) - [c8]Gabrielle Allen, Thomas Dramlitsch, Tom Goodale, Gerd Lanfermann, Thomas Radke, Edward Seidel, Thilo Kielmann, Kees Verstoep, Zoltán Balaton, Péter Kacsuk, Ferenc Szalai, Jörn Gehring, Axel Keller, Achim Streit, Ludek Matyska, Miroslav Ruda, Ales Krenek, Harald Knipp, André Merzky, Alexander Reinefeld, Florian Schintke, Bogdan Ludwiczak, Jarek Nabrzyski, Juliusz Pukacki, Hans-Peter Kersken, Giovanni Aloisio, Massimo Cafaro, Wolfgang Ziegler, Michael Russell:
Early Experiences with the EGrid Testbed. CCGRID 2001: 130-139 - 2000
- [j3]Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis C. Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat:
The Distributed ASCI Supercomputer Project. ACM SIGOPS Oper. Syst. Rev. 34(4): 76-96 (2000) - [c7]Raoul Bhoedjang, Kees Verstoep, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman:
Evaluating Design Alternatives for Reliable Communication on High-Speed Networks. ASPLOS 2000: 71-81 - [c6]Thilo Kielmann, Henri E. Bal, Kees Verstoep:
Fast Measurement of LogP Parameters for Message Passing Platforms. IPDPS Workshops 2000: 1176-1183
1990 – 1999
- 1997
- [j2]Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl, Kees Verstoep:
Performance of a High-Level Parallel Language on a High-Speed Network. J. Parallel Distributed Comput. 40(1): 49-64 (1997) - [c5]Henri E. Bal, Rutger F. H. Hofman, Kees Verstoep:
A Comparison of Three High Speed Networks for Parallel Cluster Computing. CANPC 1997: 184-197 - 1996
- [c4]Kees Verstoep, Koen Langendoen, Henri E. Bal:
Efficient Reliable Multicast on Myrinet. ICPP, Vol. 3 1996: 156-165 - 1993
- [j1]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
Group communication in Amoeba and its applications. Distributed Syst. Eng. 1(1): 48- (1993) - [c3]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
Using Group Communication to Implement a Fault-Tolerant Directory Service. ICDCS 1993: 130-139 - 1992
- [c2]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
An experimental comparison of remote procedure call and group communication. ACM SIGOPS European Workshop 1992
1980 – 1989
- 1989
- [c1]Erik H. Baalbergen, Kees Verstoep, Andrew S. Tanenbaum:
On the Design of the Amoeba Configuration Manager. SCM 1989: 15-22
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
