Search results for "Estonia"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Amina Doumane	Graph Characterization of the Universal Theory of Relations.	MFCS	2021	DBLP DOI BibTeX RDF
19	George B. Mertzios, Hendrik Molter, Malte Renken, Paul G. Spirakis, Philipp Zschoche	The Complexity of Transitively Orienting Temporal Graphs.	MFCS	2021	DBLP DOI BibTeX RDF
19	León Bohn, Christof Löding	Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm.	MFCS	2021	DBLP DOI BibTeX RDF
19	Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu	Connecting Constructive Notions of Ordinals in Homotopy Type Theory.	MFCS	2021	DBLP DOI BibTeX RDF
19	Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell 0001	The Pseudo-Skolem Problem is Decidable.	MFCS	2021	DBLP DOI BibTeX RDF
19	Nathan Grosshans	A Note on the Join of Varieties of Monoids with LI.	MFCS	2021	DBLP DOI BibTeX RDF
19	Siddhesh Chaubal, Anna Gál	Diameter Versus Certificate Complexity of Boolean Functions.	MFCS	2021	DBLP DOI BibTeX RDF
19	Guillaume Ducoffe	On Computing the Average Distance for Some Chordal-Like Graphs.	MFCS	2021	DBLP DOI BibTeX RDF
19	Reijo Jaakkola	Ordered Fragments of First-Order Logic.	MFCS	2021	DBLP DOI BibTeX RDF
19	Keisuke Nakano 0001	Idempotent Turing Machines.	MFCS	2021	DBLP DOI BibTeX RDF
19	Achim Blumensath, Jakub Lédl	ω-Forest Algebras and Temporal Logics.	MFCS	2021	DBLP DOI BibTeX RDF
19	Pantea Haghighatkhah, Wouter Meulemans, Bettina Speckmann, Jérôme Urhausen, Kevin Verbeek	Obstructing Classification via Projection.	MFCS	2021	DBLP DOI BibTeX RDF
19	Marcin Brianski, Stefan Felsner, Jedrzej Hodor, Piotr Micek	Reconfiguring Independent Sets on Interval Graphs.	MFCS	2021	DBLP DOI BibTeX RDF
19	Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf 0002	Order Reconfiguration Under Width Constraints.	MFCS	2021	DBLP DOI BibTeX RDF
19	Paul C. Bell, Pavel Semukhin	Decision Questions for Probabilistic Automata on Small Alphabets.	MFCS	2021	DBLP DOI BibTeX RDF
19	Gabriel L. Duarte, Mateus de Oliveira Oliveira, Uéverton S. Souza	Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances.	MFCS	2021	DBLP DOI BibTeX RDF
19	Bart M. P. Jansen, Shivesh Kumar Roy, Michal Wlodarczyk 0001	On the Hardness of Compressing Weights.	MFCS	2021	DBLP DOI BibTeX RDF
19	Robert S. R. Myers, Henning Urbat	Syntactic Minimization Of Nondeterministic Finite Automata.	MFCS	2021	DBLP DOI BibTeX RDF
19	Shuichi Hirahara, François Le Gall	Test of Quantumness with Small-Depth Quantum Circuits.	MFCS	2021	DBLP DOI BibTeX RDF
19	David Auger, Xavier Badin de Montjoye, Yann Strozecki	A Generic Strategy Improvement Method for Simple Stochastic Games.	MFCS	2021	DBLP DOI BibTeX RDF
19	Pablo Arrighi, Marin Costes, Nathanaël Eon	Universal Gauge-Invariant Cellular Automata.	MFCS	2021	DBLP DOI BibTeX RDF
19	Mirai Ikebuchi	A Homological Condition on Equational Unifiability.	MFCS	2021	DBLP DOI BibTeX RDF
19	Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny	Recursive Backdoors for SAT.	MFCS	2021	DBLP DOI BibTeX RDF
19	Arpitha P. Bharathi, Monaldo Mastrolilli	Ideal Membership Problem for Boolean Minority and Dual Discriminator.	MFCS	2021	DBLP DOI BibTeX RDF
19	Pavel Hubácek, Jan Václavek	On Search Complexity of Discrete Logarithm.	MFCS	2021	DBLP DOI BibTeX RDF
19	Kostia Chardonnet, Benoît Valiron, Renaud Vilmart	Geometry of Interaction for ZX-Diagrams.	MFCS	2021	DBLP DOI BibTeX RDF
19	Hellis Tamm	Boolean Automata and Atoms of Regular Languages.	MFCS	2021	DBLP DOI BibTeX RDF
19	Davide Trotta, Matteo Spadetto, Valeria de Paiva	The Gödel Fibration.	MFCS	2021	DBLP DOI BibTeX RDF
19	George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell 0001	On Positivity and Minimality for Second-Order Holonomic Sequences.	MFCS	2021	DBLP DOI BibTeX RDF
19	Norbert Peyerimhoff, Marc Roth, Johannes Schmitt 0002, Jakob Stix, Alina Vdovina	Parameterized (Modular) Counting and Cayley Graph Expanders.	MFCS	2021	DBLP DOI BibTeX RDF
19	Maël Dumas, Anthony Perez 0001, Ioan Todinca	A Cubic Vertex-Kernel for Trivially Perfect Editing.	MFCS	2021	DBLP DOI BibTeX RDF
19	Sarah Winter	Decision Problems for Origin-Close Top-Down Tree Transducers.	MFCS	2021	DBLP DOI BibTeX RDF
19	Eric Allender, Archit Chauhan, Samir Datta	Depth-First Search in Directed Planar Graphs, Revisited.	MFCS	2021	DBLP DOI BibTeX RDF
19	Hendrik Molter, Malte Renken, Philipp Zschoche	Temporal Reachability Minimization: Delaying vs. Deleting.	MFCS	2021	DBLP DOI BibTeX RDF
19	Jan Bok, Jirí Fiala 0001, Petr Hlinený, Nikola Jedlicková, Jan Kratochvíl	Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases.	MFCS	2021	DBLP DOI BibTeX RDF
19	Paolo Baldan, Alberto Carraro, Tommaso Padoan	(Un)Decidability for History Preserving True Concurrent Logics.	MFCS	2021	DBLP DOI BibTeX RDF
19	Florian Bruse, Marco Sälzer, Martin Lange	Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.	MFCS	2021	DBLP DOI BibTeX RDF
19	Bohdan Kivva	Improved Upper Bounds for the Rigidity of Kronecker Products.	MFCS	2021	DBLP DOI BibTeX RDF
19	Gaëtan Douéneau-Tabot	Pebble Transducers with Unary Output.	MFCS	2021	DBLP DOI BibTeX RDF
19	Pál András Papp, Roger Wattenhofer	Stabilization Bounds for Influence Propagation from a Random Initial State.	MFCS	2021	DBLP DOI BibTeX RDF
19	Davide Bilò, Sarel Cohen, Tobias Friedrich 0001, Martin Schirneck	Space-Efficient Fault-Tolerant Diameter Oracles.	MFCS	2021	DBLP DOI BibTeX RDF
19	Adam Glos, Martins Kokainis, Ryuhei Mori, Jevgenijs Vihrovs	Quantum Speedups for Dynamic Programming on n-Dimensional Lattice Graphs.	MFCS	2021	DBLP DOI BibTeX RDF
19	Damian Niwinski, Michal Skrzypczak	On Guidable Index of Tree Automata.	MFCS	2021	DBLP DOI BibTeX RDF
19	Kristina Asimi, Libor Barto	Finitely Tractable Promise Constraint Satisfaction Problems.	MFCS	2021	DBLP DOI BibTeX RDF
19	Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix	Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams.	MFCS	2021	DBLP DOI BibTeX RDF
19	Amina Doumane	Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk).	MFCS	2021	DBLP DOI BibTeX RDF
19	Arnaldo Cesco, Roberto Gorrieri	A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation.	MFCS	2021	DBLP DOI BibTeX RDF
19	Gregory Z. Gutin, Anders Yeo	Perfect Forests in Graphs and Their Extensions.	MFCS	2021	DBLP DOI BibTeX RDF
19	Vít Jelínek, Michal Opler, Jakub Pekárek	Griddings of Permutations and Hardness of Pattern Matching.	MFCS	2021	DBLP DOI BibTeX RDF
19	Sayan Bandyapadhyay, Fedor V. Fomin, Petr A. Golovach, Kirill Simonov	Parameterized Complexity of Feature Selection for Categorical Data Clustering.	MFCS	2021	DBLP DOI BibTeX RDF
19	Brynmor Chapman, R. Ryan Williams	Black-Box Hypotheses and Lower Bounds.	MFCS	2021	DBLP DOI BibTeX RDF
19	Hovhannes A. Harutyunyan, Denis Pankratov, Jesse Racicot	Online Domination: The Value of Getting to Know All Your Neighbors.	MFCS	2021	DBLP DOI BibTeX RDF
19	Damian Satya Wibowo, Simon James Fong	Mobile Blockchain-Empowered Federated Learning: Current Situation And Further Prospect.	BCCA	2021	DBLP DOI BibTeX RDF
19	Andrea Benini, Mauro Gambini, Sara Migliorini, Fausto Spoto	Power and Pitfalls of Generic Smart Contracts.	BCCA	2021	DBLP DOI BibTeX RDF
19	Mikel Cortes-Goicoechea, Leonardo Bautista-Gomez	Discovering the Ethereum2 P2P Network.	BCCA	2021	DBLP DOI BibTeX RDF
19	Sergey Bezzateev, Aleksandra Afanasyeva, Konstantin Zhidanov, Aleksandr Ometov	Multi-Layer Message Signature Scheme with Threshold-based Distributed PKG and Dynamic Leader Selection.	BCCA	2021	DBLP DOI BibTeX RDF
19	Zuqiang Ke, Nohpill Park	Hyperledger Fabric Node Types and Performance Study.	BCCA	2021	DBLP DOI BibTeX RDF
19	Eder J. Scheid, Pascal Kiechl, Muriel Figueredo Franco, Bruno Rodrigues 0001, Christian Killer, Burkhard Stiller	Security and Standardization of a Notary-based Blockchain Interoperability API.	BCCA	2021	DBLP DOI BibTeX RDF
19	El-Hacen Diallo, Omar Dib, Khaldoun Al Agha	The journey of Blockchain inclusion in Vehicular Networks: A Taxonomy.	BCCA	2021	DBLP DOI BibTeX RDF
19	Yuvaraj Rajendra, Sachin Sahu, Venkatesan Subramanian 0002, Sandeep Kumar Shukla	A Storage Efficient Blockchain Model for Constrained Applications.	BCCA	2021	DBLP DOI BibTeX RDF
19	Lara Nascimento, Paulo Caetano da Silva, Clóvis Belbute Peres	Blockchain's potential and opportunities for tax administrations: a systematic review.	BCCA	2021	DBLP DOI BibTeX RDF
19	Chaïmaa Benabbou, Önder Gürcan	A Survey of Verification, Validation and Testing Solutions for Smart Contracts.	BCCA	2021	DBLP DOI BibTeX RDF
19	Nejc Rozman, Marko Corn, Gasper Skulj, Janez Diaci, Lovro Subelj	Emergence of a scale-free network topology in a blockchain-based Shared Manufacturing.	BCCA	2021	DBLP DOI BibTeX RDF
19	Ates Ates, Adnan Ozsoy	Blockchain Based Lateral Transshipment.	BCCA	2021	DBLP DOI BibTeX RDF
19	Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan	Justifying the Dependability and Security of Business-Critical Blockchain-based Applications.	BCCA	2021	DBLP DOI BibTeX RDF
19	Rahul Saha, Gulshan Kumar, Alessandro Brighente, Mauro Conti	Towards An Enhanced Reputation System for IOTA's Coordicide.	BCCA	2021	DBLP DOI BibTeX RDF
19	Janka Hartmann, Omar Hasan	A social-capital based approach to blockchain-enabled peer-to-peer lending.	BCCA	2021	DBLP DOI BibTeX RDF
19	Muhammad Kashif, Kübra Kalkan	BCPriPIoT: BlockChain Utilized Privacy-Preservation Mechanism for IoT Devices.	BCCA	2021	DBLP DOI BibTeX RDF
19	Barbara Guidi, Andrea Michienzi	Interaction Communities in Blockchain Online Social Media.	BCCA	2021	DBLP DOI BibTeX RDF
19	Oliver Stengele, Markus Raiber, Jörn Müller-Quade, Hannes Hartenstein	ETHTID: Deployable Threshold Information Disclosure on Ethereum.	BCCA	2021	DBLP DOI BibTeX RDF
19	Victor Amaral de Sousa, Corentin Burnay	MDE4BBIS: A Framework to Incorporate Model-Driven Engineering in the Development of Blockchain-Based Information Systems.	BCCA	2021	DBLP DOI BibTeX RDF
19	Stefano Bistarelli, Francesco Faloci, Paolo Mori	*.chain: automatic coding of smart contracts and user interfaces for supply chains.	BCCA	2021	DBLP DOI BibTeX RDF
19	Vijak Sethaput, Supachate Innet	Blockchain Application for Central Bank Digital Currencies (CBDC).	BCCA	2021	DBLP DOI BibTeX RDF
19	Weiquan Ni, Jiawen Kang, Carsten Maple, Zehui Xiong, Alia Asheralieva	Fast and Secure Consortium Blockchains with Lightweight Block Verifiers.	BCCA	2021	DBLP DOI BibTeX RDF
19	Caspar Schwarz-Schilling, Sheng-Nan Li, Claudio J. Tessone	Agent-based Modelling of Strategic behavior in PoW Protocols.	BCCA	2021	DBLP DOI BibTeX RDF
19	Marten Sigwart, Philipp Frauenthaler, Christof Spanring, Michael Sober, Stefan Schulte 0002	Decentralized Cross-Blockchain Asset Transfers.	BCCA	2021	DBLP DOI BibTeX RDF
19	Giancarlo Fortino	Keynote Speech 1: Blockchain-enabled Trust in Edge-based Internet of Things Architectures: State of the art and Research Challenges.	BCCA	2021	DBLP DOI BibTeX RDF
19	Javier Arroyo	Keynote Speech 2: An overview of Decentralized Autonomous Organizations in the blockchain.	BCCA	2021	DBLP DOI BibTeX RDF
19	Tharindu Ranathunga, Ramona Marfievici, Alan McGibney, Susan Rea	A Distributed Ledger Based Platform for Automated Energy Performance Assessment.	BCCA	2021	DBLP DOI BibTeX RDF
19	Stefano Momo Loss, Har Preet Singh, Nélio Cacho, Frederico Lopes	Using FIWARE and Blockchain in Post Pandemic Vaccination Scenario.	BCCA	2021	DBLP DOI BibTeX RDF
19	Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro	Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.	BCCA	2021	DBLP DOI BibTeX RDF
19	Vladimir Radunovic, Jonas Grätz-Hoffmann, Marilia Maciel	Impact of Good Corporate Practices for Security of Digital Products on Global Cyber Stability.	CyCon	2021	DBLP DOI BibTeX RDF
19	Anastasia Roberts, Adrian Venables	The Role of Artificial Intelligence in Kinetic Targeting from the Perspective of International Humanitarian Law.	CyCon	2021	DBLP DOI BibTeX RDF
19	Johannes Klick, Robert Koch 0002, Thomas Brandstetter	Epidemic? The Attack Surface of German Hospitals during the COVID-19 Pandemic.	CyCon	2021	DBLP DOI BibTeX RDF
19	Bobby Vedral	The Vulnerability of the Financial System to a Systemic Cyberattack.	CyCon	2021	DBLP DOI BibTeX RDF
19	James Pavur, Martin Strohmeier, Vincent Lenders, Ivan Martinovic	In the Same Boat: On Small Satellites, Big Rockets, and Cyber Trust.	CyCon	2021	DBLP DOI BibTeX RDF
19	Jason Blessing	The Global Spread of Cyber Forces, 2000-2018.	CyCon	2021	DBLP DOI BibTeX RDF
19	James Shires	Windmills of the Mind: Higher-Order Forms of Disinformation in International Politics.	CyCon	2021	DBLP DOI BibTeX RDF
19	Arturs Lavrenovs, Roman Graf	Explainable AI for Classifying Devices on the Internet.	CyCon	2021	DBLP DOI BibTeX RDF
19	Vasileios Mavroeidis, Ryan Hohimer, Tim Casey, Audun Jøsang	Threat Actor Type Inference and Characterization within Cyber Threat Intelligence.	CyCon	2021	DBLP DOI BibTeX RDF
19	Roland Meier, Arturs Lavrenovs, Kimmo Heinäaro, Luca Gambazzi, Vincent Lenders	Towards an AI-powered Player in Cyber Defence Exercises.	CyCon	2021	DBLP DOI BibTeX RDF
19	Charles Harry, Skanda Vivek	Strategic Cyber Effects in Complex Systems: Understanding the US Air Transportation Sector.	CyCon	2021	DBLP DOI BibTeX RDF
19	Csaba Krasznay, Gergö Gyebnár	Possibilities and Limitations of Cyber Threat Intelligence in Energy Systems.	CyCon	2021	DBLP DOI BibTeX RDF
19	Monica Kaminska, Dennis Broeders, Fabio Cristiano	Limiting Viral Spread: Automated Cyber Operations and the Principles of Distinction and Discrimination in the Grey Zone.	CyCon	2021	DBLP DOI BibTeX RDF
19	François Delerue	Covid-19 and the Cyber Pandemic: A Plea for International Law and the Rule of Sovereignty in Cyberspace.	CyCon	2021	DBLP DOI BibTeX RDF
19	Brandon Valeriano, Benjamin Jensen	Building a National Cyber Strategy: The Process and Implications of the Cyberspace Solarium Commission Report.	CyCon	2021	DBLP DOI BibTeX RDF
19	Neal Kushwaha, Keir Giles, Tassilo Singer, Bruce W. Watson	Cyber Personhood.	CyCon	2021	DBLP DOI BibTeX RDF
19	Nikola Pijovic	The Cyberspace 'Great Game'. The Five Eyes, the Sino-Russian Bloc and the Growing Competition to Shape Global Cyberspace Norms.	CyCon	2021	DBLP DOI BibTeX RDF
19	Pietro Baroni, Federico Cerutti 0001, Daniela Fogli, Massimiliano Giacomin, Francesco Gringoli, Giovanni Guida, Paul Sullivan	Self-Aware Effective Identification and Response to Viral Cyber Threats.	CyCon	2021	DBLP DOI BibTeX RDF
19	Martin C. Libicki, David Gompert	Quantum Communication for Post-Pandemic Cybersecurity.	CyCon	2021	DBLP DOI BibTeX RDF