| PaSAT—Parallel SAT-checking with lemma exchange: Implementation and applications C Sinz, W Blochinger, W Küchlin Electronic Notes in Discrete Mathematics 9, 205-216, 2001 | 107 | 2001 |
| Parallel propositional satisfiability checking with distributed dynamic learning W Blochinger, C Sinz, W Küchlin Parallel Computing 29 (7), 969-994, 2003 | 92 | 2003 |
| Structured collaborative workflow design M Held, W Blochinger Future Generation Computer Systems 25 (6), 638-653, 2009 | 70 | 2009 |
| Parallel techniques for physically based simulation on multi-core processor architectures B Thomaszewski, S Pabst, W Blochinger Computers & Graphics 32 (1), 25-40, 2008 | 61 | 2008 |
| Parallel SAT solving on peer-to-peer desktop grids S Schulz, W Blochinger Journal of Grid Computing 8, 443-471, 2010 | 37 | 2010 |
| An object-oriented platform for distributed high-performance symbolic computation W Blochinger, W Küchlin, C Ludwig, A Weber Mathematics and Computers in Simulation 49 (3), 161-178, 1999 | 34 | 1999 |
| Cohesion—a microkernel based desktop grid platform for irregular task-parallel applications S Schulz, W Blochinger, M Held, C Dangelmayr Future Generation Computer Systems 24 (5), 354-370, 2008 | 32 | 2008 |
| Physically based simulation of cloth on distributed memory architectures B Thomaszewski, W Blochinger Parallel Computing 33 (6), 377-390, 2007 | 32 | 2007 |
| Zetasat-boolean satisfiability solving on desktop grids W Blochinger, W Westje, W Kuchlin, S Wedeniwski CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid …, 2005 | 28 | 2005 |
| TOSCA-based container orchestration on Mesos: two-phase deployment of cloud applications using container-based artifacts S Kehrer, W Blochinger Computer science-research and development 33, 305-316, 2018 | 27 | 2018 |
| A service-based agent framework for distributed symbolic computation RD Schimkat, W Blochinger, C Sinz, M Friedrich, W Küchlin International Conference on High-Performance Computing and Networking, 644-656, 2000 | 24 | 2000 |
| Container-based module isolation for cloud services S Kehrer, F Riebandt, W Blochinger 2019 IEEE International Conference on Service-Oriented System Engineering …, 2019 | 21 | 2019 |
| Collaborative BPEL design with a rich internet application M Held, W Blochinger 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid …, 2008 | 21 | 2008 |
| A Universal Parallel SAT Checking Kernel. W Blochinger, C Sinz, W Küchlin PDPTA, 1720-1725, 2003 | 20 | 2003 |
| AUTOGENIC: Automated Generation of Self-configuring Microservices. S Kehrer, W Blochinger CLOSER, 35-46, 2018 | 19 | 2018 |
| Capability-Aware Information Aggregation in Peer-to-Peer Grids: Methods, Architecture, and Implementation S Schulz, W Blochinger, H Hannak Journal of Grid Computing 7, 135-167, 2009 | 19 | 2009 |
| Aspect-oriented parallel discrete optimization on the cohesion desktop grid platform W Blochinger, C Dangelmayr, S Schulz Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006 | 19 | 2006 |
| Parallel implicit integration for cloth animations on distributed memory architectures M Keckeisen, W Blochinger Proceedings of the 5th Eurographics conference on Parallel Graphics and …, 2004 | 18 | 2004 |
| Towards Robustness in Parallel SAT Solving. W Blochinger PARCO, 301-308, 2005 | 17 | 2005 |
| The distributed object-oriented threads system DOTS W Blochinger, W Küchlin, A Weber Solving Irregularly Structured Problems in Parallel, 206-217, 1998 | 17 | 1998 |
Wolfgang KuechlinProfessor für Informatik (Symbolisches Rechnen), Uni Tübingen在 uni-tuebingen.de 的电子邮件经过验证
