Krzysztof Krawiec
Orcid: 0000-0001-5439-3231
According to our database1,
Krzysztof Krawiec
authored at least 138 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints.
IEEE Trans. Evol. Comput., October, 2023
Entropy, February, 2023
Application of a Hybrid Algorithm Based on Quantum Annealing to Solve a Metropolitan Scale Railway Dispatching Problem.
CoRR, 2023
Learning Abstract Visual Reasoning via Task Decomposition: A Case Study in Raven Progressive Matrices.
CoRR, 2023
Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis.
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023
Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2023
2022
Quadratic and higher-order unconstrained binary optimization of railway rescheduling for quantum computing.
Quantum Inf. Process., 2022
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022
2021
Quadratic and Higher-Order Unconstrained Binary Optimization of Railway Dispatching Problem for Quantum Computing.
CoRR, 2021
2020
Quantum computing approach to railway dispatching and conflict management optimization on single-track railway lines.
CoRR, 2020
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020
Program synthesis as latent continuous optimization: evolutionary search in neural embeddings.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
2019
Synthesis of Constraints for Mathematical Programming With One-Class Genetic Programming.
IEEE Trans. Evol. Comput., 2019
Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire.
Genet. Program. Evolvable Mach., 2019
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019
Proceedings of the Genetic and Evolutionary Computation Conference, 2019
2018
Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis.
Evol. Comput., 2018
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
Evol. Comput., 2018
Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language.
CoRR, 2018
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Genetic and Evolutionary Computation Conference, 2018
Neuro-guided genetic programming: prioritizing evolutionary search with neural networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018
2017
Proceedings of the Encyclopedia of Machine Learning and Data Mining, 2017
Automatic synthesis of constraints from examples using mixed integer linear programming.
Eur. J. Oper. Res., 2017
Influence of initial water saturation in earthen levees on results of numerical modelling of infiltration processes.
Comput. Sci., 2017
Proceedings of the Genetic Programming Theory and Practice XV, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017
Proceedings of the Genetic Programming - 20th European Conference, 2017
Proceedings of the Genetic Programming - 20th European Conference, 2017
2016
Studies in Computational Intelligence 618, Springer, ISBN: 978-3-319-27565-9, 2016
IEEE Trans. Medical Imaging, 2016
Genet. Program. Evolvable Mach., 2016
The performance profile: A multi-criteria performance evaluation method for test-based problems.
Int. J. Appl. Math. Comput. Sci., 2016
Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning.
Proceedings of the Genetic Programming Theory and Practice XIV, 2016
Non-negative Matrix Factorization for Unsupervised Derivation of Search Objectives in Genetic Programming.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016
Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016
Proceedings of the Genetic Programming - 19th European Conference, 2016
Proceedings of the Genetic Programming - 19th European Conference, 2016
2015
Image Classification with Genetic Programming: Building a Stage 1 Computer Aided Detector for Breast Cancer.
Proceedings of the Handbook of Genetic Programming Applications, 2015
IEEE Trans. Evol. Comput., 2015
Genet. Program. Evolvable Mach., 2015
Proceedings of the International Conference on Computational Science, 2015
Genetic Programming for Estimation of Heat Flux between the Atmosphere and Sea Ice in Polar Regions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
High-Dimensional Function Approximation for Knowledge-Free Reinforcement Learning: a Case Study in SZ-Tetris.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
The Role of Behavioral Diversity and Difficulty of Opponents in Coevolving Game-Playing Agents.
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015
Genetic Programming with Alternative Search Drivers for Detection of Retinal Blood Vessels.
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015
Proceedings of the Genetic Programming - 18th European Conference, 2015
2014
Genet. Program. Evolvable Mach., 2014
Int. J. Appl. Math. Comput. Sci., 2014
Discovery of Implicit Objectives by Compression of Interaction Matrix in Test-Based Problems.
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
Building a Stage 1 Computer Aided Detector for Breast Cancer Using Genetic Programming.
Proceedings of the Genetic Programming - 17th European Conference, 2014
Proceedings of the Genetic Programming - 17th European Conference, 2014
2013
On Scalability, Generalization, and Hybridization of Coevolutionary Learning: A Case Study for Othello.
IEEE Trans. Comput. Intell. AI Games, 2013
Locally geometric semantic crossover: a study on the roles of semantics and homology in recombination operators.
Genet. Program. Evolvable Mach., 2013
Running programs backwards: instruction inversion for effective search in semantic spaces.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013
Guiding Evolutionary Learning by Searching for Regularities in Behavioral Trajectories: A Case for Representation Agnosticism.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013
2012
Comput. Math. Appl., 2012
Proceedings of the Parallel Problem Solving from Nature - PPSN XII, 2012
Proceedings of the Parallel Problem Solving from Nature - PPSN XII, 2012
Proceedings of the Parallel Problem Solving from Nature - PPSN XII, 2012
Proceedings of the Genetic and Evolutionary Computation Conference, 2012
Proceedings of the Genetic and Evolutionary Computation Conference, 2012
On relationships between semantic diversity, complexity and modularity of programming tasks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012
Proceedings of the Genetic Programming - 15th European Conference, 2012
2011
Formal Analysis, Hardness, and Algorithms for Extracting Internal Structure of Test-Based Problems.
Evol. Comput., 2011
Evolving small-board Go players using coevolutionary temporal difference learning with archives.
Int. J. Appl. Math. Comput. Sci., 2011
Evolutionary Tuning of Compound Image Analysis Systems for Effective License Plate Recognition.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
Semantically embedded genetic programming: automated design of abstract program representations.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
Proceedings of the Genetic Programming - 14th European Conference, 2011
2010
Proceedings of the Encyclopedia of Machine Learning, 2010
Proceedings of the Parallel Problem Solving from Nature, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
Evolving cascades of voting feature detectors for vehicle detection in satellite imagery.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
2009
Proceedings of the Genetic and Evolutionary Computation Conference, 2009
Proceedings of the Genetic and Evolutionary Computation Conference, 2009
Proceedings of the Applications of Evolutionary Computing, 2009
Proceedings of the 2009 IEEE Symposium on Computational Intelligence and Games, 2009
Proceedings of the 2009 IEEE Symposium on Computational Intelligence and Games, 2009
2008
Evolving strategy for a probabilistic game of imperfect information using genetic programming.
Genet. Program. Evolvable Mach., 2008
Proceedings of the Genetic and Evolutionary Computation Conference, 2008
Proceedings of the Genetic and Evolutionary Computation Conference, 2008
Proceedings of the Genetic and Evolutionary Computation Conference, 2008
Proceedings of the Applications of Evolutionary Computing, 2008
Winning Ant Wars: Evolving a Human-Competitive Game Strategy Using Fitnessless Selection.
Proceedings of the Genetic Programming, 11th European Conference, 2008
2007
IEEE Trans. Evol. Comput., 2007
Pattern Recognit. Lett., 2007
On the number of subpopulations in coevolutionary computation: a database application.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007
Proceedings of the Genetic and Evolutionary Computation Conference, 2007
Proceedings of the Genetic and Evolutionary Computation Conference, 2007
Proceedings of the Genetic and Evolutionary Computation Conference, 2007
Overview of Object Detection and Image Analysis by Means of Genetic Programming Techniques.
Proceedings of the Frontiers in the Convergence of Bioscience and Information Technologies 2007, 2007
Proceedings of the Applications of Evolutinary Computing, 2007
2006
Proceedings of the Artificial Intelligence and Soft Computing, 2006
Learning High-Level Visual Concepts Using Attributed Primitives and Genetic Programming.
Proceedings of the Applications of Evolutionary Computing, 2006
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006
2005
Monographs in Computer Science, Springer, ISBN: 978-0-387-24452-5, 2005
IEEE Trans. Syst. Man Cybern. Part B, 2005
2004
Coevolutionary feature construction for transformation of representation of machine learners.
Proceedings of the Intelligent Information Processing and Web Mining, 2004
2003
Business Applications of Neural Networks: P.J.G. Lisboa, B. Edisbury, A. Vellido (Eds.); World Scientific, Singapore, 2000, 220 pages, ISBN 981-02-4089-9.
Eur. J. Oper. Res., 2003
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2003
Proceedings of the Machine Learning, 2003
Proceedings of the Genetic and Evolutionary Computation, 2003
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2003
2002
Genetic Programming-based Construction of Features for Machine Learning and Knowledge Discovery Tasks.
Genet. Program. Evolvable Mach., 2002
2001
On the Use of Pairwise Comparison of Hypotheses in Evolutionary Learning Applied to Learning from Visual Examples.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2001
Pairwise Comparison of Hypotheses in Evolutionary Learning.
Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001), Williams College, Williamstown, MA, USA, June 28, 2001
Proceedings of the Computer Analysis of Images and Patterns, 9th International Conference, 2001
2000
Artif. Intell. Medicine, 2000
1998
Proceedings of the Rough Sets and Current Trends in Computing, 1998
1995
Comput. Intell., 1995
1993
Neural Networks and Rough Sets - Comparison and Combination for Classification of Histological Pictures.
Proceedings of the Rough Sets, 1993