Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2015 | 1 |
2023 | 1 |
2025 | 1 |
Search Results
3 results
Results by year
Filters applied: . Clear all
It looks like you are searching for an author.
Results are currently sorted by Best Match. To see the newest results first,
change the sort order to Most Recent.
Page 1
AI-driven and automated MRI sequence optimization in scanner-independent MRI sequences formulated by a domain-specific language.
Front Neuroimaging. 2023 May 12;2:1090054. doi: 10.3389/fnimg.2023.1090054. eCollection 2023.
Front Neuroimaging. 2023.
PMID: 37554629
Free PMC article.
Automated polynomial formal verification using generalized binary decision diagram patterns.
Schnieber M, Drechsler R.
Schnieber M, et al. Among authors: drechsler r.
Philos Trans A Math Phys Eng Sci. 2025 Jan;383(2288):20230390. doi: 10.1098/rsta.2023.0390. Epub 2025 Jan 16.
Philos Trans A Math Phys Eng Sci. 2025.
PMID: 39815984
Item in Clipboard
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications.
Stoppe J, Drechsler R.
Stoppe J, et al. Among authors: drechsler r.
Sensors (Basel). 2015 May 4;15(5):10399-421. doi: 10.3390/s150510399.
Sensors (Basel). 2015.
PMID: 25946632
Free PMC article.
Item in Clipboard
Cite
Cite
ARTICLE TYPE
ARTICLE LANGUAGE
AGE
Filters on the sidebar will be reset to the default list and any currently applied filters will be cleared.