Paul Molitor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finding the redundant gates in reversible circuits	2018-10-17	Paper
Least upper bounds for the size of OBDDs using symmetry properties IEEE Transactions on Computers	2018-07-09	Paper
Finding good tours for huge Euclidean TSP instances by iterative backbone contraction Algorithmic Aspects in Information and Management	2010-07-20	Paper
Client Hardware-Token Based Single Sign-On over Several Servers without Trusted Online Third Party Server Advances in Information Security and Its Application	2010-05-10	Paper
Technische Informatik	2009-04-09	Paper
Algorithms and Experimental Study for the Traveling Salesman Problem of Second Order Combinatorial Optimization and Applications	2009-01-27	Paper
Tolerance Based Contract-or-Patch Heuristic for the Asymmetric TSP Combinatorial and Algorithmic Aspects of Networking	2008-04-17	Paper
Improving the Efficiency of Helsgaun’s Lin-Kernighan Heuristic for the Symmetric TSP Combinatorial and Algorithmic Aspects of Networking	2008-04-15	Paper
Some Basics on Tolerances Algorithmic Aspects in Information and Management	2008-01-04	Paper
scientific article; zbMATH DE number 2168228 (Why is no real title available?)	2005-05-13	Paper
scientific article; zbMATH DE number 2111140 (Why is no real title available?)	2004-10-28	Paper
scientific article; zbMATH DE number 2080104 (Why is no real title available?)	2004-08-04	Paper
Limits of using signatures for permutation independent Boolean comparison Formal Methods in System Design	2002-09-18	Paper
Application of BDDs in Boolean matching techniques for formal logic combinational verification International Journal on Software Tools for Technology Transfer. STTT	2002-07-25	Paper
scientific article; zbMATH DE number 1249503 (Why is no real title available?)	1999-02-08	Paper
Establishing latch correspondence for sequential circuits using distinguishing signatures Integration	1999-01-12	Paper
A hierarchy preserving hierarchical bottom-up 2-layer wiring algorithm with respect to via minimization Integration	1994-01-30	Paper
scientific article; zbMATH DE number 4185548 (Why is no real title available?)	1991-01-01	Paper
scientific article; zbMATH DE number 4051519 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4035743 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4047616 (Why is no real title available?)	1987-01-01	Paper
A logic-topological calculus for the construction of integrated circuits. I Informatik. Forschung und Entwicklung	1986-01-01	Paper
A logic-topological calculus for the construction of integrated circuits. II. Informatik. Forschung und Entwicklung	1986-01-01	Paper

Research outcomes over time

This page was built for person: Paul Molitor