![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 113 matches
- 2024
- Rodrigo A. González
, Koen Classens
, Cristian R. Rojas
, James S. Welsh
, Tom Oomen
:
Statistical Analysis of Block Coordinate Descent Algorithms for Linear Continuous-Time System Identification. IEEE Control. Syst. Lett. 8: 388-393 (2024) - Rodrigo A. González, Koen Classens, Cristian R. Rojas, James S. Welsh
, Tom Oomen:
Identification of Additive Continuous-time Systems in Open and Closed-loop. CoRR abs/2401.01263 (2024) - Rodrigo A. González, Koen Classens, Cristian R. Rojas, James S. Welsh, Tom Oomen:
Statistical Analysis of Block Coordinate Descent Algorithms for Linear Continuous-time System Identification. CoRR abs/2404.09071 (2024) - Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR abs/2404.16062 (2024) - Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li:
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. CoRR abs/2406.14787 (2024) - 2023
- Lennart Augustsson
, Joachim Breitner
, Koen Claessen
, Ranjit Jhala
, Simon Peyton Jones
, Olin Shivers
, Guy L. Steele Jr.
, Tim Sweeney
:
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7(ICFP): 417-447 (2023) - Abhiroop Sarkar
, Robert Krook, Alejandro Russo, Koen Claessen:
HasTEE: Programming Trusted Execution Environments with Haskell. Haskell 2023: 72-88 - Robert Krook
, Nicholas Smallbone
, Bo Joel Svensson
, Koen Claessen
:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL 2023: 9:1-9:12 - Koen Classens, W. P. M. H. Heemels, Tom Oomen:
Direct Shaping of Minimum and Maximum Singular Values: An ℋ/ℋ∞ Synthesis Approach for Fault Detection Filters. CoRR abs/2305.07258 (2023) - Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen:
HasTEE: Programming Trusted Execution Environments with Haskell. CoRR abs/2307.13172 (2023) - 2022
- Zahra Ramezani
, Koen Claessen, Nicholas Smallbone, Martin Fabian
, Knut Åkesson:
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2393-2406 (2022) - Leontine Aarnoudse, Johan Kon, Koen Classens
, Max van Meer
, Maurice Poot, Paul Tacx, Nard Strijbosch, Tom Oomen:
Cross-Coupled Iterative Learning Control for Complex Systems: A Monotonically Convergent and Computationally Efficient Approach *. CDC 2022: 1485-1490 - Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen:
Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE 2022: 1-20 - Merijn Floren, Koen Classens, Tom Oomen, Jean-Philippe Noël:
Data-driven feedback linearisation using model predictive control. CoRR abs/2201.04550 (2022) - Leontine Aarnoudse, Johan Kon, Koen Classens, Max van Meer, Maurice Poot, Paul Tacx, Nard Strijbosch, Tom Oomen:
Cross-Coupled Iterative Learning Control for Complex Systems: A Monotonically Convergent and Computationally Efficient Approach. CoRR abs/2209.05155 (2022) - 2021
- Bjørnar Luteberget, Koen Claessen, Christian Johansen
, Martin Steffen:
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. 57(2): 211-245 (2021) - Koen Claessen
, Ann Lillieström:
Handling Transitive Relations in First-Order Automated Reasoning. J. Autom. Reason. 65(8): 1097-1124 (2021) - Koen Classens
, W. P. M. H. Heemels, Tom Oomen:
Closed-loop Aspects in MIMO Fault Diagnosis with Application to Precision Mechatronics. ACC 2021: 1756-1761 - Koen Classens
, Thomas Hafkamp, Steyn Westbeek, Joris J. C. Remmers, Siep Weiland:
Real-Time Nonlinear Tracking Control of Photopolymerization for Additive Manufacturing. ACC 2021: 1365-1370 - Koen Classens
, W. P. Maurice H. Heemels, Tom Oomen:
Digital Twins in Mechatronics: From Model-based Control to Predictive Maintenance. DTPI 2021: 336-339 - Koen Classens
, W. P. M. H. Heemels
, Tom Oomen:
A Closed-Loop Perspective on Fault Detection for Precision Motion Control: With Application to an Overactuated System. ICM 2021: 1-6 - 2020
- Johan Lidén Eddeland
, Koen Claessen, Nicholas Smallbone, Zahra Ramezani
, Sajed Miremadi, Knut Åkesson:
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 5247-5260 (2020) - Koen Claessen:
Finger trees explained anew, and slightly simplified (functional pearl). Haskell@ICFP 2020: 31-38 - Nachiappan Valliappan, Robert Krook, Alejandro Russo
, Koen Claessen:
Towards secure IoT programming in Haskell. Haskell@ICFP 2020: 136-150 - 2019
- David Thönnessen, Nick Smallbone, Martin Fabian
, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6 - Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone:
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP 2019: 34-46 - Bjørnar Luteberget
, Koen Claessen, Christian Johansen
:
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM 2019: 341-359 - Ann Lillieström, Koen Claessen, Nicholas Smallbone:
Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA 2019: 164-174 - Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson:
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR abs/1910.08306 (2019) - 2018
- Koen Claessen, Nicholas Smallbone:
Efficient Encodings of First-Order Horn Formulas in Equational Logic. IJCAR 2018: 388-404
skipping 83 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
retrieved on 2024-09-05 22:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint