Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michal Zima |
Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek (eds.) |
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Manuel de Oliveira Almeida |
Reducing Nondeterministic Tree Automata by Adding Transitions. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Dana Hlinená |
A Note on One Less Known Class of Generated Residual Implications. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Karlheinz Friedberger |
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ladislav Peska |
Using the Context of User Feedback in Recommender Systems. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ukrop, Petr Svenda |
Avalanche Effect in Improperly Initialized CAESAR Candidates. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Charvát, Ales Smrcka, Tomás Vojnar |
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matús Bezek |
Characterizing DAG-depth of Directed Graphs. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Dvorák, Dusan Knop, Tomás Masarík |
Anti-Path Cover on Sparse Graph Classes. |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kofron, Tomás Vojnar (eds.) |
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers |
MEMICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filip Nalepa, Michal Batko, Pavel Zezula |
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Petr Rockai, Jiri Barnat |
Weak Memory Models as LLVM-to-LLVM Transformations. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sajad Saydali, Hamid Parvin, Ali A. Safaei |
Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolajs Nahimovs, Alexander Rivosh |
Exceptional Configurations of Quantum Walks with Grover's Coin. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Odaker, Dieter Kranzlmüller, Jens Volkert |
GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Dana Hlinená |
Fitting Aggregation Operators. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Isavudeen, Eva Dokládalová, Nicolas Ngan, Mohamed Akil |
Self-Adaptive Architecture for Multi-Sensor Embedded Vision System. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hlinený, Ondrej Slámecka |
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina |
Flexible Interpolation for Efficient Model Checking. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Agnis Arins |
Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vlasta Stavova, Vashek Matyas, Kamil Malinka |
The Challenge of Increasing Safe Response of Antivirus Software Users. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Vojtás, Michal Kopecky, Marta Vomlelová |
Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Siegfried Benkner |
Programming Support for Future Parallel Architectures. |
MEMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Niznan, Radek Pelánek, Jirí Rihák |
Mapping Problems to Skills Combining Expert Opinion and Student Data. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Bauch, Vojtech Havel, Jiri Barnat |
LTL Model Checking of LLVM Bitcode with Symbolic Data. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Beyer, Markus Chimani |
Steiner Tree 1.39-Approximation in Practice. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hlinený, Zdenek Dvorák 0001, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala (eds.) |
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karel Stepka, Martin Falk |
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Nikl, Jirí Jaros |
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Ivanecký, Stephan Mehlhase |
Today's Challenges for Embedded ASR. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Petr Rockai, Jiri Barnat |
Context-Switch-Directed Verification in DIVINE. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radek Hrbacek |
Bent Functions Synthesis on Intel Xeon Phi Coprocessor. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Wehner |
A New Concept in Advice Complexity of Job Shop Scheduling. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Michael Tautschnig |
Automating Software Analysis at Large Scale. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wörz |
3D Model-Based Segmentation of 3D Biomedical Images. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gianni Antichi, Lisa Donatini, Rosario Giuseppe Garroppo, Stefano Giordano, Andrew W. Moore 0002 |
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar |
On Monitoring C/C++ Transactional Memory Programs. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos (eds.) |
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
MEMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Said Hamdioui |
Testing Embedded Memories: A Survey. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Beyß |
Fast Algorithm for Rank-Width. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos (eds.) |
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bro Miltersen |
Recent Results on Howard's Algorithm. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Janis Iraids, Dmitry Kravchenko, Madars Virza |
Advantage of Quantum Strategies in Random Symmetric XOR Games. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist |
Verification of Liveness Properties on Closed Timed-Arc Petri Nets. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Simon Laursen, Jirí Srba |
Action Investment Energy Games. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Arturs Backurs, Nikolajs Nahimovs, Alexander Rivosh |
Grover's Algorithm with Errors. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix |
Quantum Secret Sharing with Graph States. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Ose, Juris Viksna |
On WQO Property for Different Quasi Orderings of the Set of Permutations. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Chmelik, Vojtech Rehák |
Controllable-Choice Message Sequence Graphs. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Gollmann |
Security for Cyber-Physical Systems. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colin McDiarmid |
Quicksort and Large Deviations. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vít Rusnák, Lukás Rucka, Petr Holub |
Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Filip Jurnecka, Vashek Matyás |
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Mikus, Marek Sýs |
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Kurz, Petra Mutzel, Bernd Zey |
Parameterized Algorithms for Stochastic Steiner Tree Problems. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001 |
Determinacy in Stochastic Games with Unbounded Payoff Functions. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Andreas Stahlbauer |
BDD-Based Software Model Checking with CPAchecker. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
Noise Injection Heuristics for Concurrency Testing. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roland Cmorik, Galina Jirásková |
Basic Operations on Binary Suffix-Free Languages. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vlastimil Babka, Petr Tuma 0001 |
Computer Memory: Why We Should Care What Is under the Hood. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Mazgut, Martina Paulinyová, Peter Tiño |
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steven van der Vegt, Alfons Laarman |
A Parallel Compact Hash Table. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christos Sakellariou, Peter J. Bentley |
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS). |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kaspars Balodis, Ilja Kucevalovs, Rusins Freivalds |
Frequency Prediction of Functions. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Monika Krausová |
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roman Zilka, Vashek Matyás, Libor Kyncl |
Four Authorization Protocols for an Electronic Payment System. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Bentley |
Natural Born Computing. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Matela, Martin Srom, Petr Holub |
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Renato Renner |
Information Security in a Quantum World. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dalibor Klusácek, Hana Rudová |
Efficient Data Representation of Large Job Schedules. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Görschwin Fey |
Assessing System Vulnerability Using Formal Verification Techniques. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Obdrzálek, Jiri Slaby, Marek Trtík |
STANSE: Bug-Finding Framework for C Programs. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Ivana Cerná, Jana Tumova |
Timed Automata Approach to Verification of Systems with Degradation. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis |
Rigorous System Design: The BIP Approach. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hlinený, Ondrej Moris |
Generalized Maneuvers in Route Planning. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ludek Matyska, Michal Kozubek 0001, Tomás Vojnar, Pavel Zemcík, David Antos (eds.) |
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic |
MEMICS |
2011 |
DBLP BibTeX RDF |
|
1 | Petr Bauch, Milan Ceska 0002 |
CUDA Accelerated LTL Model Checking - Revisited. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Maska, Pavel Matula, Michal Kozubek 0001 |
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adam Husár, Miloslav Trmac, Jan Hranac, Tomás Hruska, Karel Masarík |
Automatic C Compiler Generation from Architecture Description Language ISAC. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Golembiovsky, Ales Krenek |
Compression of Vector Field Changing in Time. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Matela, Vít Rusnák, Petr Holub |
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Artur Gintrowski |
Modeling Gene Networks using Fuzzy Logic. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Karas |
Efficient Computation of Morphological Greyscale Reconstruction. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dirk Timmermann |
Monitoring and Control of Temperature in Networks-on-Chip. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Boris Prochazka, Tomás Vojnar, Martin Drahanský |
Hijacking the Linux Kernel. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
Frontmatter, Preface, Table of Contents, Workshop Organization. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Danek, Martin Maska |
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Miloslav Trmac, Adam Husár, Jan Hranac, Tomás Hruska, Karel Masarík |
Instructor Selector Generation from Architecture Description. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár |
Fast Translated Simulation of ASIPs. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Troubil, Hana Rudová |
Integer Programming for Media Streams Planning Problem. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ilja Kucevalovs |
On Reliability and Refutability in Nonconstructive Identification. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský |
Process Algebra for Modal Transition Systemses. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, Igor Peterlík |
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian |
The Parameterized Complexity of Oriented Colouring. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
1 | Marek Behalek, Petr Saloun |
Embedded Process Functional Language. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
1 | Alexander Wenner |
Weighted Dynamic Pushdown Networks. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|