• 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.

found 35 matches

• 2024
• 
  Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman:
  Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. TheoretiCS 3 (2024)
• 
  Rick Koenders, Joshua Moerman:
  Output-decomposed Learning of Mealy Machines. CoRR abs/2405.08647 (2024)
• 2022
• 
  Joshua Moerman, Matteo Sammartino:
  Residuality and Learning for Nondeterministic Nominal Automata. Log. Methods Comput. Sci. 18(1) (2022)
• 
  David Venhoek, Joshua Moerman, Jurriaan Rot:
  Fast computations on ordered nominal sets. Theor. Comput. Sci. 935: 82-104 (2022)
• 
  Joshua Moerman, Thorsten Wißmann:
  State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 450-466
• 
  Joshua Morman, Marc Lichtman, Marcus Müller:
  The Future of GNU Radio: Heterogeneous Computing, Distributed Processing, and Scheduler-as-a-Plugin. MILCOM 2022: 180-185
• 
  Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
  Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150
• 2021
• 
  Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman:
  Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. LICS 2021: 1-13
• 
  Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
  Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). Zenodo, 2021 
• 
  Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman:
  Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. CoRR abs/2104.02438 (2021)
• 
  Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
  Gradient-Descent for Randomized Controllers under Partial Observability. CoRR abs/2111.04407 (2021)
• 2020
• 
  Joshua Moerman, Matteo Sammartino:
  Residual Nominal Automata. CONCUR 2020: 44:1-44:21
• 
  Joshua Moerman, Jurriaan Rot:
  Separation and Renaming in Nominal Sets. CSL 2020: 31:1-31:17
• 
  Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler:
  Generating Functions for Probabilistic Programs. LOPSTR 2020: 231-248
• 
  Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler:
  Generating Functions for Probabilistic Programs. CoRR abs/2007.06327 (2020)
• 2019
• 
  Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva:
  A (co)algebraic theory of succinct automata. J. Log. Algebraic Methods Program. 105: 112-125 (2019)
• 
  Petra van den Bos, Ramon Janssen, Joshua Moerman:
  n-Complete test suites for IOCO. Softw. Qual. J. 27(2): 563-588 (2019)
• 
  Robert D. Miller, Silvija Kokalj-Filipovic, Garrett Vanhoy, Joshua Morman:
  Policy Based Synthesis: Data Generation and Augmentation Methods For RF Machine Learning. GlobalSIP 2019: 1-5
• 
  Silvija Kokalj-Filipovic, Rob Miller, Joshua Morman:
  AutoEncoders for Training Compact Deep Learning RF Classifiers for Wireless Protocols. SPAWC 2019: 1-5
• 
  Silvija Kokalj-Filipovic, Rob Miller, Joshua Morman:
  Targeted Adversarial Examples Against RF Deep Classifiers. WiseML@WiSec 2019: 6-11
• 
  David Venhoek, Joshua Moerman, Jurriaan Rot:
  Fast Computations on Ordered Nominal Sets. CoRR abs/1902.08414 (2019)
• 
  Silvija Kokalj-Filipovic, Rob Miller, Joshua Morman:
  AutoEncoders for Training Compact Deep Learning RF Classifiers for Wireless Protocols. CoRR abs/1904.11874 (2019)
• 
  Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva:
  A (co)algebraic theory of succinct automata. CoRR abs/1905.05519 (2019)
• 
  Joshua Moerman, Jurriaan Rot:
  Separation and Renaming in Nominal Sets. CoRR abs/1906.00763 (2019)
• 
  Joshua Moerman, Matteo Sammartino:
  Residual Nominal Automata. CoRR abs/1910.11666 (2019)
• 2018
• 
  Richard Lau, Nicholas Chang, Brian Wilson, Thomas C. Banwell, Heechang Kim, Joshua Morman, Sarry F. Habiby:
  Mission-Aware Predictive Network. ACSSC 2018: 182-187
• 
  Joshua Moerman:
  Learning Product Automata. ICGI 2018: 54-66
• 
  David Venhoek, Joshua Moerman, Jurriaan Rot:
  Fast Computations on Ordered Nominal Sets. ICTAC 2018: 493-512
• 2017
• 
  Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski:
  Learning nominal automata. POPL 2017: 613-625
• 
  Petra van den Bos, Ramon Janssen, Joshua Moerman:
  n-Complete Test Suites for IOCO. ICTSS 2017: 91-107

skipping 5 more matches