Published Books (Author, Co-author or Editor)

  1. Maz'ya, V.; Nazarov, S.; Plamenevskij, B.;
    "Asymptotic Theory of Elliptic Boundary Value Problems in Singulary Perturbed Domains", Volume I.
    Birkhäuser Verlag Basel-Boston-Berlin 2000,
    Translation from German into English (together with G. Heinig).
  2. Posthoff, Ch.; Steinbach, B.
    "Logic Functions and Equations – Binary Models for Computer Science."
    Springer, Dordrecht, The Netherlands, 2004, pp 1 – 392.
  3. Steinbach, B.; Posthoff, Ch.
    "Logic Functions and Equations – Examples and Exercises. "
    Springer Science + Business Media B.V., 2009. ISBN 978-1-4020-9594-8, pp 1 – 231.

Publications in Referred Journals

  1. Posthoff, Ch.
    "Artificial Intelligence and its Impact on the Financial and Commercial Sectors"
    Caribbean Academy of Sciences, 21. 3. 1995.
  2. Posthoff, Ch.
    "Computer Chess - Artificial Intelligence - Computer Science Education"
    Inaugural Lecture, The University of the West indies, Faculty of Natural Sciences, 20.3. 1995.
  3. Posthoff, Ch., Crichlow, J.
    "Computer Science Education - Present Stage and Further Requirements"
    6th Annual General Meeting of the Caribbean Academy of Sciences, St. Lucia, April 1995.
  4. Posthoff, Ch.
    "Konstruktion von Fuzzy-Modellen durch Lernen aus Beispielen"
    (The Construction of Fuzzy Models by Learning from Examples)
    GMD - IPSI, Darmstadt, Germany, June 1995.
  5. Posthoff, Ch.
    "Learning Fuzzy-logical Structures from Examples"
    Workshop on Advances in Methodology and Software in Decision Support Systems,
    4. - 6. September 1995, IIASA, Laxenburg, Austria.
  6. Posthoff, Ch.
    "Apprentissage par des Exemples. Théorie et Applications".
    UNIVERSITE DES ANTILLES ET DE LA GUYANE,
    Faculté des Sciences Exactes et Naturelles Département de Mathématiques-Informatiques
    Guadeloupe, 9. Jan. 1996
  7. G. Grohmann, M. Krauss, G. Pöhlmann, H.-P. Pohl, Ch. Posthoff, D. Bilz, S. Müller
    "Die Autokorrelationsfunktion der Herzperiodendauer zur Beschreibung der statistischen Abhängigkeit zwischen den Herzaktionen - eine weitere mögliche Beschreibungsform zur Früherkennung kardiovaskuärer Erkrankungen?"
    Teil I: Theoretische Grundlagen
    Teil II: Erste Messungen an Patienten
    (The Autocorrelation Function of the Heart Period Duration in Order to Describe Statistical Dependencies Between the Heart Actions - a Further Possibility for an Early Detection of Cardiovascular Diseases? - Part I: Theoretical Foundations, Part II: First Measurements at Patients)
    Perfusion 10/96, 9. Jahrgang, S. 370 - 385, Perfusion 11/96, 9. Jahrgang, S. 396 - 410).
  8. Posthoff, Ch.
    "Multi-Media and Technological Change".
    Trinidad and Tobago Bureau of Standards - Meeting of the Panamerican Standards Commission (COPANT), Trinidad Mai 1996.
  9. Bissessarsingh, R., Saunders, R., Addae, J., Posthoff, C.
    "Quantification of microvascular resistance in patients with diabetes mellitus"
    West Indian Med. J. 50 (Suppl. 7), 42, 2001.
  10. Peters, H., Saunders, R., Addae, J., Posthoff, C., Reid, S., Baboolal, N.
    "Quantification of EEG waves in healthy persons and patients with brain disorders"
    West Indian Med. J. 50 (Suppl. 7), 17, 2001.

