default search action

combined dblp search
author search
venue search
publication search

ask others

11th MEMICS 2016: Telč, Czech Republic

> Home > Conferences and Workshops > MEMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BoudaHKSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoudaHKSR16
Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek:
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. EPTCS 233, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Peska16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Peska16
Ladislav Peska:
Using the Context of User Feedback in Recommender Systems. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1612-04979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1612-04979
Vojtech Havlena, Dana Hlinená:
A Note on One Less Known Class of Generated Residual Implications. 13-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Bezek16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bezek16
Matús Bezek:
Characterizing DAG-depth of Directed Graphs. 23-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Almeida16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Almeida16a
Ricardo Manuel de Oliveira Almeida:
Reducing Nondeterministic Tree Automata by Adding Transitions. 33-51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Zima16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Zima16
Michal Zima:
Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities. 52-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/0001F16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001F16a
Dirk Beyer, Karlheinz Friedberger:
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. 61-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/UkropS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/UkropS16
Martin Ukrop, Petr Svenda:
Avalanche Effect in Improperly Initialized CAESAR Candidates. 72-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DvorakKM16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DvorakKM16a
Pavel Dvorák, Dusan Knop, Tomás Masarík:
Anti-Path Cover on Sparse Graph Classes. 82-86
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CharvatSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CharvatSV16
Lukás Charvát, Ales Smrcka, Tomás Vojnar:
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. 87-93

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.