researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2009
2010
2011
2012
2013
2014
2015
2016
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
architecture
code generation
compiler
context-aware
data-flow
e-science
grammar
graph-rewriting
laziness
logic
meta-model
model checking
modeling
process algebra
programming
rewriting
rule-based
Filter by Author
[+]
OR
AND
NOT
1
Adam Husar
Alexander Rivosh
Andris Ambainis
Dusan Kolár
Hana Rudová
Ilja Kucevalovs
Jan Hranac
Jiri Barnat
Jiri Matela
Jirí Srba
Karel Masarik
Kim G. Larsen
Krishnendu Chatterjee
Martin Maska
Miloslav Trmac
Nikola Benes
Petr Hlinený
Petr Holub
Tomas Hruska
Tomás Vojnar
Filter by Top terms
[+]
OR
AND
NOT
1
algorithm
approach
checking
computer
czech
data
doctoral
embedded
engineering
fast
games
international
mathematical
memics
methods
model
republic
science
using
workshop
MEMICS (memics)
Editions
Publications
Viewing Publication 1 - 100 from 102
2016
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Jan Kofron
,
Tomás Vojnar
, editors,
Volume 9548 of
Lecture Notes in Computer Science
, Springer,
2016.
[doi]
2015
Programming Support for Future Parallel Architectures
Siegfried Benkner
.
memics 2016
:
1-10
[doi]
Fitting Aggregation Operators
Vojtech Havlena
,
Dana Hlinená
.
memics 2016
:
42-53
[doi]
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs
Petr Hlinený
,
Ondrej Slámecka
.
memics 2016
:
54-66
[doi]
Flexible Interpolation for Efficient Model Checking
Antti E. J. Hyvärinen
,
Leonardo Alt
,
Natasha Sharygina
.
memics 2016
:
11-22
[doi]
Self-Adaptive Architecture for Multi-Sensor Embedded Vision System
Ali Isavudeen
,
Eva Dokladalova
,
Nicolas Ngan
,
Mohamed Akil
.
memics 2016
:
67-78
[doi]
Exceptional Configurations of Quantum Walks with Grover's Coin
Nikolajs Nahimovs
,
Alexander Rivosh
.
memics 2016
:
79-92
[doi]
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets
Filip Nalepa
,
Michal Batko
,
Pavel Zezula
.
memics 2016
:
93-106
[doi]
GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses
Thomas Odaker
,
Dieter Kranzlmüller
,
Jens Volkert
.
memics 2016
:
107-118
[doi]
Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology
Sajad Saydali
,
Hamid Parvin
,
Ali A. Safaei
.
memics 2016
:
119-132
[doi]
The Challenge of Increasing Safe Response of Antivirus Software Users
Vlasta Stavova
,
Vashek Matyas
,
Kamil Malinka
.
memics 2016
:
133-143
[doi]
Weak Memory Models as LLVM-to-LLVM Transformations
Vladimír Still
,
Petr Rockai
,
Jiri Barnat
.
memics 2016
:
144-155
[doi]
Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems
Peter Vojtás
,
Michal Kopecky
,
Marta Vomlelová
.
memics 2016
:
23-34
[doi]
2014
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic
Gianni Antichi
,
Lisa Donatini
,
Rosario Giuseppe Garroppo
,
Stefano Giordano
,
Andrew W. Moore
.
memics 2014
:
1-15
[doi]
LTL Model Checking of LLVM Bitcode with Symbolic Data
Petr Bauch
,
Vojtech Havel
,
Jiri Barnat
.
memics 2014
:
47-59
[doi]
Steiner Tree 1.39-Approximation in Practice
Stephan Beyer
,
Markus Chimani
.
memics 2014
:
60-72
[doi]
On Monitoring C/C++ Transactional Memory Programs
Jan Fiedor
,
Zdenek Letko
,
João Lourenço
,
Tomás Vojnar
.
memics 2014
:
73-87
[doi]
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers
Petr Hlinený
,
Zdenek Dvorak
,
Jirí Jaros
,
Jan Kofron
,
Jan Korenek
,
Petr Matula
,
Karel Pala
, editors,
Volume 8934 of
Lecture Notes in Computer Science
, Springer,
2014.
[doi]
Bent Functions Synthesis on Intel Xeon Phi Coprocessor
Radek Hrbacek
.
memics 2014
:
88-99
[doi]
Today's Challenges for Embedded ASR
Jozef Ivanecký
,
Stephan Mehlhase
.
memics 2014
:
16-29
[doi]
Automating Software Analysis at Large Scale
Daniel Kroening
,
Michael Tautschnig
.
memics 2014
:
30-39
[doi]
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition
Vojtech Nikl
,
Jirí Jaros
.
memics 2014
:
100-112
[doi]
Mapping Problems to Skills Combining Expert Opinion and Student Data
Juraj Niznan
,
Radek Pelánek
,
Jirí Rihák
.
memics 2014
:
113-124
[doi]
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes
Karel Stepka
,
Martin Falk
.
memics 2014
:
125-134
[doi]
Context-Switch-Directed Verification in DIVINE
Vladimír Still
,
Petr Rockai
,
Jiri Barnat
.
memics 2014
:
135-146
[doi]
A New Concept in Advice Complexity of Job Shop Scheduling
David Wehner
.
memics 2014
:
147-158
[doi]
3D Model-Based Segmentation of 3D Biomedical Images
Stefan Wörz
.
memics 2014
:
40-46
[doi]
2013
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Antonín Kucera
,
Thomas A. Henzinger
,
Jaroslav Nesetril
,
Tomás Vojnar
,
David Antos
, editors,
Volume 7721 of
Lecture Notes in Computer Science
, Springer,
2013.
[doi]
2012
Grover's Algorithm with Errors
Andris Ambainis
,
Arturs Backurs
,
Nikolajs Nahimovs
,
Alexander Rivosh
.
memics 2013
:
180-189
[doi]
Advantage of Quantum Strategies in Random Symmetric XOR Games
Andris Ambainis
,
Janis Iraids
,
Dmitry Kravchenko
,
Madars Virza
.
memics 2013
:
57-68
[doi]
Verification of Liveness Properties on Closed Timed-Arc Petri Nets
Mathias Andersen
,
Heine Gatten Larsen
,
Jirí Srba
,
Mathias Grund Sørensen
,
Jakob Haahr Taankvist
.
memics 2013
:
69-81
[doi]
BDD-Based Software Model Checking with CPAchecker
Dirk Beyer
,
Andreas Stahlbauer
.
memics 2013
:
1-11
[doi]
Fast Algorithm for Rank-Width
Martin Beyß
.
memics 2013
:
82-93
[doi]
Determinacy in Stochastic Games with Unbounded Payoff Functions
Tomás Brázdil
,
Antonín Kucera
,
Petr Novotný
.
memics 2013
:
94-105
[doi]
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games
Krishnendu Chatterjee
,
Rasmus Ibsen-Jensen
.
memics 2013
:
106-117
[doi]
Controllable-Choice Message Sequence Graphs
Martin Chmelik
,
Vojtech Rehák
.
memics 2013
:
118-130
[doi]
Security for Cyber-Physical Systems
Dieter Gollmann
.
memics 2013
:
12-14
[doi]
Quantum Secret Sharing with Graph States
Sylvain Gravier
,
Jérôme Javelle
,
Mehdi Mhalla
,
Simon Perdrix
.
memics 2013
:
15-31
[doi]
Testing Embedded Memories: A Survey
Said Hamdioui
.
memics 2013
:
32-42
[doi]
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks
Filip Jurnecka
,
Vashek Matyás
.
memics 2013
:
131-142
[doi]
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Zdenek Kotásek
,
Jan Bouda
,
Ivana Cerná
,
Lukás Sekanina
,
Tomás Vojnar
,
David Antos
, editors,
Volume 7119 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
Parameterized Algorithms for Stochastic Steiner Tree Problems
Denis Kurz
,
Petra Mutzel
,
Bernd Zey
.
memics 2013
:
143-154
[doi]
Action Investment Energy Games
Kim G. Larsen
,
Simon Laursen
,
Jirí Srba
.
memics 2013
:
155-167
[doi]
Quicksort and Large Deviations
Colin McDiarmid
.
memics 2013
:
43-52
[doi]
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme
Michal Mikus
,
Marek Sýs
.
memics 2013
:
168-179
[doi]
Recent Results on Howard's Algorithm
Peter Bro Miltersen
.
memics 2013
:
53-56
[doi]
On WQO Property for Different Quasi Orderings of the Set of Permutations
Sandra Ose
,
Juris Viksna
.
memics 2013
:
190-199
[doi]
Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems
Vit Rusnak
,
Lukas Rucka
,
Petr Holub
.
memics 2013
:
200-212
[doi]
2011
Computer Memory: Why We Should Care What Is under the Hood
Vlastimil Babka
,
Petr Tuma
.
memics 2012
:
63-75
[doi]
Frequency Prediction of Functions
Kaspars Balodis
,
Ilja Kucevalovs
,
Rusins Freivalds
.
memics 2012
:
76-83
[doi]
Timed Automata Approach to Verification of Systems with Degradation
Jiri Barnat
,
Ivana Cerná
,
Jana Tumova
.
memics 2012
:
84-93
[doi]
Rigorous System Design: The BIP Approach
Ananda Basu
,
Saddek Bensalem
,
Marius Bozga
,
Paraskevas Bourgos
,
Joseph Sifakis
.
memics 2012
:
1-19
[doi]
Natural Born Computing
Peter J. Bentley
.
memics 2012
:
20-36
[doi]
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives
Krishnendu Chatterjee
,
Laurent Doyen 0001
.
memics 2012
:
37-46
[doi]
Basic Operations on Binary Suffix-Free Languages
Roland Cmorik
,
Galina Jirásková
.
memics 2012
:
94-102
[doi]
Assessing System Vulnerability Using Formal Verification Techniques
Görschwin Fey
.
memics 2012
:
47-56
[doi]
Generalized Maneuvers in Route Planning
Petr Hlinený
,
Ondrej Moris
.
memics 2012
:
155-166
[doi]
Efficient Data Representation of Large Job Schedules
Dalibor Klusácek
,
Hana Rudová
.
memics 2012
:
103-113
[doi]
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient
Monika Krausová
.
memics 2012
:
114-122
[doi]
Noise Injection Heuristics for Concurrency Testing
Bohuslav Krena
,
Zdenek Letko
,
Tomás Vojnar
.
memics 2012
:
123-135
[doi]
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Jiri Matela
,
Martin Srom
,
Petr Holub
.
memics 2012
:
136-145
[doi]
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic
Ludek Matyska
,
Michal Kozubek
,
Tomás Vojnar
,
Pavel Zemcík
,
David Antos
, editors,
Volume 16 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2011.
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis
Jakub Mazgut
,
Martina Paulinyová
,
Peter Tino
.
memics 2012
:
146-154
[doi]
STANSE: Bug-Finding Framework for C Programs
Jan Obdrzálek
,
Jiri Slaby
,
Marek Trtík
.
memics 2012
:
167-178
[doi]
Information Security in a Quantum World
Renato Renner
.
memics 2012
:
57-62
[doi]
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS)
Christos Sakellariou
,
Peter J. Bentley
.
memics 2012
:
179-190
[doi]
A Parallel Compact Hash Table
Steven van der Vegt
,
Alfons Laarman
.
memics 2012
:
191-204
[doi]
Four Authorization Protocols for an Electronic Payment System
Roman Zilka
,
Vashek Matyás
,
Libor Kyncl
.
memics 2012
:
205-214
[doi]
2010
CUDA Accelerated LTL Model Checking - Revisited
Petr Bauch
,
Milan Ceska
.
memics 2011
:
1-8
[doi]
Process Algebra for Modal Transition Systemses
Nikola Benes
,
Jan Kretínský
.
memics 2011
:
9-18
[doi]
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
Ondrej Danek
,
Martin Maska
.
memics 2011
:
19-25
[doi]
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Jan Fousek
,
Tomas Golembiovsky
,
Jiri Filipovic
,
Igor Peterlík
.
memics 2011
:
26-31
[doi]
Modeling Gene Networks using Fuzzy Logic
Artur Gintrowski
.
memics 2011
:
32-39
[doi]
Compression of Vector Field Changing in Time
Tomas Golembiovsky
,
Ales Krenek
.
memics 2011
:
40-46
[doi]
Automatic C Compiler Generation from Architecture Description Language ISAC
Adam Husar
,
Miloslav Trmac
,
Jan Hranac
,
Tomas Hruska
,
Karel Masarik
.
memics 2011
:
47-53
[doi]
Efficient Computation of Morphological Greyscale Reconstruction
Pavel Karas
.
memics 2011
:
54-61
[doi]
On Reliability and Refutability in Nonconstructive Identification
Ilja Kucevalovs
.
memics 2011
:
62-68
[doi]
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
Martin Maska
,
Pavel Matula
,
Michal Kozubek
.
memics 2011
:
69-76
[doi]
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Jiri Matela
,
Vit Rusnak
,
Petr Holub
.
memics 2011
:
77-84
[doi]
Fast Translated Simulation of ASIPs
Zdenek Prikryl
,
Jakub Kroustek
,
Tomas Hruska
,
Dusan Kolár
.
memics 2011
:
93-100
[doi]
Hijacking the Linux Kernel
Boris Prochazka
,
Tomás Vojnar
,
Martin Drahanský
.
memics 2011
:
85-92
[doi]
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Thomas Reinbacher
,
Jörg Brauer
,
Martin Horauer
,
Andreas Steininger
,
Stefan Kowalewski
.
memics 2011
:
101-108
[doi]
Instructor Selector Generation from Architecture Description
Miloslav Trmac
,
Adam Husar
,
Jan Hranac
,
Tomas Hruska
,
Karel Masarik
.
memics 2011
:
109-115
[doi]
Integer Programming for Media Streams Planning Problem
Pavel Troubil
,
Hana Rudová
.
memics 2011
:
116-123
[doi]
Monitoring and Control of Temperature in Networks-on-Chip
Tim Wegner
,
Claas Cornelius
,
Andreas Tockhorn
,
Dirk Timmermann
.
memics 2011
:
124-131
[doi]
2009
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008
Milan Ceska 0002
,
Zdenek Kotásek
,
Mojmír Kretínský
,
Ludek Matyska
,
Tomás Vojnar
, editors,
Volume 251 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
Embedded Process Functional Language
Marek Behalek
,
Petr Saloun
.
memics 2009
:
[doi]
Space Effective Model Checking for Component-Interaction Automata
Nikola Benes
,
Milan Krivánek
,
Filip Stefanak
.
memics 2009
:
[doi]
Rewriting Systems over Nested Data Words
Ahmed Bouajjani
,
Cezara Dragoi
,
Yan Jurski
,
Mihaela Sighireanu
.
memics 2009
:
[doi]
Faster Algorithm for Mean-Payoff Games
Jakub Chaloupka
,
Lubos Brim
.
memics 2009
:
[doi]
Comparison of Algorithms for Checking Emptiness on Büchi Automata
Andreas Gaiser
,
Stefan Schwoon
.
memics 2009
:
[doi]
The Parameterized Complexity of Oriented Colouring
Robert Ganian
.
memics 2009
:
[doi]
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic
Petr Hlinený
,
Václav Matyás
,
Tomás Vojnar
, editors,
Volume 13 of
OASICS
, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2009.
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
Lasse Jacobsen
,
Morten Jacobsen
,
Mikael H. Møller
.
memics 2009
:
[doi]
Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
Marcus Jeitler
,
Jakob Lechner
.
memics 2009
:
[doi]
Derivation in Scattered Context Grammar via Lazy Function Evaluation
Ota Jirák
,
Dusan Kolár
.
memics 2009
:
[doi]
A Privacy-Aware Protocol for Sociometric Questionnaires
Marián Novotný
.
memics 2009
:
[doi]
One size does not fit all - how to approach intrusion detection in wireless sensor networks
Andriy Stetsko
,
Václav Matyás
.
memics 2009
:
[doi]
Exact Quantum Query Algorithm for Error Detection Code Verification
Alina Vasilieva
.
memics 2009
:
[doi]
Weighted Dynamic Pushdown Networks
Alexander Wenner
.
memics 2009
:
[doi]
Sign in
or
sign up
to see more results.