Publications in Conference Proceedings

  1. Posthoff, C. "Learning Logic Functions from Examples - Better Conceptions and Models"
    Proceedings Intelligent Information Systems IIS'97, Grand Bahama Island, December 1997
  2. Peters, H., Addae, J., Saunders, R., Posthoff, C., Neehall, J., Baboolal, N.
    "Analysis of EEG Coherence Matrix in Healthy and Patients with Functional Disorders"
    IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe, May 1998.
  3. Arjoon, C., Addae, J., Saunders, R., Posthoff,C., Krauss, M., Teelucksingh, P., Thomas, C.
    "Analysis of the Cardiovascular and Autonomic Nervous Systems in Normals and Patients Using Photoplethysmography"
    IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe, May 1998.
  4. Primus, E., Addae, J., Singh, R., Saunders, R., Posthoff,C., Krauss, M.
    "Effects of Celiprolol and Propranolol on Hypertension-induced Changes in Cardiovascular Parameters Assessed by Photoplethysmography"
    IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe, May 1998.
  5. Posthoff, C.
    "Learning from Examples and Decision Trees"
    IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe, May 1998.
  6. Ramadharsingh, R., Saunders, R., Posthoff, C., Addae, J., Thomas, C., Rassi, D.
    " SQUID magnetocardiography in healthy Trinidadians"
    Proceedings of XXI Congress of the European Society of Cardiology. 1999, pp. 991-994.
  7. Saunders, R., Peters, H., Addae, J., Posthoff, C., Reid, S., Baboolal, N.
    " Coarse-grained dimensional analysis of EEG waves in healthy and patients with functional disorders"
    12th Annual Meeting and Conference of the Caribbean Academy of Sciences, Guyana, 2001.
  8. Posthoff, Chr.; Steinbach, B.
    " Functions Implicitly Defined by Logic Equations - Unique Solutions"
    In: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 19. - 20. September 2002, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 61 – 70.
  9. Steinbach, B.; Posthoff, Chr.
    "Optimal Design Using Implicitly Given Function Sets"
    In: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 446 – 453.
  10. Steinbach, B.; Posthoff, Chr.
    "Optimal Design by Resolving Boolean Equations"
    in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 454 – 457.
  11. Steinbach, B.; Posthoff, Chr.
    "Optimal Design Using Implicitly Given Function Sets"
    in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 446 – 453.
  12. Posthoff, Ch.; Steinbach, B.
    "Logic Functions and Equations – Binary Models for Computer Science"
    Springer, Dordrecht, The Netherlands, 2004, pp 1 – 392.
  13. Arvind S. Mohais, Rui Mendes, Christopher Ward, Christian Posthoff
    " Neighborhood Re-structuring in Particle Swarm Optimization "
    Australian Conference on Artificial Intelligence 2005: 776-785
  14. Posthoff, Ch.; Steinbach, B.
    " A Multi-Processor Approach to SAT-Problems"
    in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 7th International Workshops on Boolean Problems, 21. - 22. September 2006, Freiberg University of Mining and Technology, Freiberg, 2006, pp. 49 – 62.
  15. Steinbach, B.; Posthoff, Ch.
    "Extended Theory of Boolean Normal Forms "
    in: Proceedings of the 6th Annual Hawaii International Conference on Statistics, Mathematics and Related Fields, Honolulu, Hawaii, 2007, pp. 1124 – 1139.
  16. Posthoff, Ch.; Steinbach, B.
    "SAT-Problems - New Findings "
    in: Proceeding of the 6th WSEAS International Conference on Data Networks, Communications, Computers, Trinidad and Tobago, November 5-7, 2007, pp. 339 – 344.
  17. Steinbach, B.; Posthoff, Ch.
    "XBOOLE and the Education of Engineers"
    in: Computer - Aided Design of Discrete Devices - CAD DD 2007,Proceedings of the Sixth International Conference 14 – 15 November 2007, Minsk, Belarus, Volume 2, pp. 14 – 22.
  18. Arvind S. Mohais, Rosemarie Mohais, Christopher Ward, Christian Posthoff
    " Earthquake classifying neural networks trained with random dynamic neighborhood"
    PSOs. GECCO 2007: 110-117
  19. Steinbach, B.; Posthoff, Ch.
    "Set-Based SAT-Solving."
    in: Journal - FACTA UNIVERSITATIS (NIŠ), Series.: Electronics and Energetics. Vol. 20, No. 3, December 2007, 395 – 414.
  20. Posthoff, Ch.; Steinbach, B.
    "Sudoku Solutions Using Logic Equations"
    in: Steinbach, B. (Hrsg.): Proceedings of the 8th International Workshops on Boolean Problems, 18. - 19. September 2008, Freiberg University of Mining and Technology, Freiberg, 2008, pp. 49 – 57.
  21. Posthoff, Ch.; Steinbach, B.
    "The Solution of Combinatorial Problems Using SAT"
    in: SIAM Conference on Discrete Mathematics - Abstracts, 16 – 19 Juni 2008, Burlington (Vermont), USA, p. 36.
  22. Steinbach, B; Posthoff, Ch.
    "Complete Sets of Hamiltonian Circuits for Classification of Documents"
    in: Moreno-Diaz, Roberto; Pichler, Franz; Quesada-Arencibia, Alexis; Computer Aided System Theory - EUROCAST 2009. Springer (LNCS 5717), Berlin, Heidelberg, New York, 2009, ISBN-1 0 3-642-04771-8 , ISBN-13 978-3-642-04771-8, pp. 526 – 533.
  23. Steinbach, B; Posthoff, Ch.
    "The Boolean Differential Calculus - Introduction and Examples "
    Proceedings – Reed-Muller Workshop 2009, Naha, Okinawa, Japan, 2009, pp 107 - 117.
  24. Steinbach, B.; Posthoff, Ch.
    "Complete Sets of Hamiltonian Circuits for Classification of Documents. "
    in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): EUROCAST 2009 – Computer Aided System Theory, Extended Abstracts. IUCTC Universidad de Las Palmas de Grand Canaria, 2009. ISBN 978-84-691-8502-5, pp. 177 - 178.
  25. Steinbach, B; Posthoff, Ch.
    " Boolean Differential Calculus - Theory and Applications"
    in: Journal of Computational and Theoretical Nanoscience, American Scientific Publishers, Valencia, California, USA, 2010, ISSN 1546-1955, Volume 7, No. 6, pp. 933 – 981.
  26. Steinbach, B; Posthoff, Ch.
    "Boolean Differential Calculus"
    in: Sasao, T., Butler, J.T.; Progress in Applications of Boolean Functions – Synthesis Lecturers on Digital Circuits and Systems # 26. Morgan & Claypool Publishers, San Rafael, CA – USA, 2010, ISBN 978-1-60845-181-4, pp. 55 – 78, 121 – 126.
  27. Posthoff, Ch.; Steinbach, B.
    "The Solution of Discrete Constraint Problems Using Boolean Models "
    in: J. Filipe; A. Fred; B. Sharp: Proceedings of the 2nd International Conference on Agents and Artificial Intelligence – ICAART 2010, Valencia, Spain, ISBN: 978-989-674-021-4, pp. 487 – 493.
  28. Steinbach, B; Posthoff, Ch.; Wessely, W.
    "Approaches to Shift the Complexity Limitations of Boolean Problems"
    in: Computer - Aided Design of Discrete Devices - CAD DD 2010, Proceedings of the Seventh International Conference, 16 – 17 November 2010, Minsk, Belarus, ISBN 978-985-6744-63-4, pp. 84 – 91.
  29. Steinbach, B; Posthoff, Ch.
    "Parallel Solution of Covering Problems - Better Models and Algorithms "
    in: Proceedings of the Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2010) and Proceedings of the Annual International Conference on Real-Tome and Embedded Systems (RTES 2010), Singapore, Published by GSTF and Indexed by CrossRef., ISBN 978-981-08-7656-2, pp. A 70 – 75.
  30. Steinbach, B; Wessely, W.; Posthoff, Ch.
    "Several Approaches to Parallel Computing in the Boolean Domain"
    in: Chaudhuri, P.; Ghosh, S.; Buyya, R. K.; Cao, J.; Dahiya, D.: 2010 1st International Conference on Parallel, Distributed and Grid Computing (PDGC 2010), October 28 – 30, 2010, Jaypee Univeersity of Information Technology Waknaghat, Solan, H.P., India, ISBN 978-1-4244-7672-5 (printed proceedings), ISBN 978-1-4244-7673-2 (CD-ROM version), pp. 6 – 11.
  31. Steinbach, B; Posthoff, Ch.
    "New Results Based on Boolean Models"
    in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 29 – 36.
  32. Steinbach, B; Posthoff, Ch.
    "New Results for Sets of Boolean Functions"
    in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 21 – 28.
  33. Steinbach, B.; Posthoff, Ch.
    "Classes of Bent Functions Identified by Specific Normal Forms and Generated Using Boolean Differential Equations "
    in: FACTA UNIVERSITATIS (NIŠ), Series: Electronics And Energetics. Volume 24, Issue No. 3, ISSN: 0353-3670 , DOI number 10.2298/FUEE1103357S, NIŠ, December 2011, pp. 357 – 383.
  34. Posthoff, Ch.; Steinbach, B.
    "The Solution of SAT Problems Using Ternary Vectors and Parallel Processing "
    in: International Journal of Electronics and Telecommunications (JET), Warsaw, 2011, ISSN: 0867-6747, Volume 57, Number 3, Index 363189, pp. 233 – 249. (PDF 345K)
  35. Steinbach, B; Posthoff, Ch.
    "Classification and Generation of Bent Functions "
    in: Proceedings Reed-Muller 2011 Workshop, Tuusula, Finnland, pp. 81 – 91.
  36. Steinbach, B; Posthoff, Ch.
    "Boolean Differential Equations "
    in: Proceedings of the 20th International Workshops on Post-Binary ULSI Systems, Tuusula, Finnland, pp. 46 – 53.
  37. Steinbach, B; Posthoff, Ch.
    "Parallel Solution of Covering Problems Super-Linear Speedup on a Small Set of Cores "
    in: GSTF International Journal on Computing, Global Science and Technology Forum (GSTF), Singapore, 2011, ISSN: 2010-2283, Volume 1, Number 2, pp. 113 – 122.
  38. Steinbach, B; Posthoff, Ch.
    "Improvements in Exact Minimal Waveform Coverings of Periodic Binary Signals "
    in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 13th International Conference on Computer Aided System Theory (Eurocast 2011), IUCTC Universidad de Las Palmas de Grand Canaria, 2011, ISBN 978-84-693-9560-8, pp. 410 – 411.
  39. Steinbach, B; Posthoff, Ch.
    "Utilization of Permutation Classes for Solving Extremely Complex 4-Colorable Rectangle-free Grids "
    in: Proceedings of the IEEE 2012 International Conference on Systems and Informatics (ICSAI 2012), Yantai, China, ISBN: 978-1-4673-0197-8, 2012, pp. 2361 – 2370.
  40. Steinbach, B.; Posthoff, Ch.
    "Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems "
    in: Proceedings of the IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL 2012), Victoria, British Columbia, Canada, ISBN: 978-0-7695-4673-5, ISSN 0195-623X/12, DOI: 10.1109/ISMVL.2012.12, 2012, pp. 37 – 44.
  41. Steinbach, B; Posthoff, Ch.
    "The Solution of Ultra-Large Grid Problems "
    in: 21st International Workshop on Post-Binary ULSI Systems, Victoria, British Columbia, Canada, May 2012, pp. 1 – 10.
  42. Steinbach, B.; Posthoff, Ch.
    "Improvements of the Construction of Exact Minimal Covers of Boolean Functions"
    in: Roberto Moreno-Díaz, Franz Pichler und Alexis Quesada-Arencibia: 13th International Conference on Computer Aided Systems Theory - Part II, Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2012, Volume 6928, ISBN: 978-3-642-27578-4, DOI: 10.1007/978-3-642-27579-1_35, 2012, pp. 272 – 279.
  43. Steinbach, B; Posthoff, Ch.
    "Algorithm for Fast Calculation of Exact Minimal Coverings on Both the CPU and the GPU "
    in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 14th International Conference on Computer Aided System Theory (Eurocast 2013), IUCTC Universidad de Las Palmas (Grand Canaries), 2013, ISBN 978-84-695-6971-9, pp. 262 – 263.
  44. Steinbach, B.; Posthoff, Ch.
    "Sources and Obstacles for Parallelization - a Comprehensive Exploration of the Unate Covering Problem Using Both CPU and GPU "
    in: Astola, J.; Kameyama, M.; Lukac M.; Stanković R. S. (Eds.): GPU Computing with Applications in Digital Logic. Tampere International Center for Signal Processing. TICSP series # 62, Tampere 2012, ISBN 978-952-15-2920-7, ISSN 1456-2774, (e-book), pp. 63 – 96.
  45. Steinbach, B.; Posthoff, Ch.
    "Solutions of Exceptionally Complex Boolean Problems"
    in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 185 – 223.
  46. Steinbach, B.; Posthoff, Ch.
    "Search Space Restriction for Maximal Rectangle-Free Grids"
    in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 155 – 162.
  47. Steinbach, B.; Posthoff, Ch.
    "Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem "
    in: J. Filipe; A. Fred: Proceedings of the 5th International Conference on Agents and Artificial Intelligence – ICAART 2013, Valencia, Spain, Volume 2, ISBN: 978-989-8565-39-6, pp. 411 – 418.

Research reports

  1. Krauss, M., Grohmann, G., Addae, J., Posthoff, C., Saunders, R.
    " Non-invasive recording of parameters of the heart and the circulatory system using the NIRP-method and its application for the sickle cell anaemia"
    Monograph (48 pages), 2002.