Martin Lukac

Orcid: 0000-0001-8754-0701

According to our database1, Martin Lukac authored at least 57 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Editorial Note for the Speical Issue on Multiple Valued Logic 2023.
FLAP, 2023

Verification Based Algorithm Selection.
Proceedings of the International Conference on Information and Digital Technologies, 2023

2022
Editorial Note for the Special Issue on Multiple-Valued Logic.
FLAP, 2022

Approximate Function Classification.
Proceedings of the Computational Science - ICCS 2022, 2022

2021
Reputation systems and recruitment in online labor markets: insights from an agent-based model.
J. Comput. Soc. Sci., 2021

Optimization of LNN Reversible Circuits Using an Analytic Sifting Method.
J. Circuits Syst. Comput., 2021

Evaluation of Pseudo-Random Number Generation on GPU Cards.
Comput., 2021

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines.
Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2020
Editorial.
FLAP, 2020

Editorial for Special Issue on Multiple Valued Logic.
FLAP, 2020

Capacity Limits of Fully Binary CNN.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Selecting Algorithms Without Meta-features.
Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

Remove to Improve?
Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Quantum encoded quantum evolutionary algorithm for the design of quantum circuits.
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic.
FLAP, 2018

Editor's Note.
FLAP, 2018

CNOT-Measure Quantum Neural Networks.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

QL-Net: Quantized-by-LookUp CNN.
Proceedings of the 15th International Conference on Control, 2018

2017
Context Based Visual Content Verification.
CoRR, 2017

Building a Completely Reversible Computer.
CoRR, 2017

Live-feeling communication: Multi-algorithm approach to the estimation of human intentions.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016
On Minimal Accuracy Algorithm Selection in Computer Vision and Intelligent Systems.
CoRR, 2016

Reasoning and Algorithm Selection Augmented Symbolic Segmentation.
CoRR, 2016

Quantum Algorithmic Complexity of Three-Qubit Pure States.
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015
An algorithm selection based platform for image understanding using high-level symbolic feedback and machine learning.
Int. J. Mach. Learn. Cybern., 2015

Symbolic Segmentation Using Algorithm Selection.
CoRR, 2015

2014
Reversible, Information-Preserving Logic and Its Application.
J. Multiple Valued Log. Soft Comput., 2014

Synthesis of Quantum Arrays from Kronecker Functional Lattice Diagrams.
IEICE Trans. Inf. Syst., 2014

Analysis of Faults in Reversible Computing.
Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Minimizing Reversible Circuits in the 2n Scheme Using Two and Three Bits Patterns.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
Quantum Finite State Machines - a Circuit Based Approach.
Int. J. Unconv. Comput., 2013

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application.
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences.
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format.
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Bayesian Network for algorithm selection: Real-world hierarchy for nodes reduction.
Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013

Natural image understanding using algorithm selection and high-level feedback.
Proceedings of the Intelligent Robots and Computer Vision XXX: Algorithms and Techniques, 2013

2012
High Speed Genetic Algorithms in Quantum Logic Synthesis: Low Level Parallelization vs. Representation?
J. Multiple Valued Log. Soft Comput., 2012

2011
Information-Preserving Logic Based on Logical Reversibility to Reduce the Memory Data Transfer Bottleneck and Heat Dissipation.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

2010
Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Adaptive Selection of Intelligent Processing Modules and its Applications.
Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009
Quantum Finite State Machines as Sequential Quantum Circuits.
Proceedings of the ISMVL 2009, 2009

Recovering temporal integrity with Data Driven Time Synchronization.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

2008
Projective Measurement-Based Logic Synthesis of Quantum Circuits.
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Evolutionary approach to quantum symbolic logic synthesis.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007
Emstar: A software environment for developing and deploying heterogeneous sensor-actuator networks.
ACM Trans. Sens. Networks, 2007

Quantum Mechanical Model of Emotional Robot Behaviors.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

End-to-End Routing for Dual-Radio Sensor Networks.
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

2006
Disruption tolerant shell.
Proceedings of the 2006 SIGCOMM workshop on Challenged networks, 2006

A self-calibrating distributed acoustic sensing platform.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

The design and implementation of a self-calibrating distributed acoustic sensing platform.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

2005
Hahoe KAIST Robot Theatre: Learning Rules of Interactive Robot Behavior as a Multiple-Valued Logic Synthesis Problem.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Test Generation and Fault Localization for Quantum Circuits.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2003
Evolutionary Approach to Quantum and Reversible Circuits Synthesis.
Artif. Intell. Rev., 2003

2002
Evolving Quantum Circuits Using Genetic Algorithm.
Proceedings of the 4th NASA / DoD Workshop on Evolvable Hardware (EH 2002), 2002


  Loading...