Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michal Zima |
Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 52-60, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Manuel de Oliveira Almeida |
Reducing Nondeterministic Tree Automata by Adding Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 33-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Dana Hlinená |
A Note on One Less Known Class of Generated Residual Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 13-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Karlheinz Friedberger |
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 61-71, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ladislav Peska |
Using the Context of User Feedback in Recommender Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 1-12, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ukrop, Petr Svenda |
Avalanche Effect in Improperly Initialized CAESAR Candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 72-81, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 87-93, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matús Bezek |
Characterizing DAG-depth of Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 23-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Dvorák, Dusan Knop, Tomás Masarík |
Anti-Path Cover on Sparse Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016., pp. 82-86, 2016. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![Springer, 978-3-319-29816-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filip Nalepa, Michal Batko, Pavel Zezula |
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 93-106, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Petr Rockai, Jiri Barnat |
Weak Memory Models as LLVM-to-LLVM Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 144-155, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sajad Saydali, Hamid Parvin, Ali A. Safaei |
Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 119-132, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolajs Nahimovs, Alexander Rivosh |
Exceptional Configurations of Quantum Walks with Grover's Coin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 79-92, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Odaker, Dieter Kranzlmüller, Jens Volkert |
GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 107-118, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Dana Hlinená |
Fitting Aggregation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 42-53, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Isavudeen, Eva Dokládalová, Nicolas Ngan, Mohamed Akil |
Self-Adaptive Architecture for Multi-Sensor Embedded Vision System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 67-78, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hlinený, Ondrej Slámecka |
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 54-66, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina |
Flexible Interpolation for Efficient Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 11-22, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Agnis Arins |
Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 35-41, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vlasta Stavova, Vashek Matyas, Kamil Malinka |
The Challenge of Increasing Safe Response of Antivirus Software Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 133-143, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 23-34, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Siegfried Benkner |
Programming Support for Future Parallel Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers, pp. 1-10, 2015, Springer, 978-3-319-29816-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Niznan, Radek Pelánek, Jirí Rihák |
Mapping Problems to Skills Combining Expert Opinion and Student Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 113-124, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Bauch, Vojtech Havel, Jiri Barnat |
LTL Model Checking of LLVM Bitcode with Symbolic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 47-59, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Beyer, Markus Chimani |
Steiner Tree 1.39-Approximation in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 60-72, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![Springer, 978-3-319-14895-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karel Stepka, Martin Falk |
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 125-134, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Nikl, Jirí Jaros |
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 100-112, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Ivanecký, Stephan Mehlhase |
Today's Challenges for Embedded ASR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 16-29, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Petr Rockai, Jiri Barnat |
Context-Switch-Directed Verification in DIVINE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 135-146, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radek Hrbacek |
Bent Functions Synthesis on Intel Xeon Phi Coprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 88-99, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Wehner |
A New Concept in Advice Complexity of Job Shop Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 147-158, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Michael Tautschnig |
Automating Software Analysis at Large Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 30-39, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wörz |
3D Model-Based Segmentation of 3D Biomedical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 40-46, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 1-15, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar |
On Monitoring C/C++ Transactional Memory Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 73-87, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![Springer, 978-3-642-36044-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Said Hamdioui |
Testing Embedded Memories: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 32-42, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Beyß |
Fast Algorithm for Rank-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 82-93, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![Springer, 978-3-642-25928-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bro Miltersen |
Recent Results on Howard's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 53-56, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Janis Iraids, Dmitry Kravchenko, Madars Virza |
Advantage of Quantum Strategies in Random Symmetric XOR Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 57-68, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 69-81, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Simon Laursen, Jirí Srba |
Action Investment Energy Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 155-167, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Arturs Backurs, Nikolajs Nahimovs, Alexander Rivosh |
Grover's Algorithm with Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 180-189, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix |
Quantum Secret Sharing with Graph States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 15-31, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Ose, Juris Viksna |
On WQO Property for Different Quasi Orderings of the Set of Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 190-199, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 106-117, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Chmelik, Vojtech Rehák |
Controllable-Choice Message Sequence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 118-130, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Gollmann |
Security for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 12-14, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colin McDiarmid |
Quicksort and Large Deviations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 43-52, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 200-212, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Filip Jurnecka, Vashek Matyás |
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 131-142, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Mikus, Marek Sýs |
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 168-179, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Kurz, Petra Mutzel, Bernd Zey |
Parameterized Algorithms for Stochastic Steiner Tree Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 143-154, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 94-105, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Andreas Stahlbauer |
BDD-Based Software Model Checking with CPAchecker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 1-11, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
Noise Injection Heuristics for Concurrency Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 123-135, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 37-46, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roland Cmorik, Galina Jirásková |
Basic Operations on Binary Suffix-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 94-102, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vlastimil Babka, Petr Tuma 0001 |
Computer Memory: Why We Should Care What Is under the Hood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 63-75, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Mazgut, Martina Paulinyová, Peter Tiño |
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 146-154, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steven van der Vegt, Alfons Laarman |
A Parallel Compact Hash Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 191-204, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christos Sakellariou, Peter J. Bentley |
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 179-190, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kaspars Balodis, Ilja Kucevalovs, Rusins Freivalds |
Frequency Prediction of Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 76-83, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Monika Krausová |
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 114-122, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roman Zilka, Vashek Matyás, Libor Kyncl |
Four Authorization Protocols for an Electronic Payment System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 205-214, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Bentley |
Natural Born Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 20-36, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Matela, Martin Srom, Petr Holub |
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 136-145, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Renato Renner |
Information Security in a Quantum World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 57-62, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dalibor Klusácek, Hana Rudová |
Efficient Data Representation of Large Job Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 103-113, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Görschwin Fey |
Assessing System Vulnerability Using Formal Verification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 47-56, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Obdrzálek, Jiri Slaby, Marek Trtík |
STANSE: Bug-Finding Framework for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 167-178, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Ivana Cerná, Jana Tumova |
Timed Automata Approach to Verification of Systems with Degradation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 84-93, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis |
Rigorous System Design: The BIP Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 1-19, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hlinený, Ondrej Moris |
Generalized Maneuvers in Route Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers, pp. 155-166, 2011, Springer, 978-3-642-25928-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Petr Bauch, Milan Ceska 0002 |
CUDA Accelerated LTL Model Checking - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 1-8, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Maska, Pavel Matula, Michal Kozubek 0001 |
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 69-76, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 47-53, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Golembiovsky, Ales Krenek |
Compression of Vector Field Changing in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 40-46, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Matela, Vít Rusnák, Petr Holub |
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 77-84, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Artur Gintrowski |
Modeling Gene Networks using Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 32-39, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Karas |
Efficient Computation of Morphological Greyscale Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 54-61, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dirk Timmermann |
Monitoring and Control of Temperature in Networks-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 124-131, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Boris Prochazka, Tomás Vojnar, Martin Drahanský |
Hijacking the Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 85-92, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
Frontmatter, Preface, Table of Contents, Workshop Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Danek, Martin Maska |
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 19-25, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 109-115, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár |
Fast Translated Simulation of ASIPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 93-100, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Troubil, Hana Rudová |
Integer Programming for Media Streams Planning Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 116-123, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ilja Kucevalovs |
On Reliability and Refutability in Nonconstructive Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 62-68, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský |
Process Algebra for Modal Transition Systemses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 9-18, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 26-31, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic, pp. 101-108, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-22-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian |
The Parameterized Complexity of Oriented Colouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Marek Behalek, Petr Saloun |
Embedded Process Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Alexander Wenner |
Weighted Dynamic Pushdown Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|