Search for

Bibliographia Humboldtiana Index

Bibliographia Humboldtiana

III. Publications by Research Awardees in 2010

Computer science, information science, statistics

Boerger, Prof. Dr. Egon

Universita di Pisa, Italy
Field of research: Applied computer science, applied information science
Host: Prof. Dr. Bernhard Thalheim Christian-Albrechts-Universität zu Kiel
  • Egon Boerger and and Ove Soerensen: BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics. In: Handbook of conceptual modelling. (Ed. D. Embley and B. Thalheim) Berlin Heidelberg New York etc.: Springer-Verlag, 2010, p. 1 - 46 [Business Process Modelling Notation, Abstract State Machines].

Grigoriev, Prof. Dr. Dima

Universite de Lille I, France
Field of research: Theoretical computer and information science
Host: Prof. Dr. Ulrich Trottenberg Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen (SCAI)
  • Dima Grigoriev, Fritz Schwarz: Non-holonomic ideals in the plane and absolute factoring. In: Proc. ACM Int. Symp. Symb. Algebr. Comput., Munich,. Proc., 2010, p. 93 - 97.

  • Dima Grigoriev, Gerald Tenenbaum: A low complexity probabilistic test for integer multiplication. In: Journal of Complexity. 26, 2010, p. 263 - 267.

  • Dima Grigoriev, S.Vakulenko: Complexity and stable evolution of circuits. In: Proofs, Categories and Computations. Essays in honor of Grigori Mints.. (Ed. Edited by Solomon Feferman and Wilfried Sieg. ) Tributes Series. Dov Gabbay: College Publications. , 2010, p. 279 - 296.

Hemaspaandra, Prof. Dr. Lane A.

University of Rochester, United States of America
Field of research: Theoretical computer and information science
Host: Prof. Dr. Jörg-Matthias Rothe Heinrich-Heine-Universität Düsseldorf
  • Dorthea Baumeister, Gabor Erdelyi, Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe: Computational Aspects of Approval Voting. In: Handbook on Approval Voting. (Ed. J. Laslier, M. Sanver) Springer, 2010, p. 199 - 251 [Computational complexity, computational social choice ].

Shukla, Prof. Dr. Sandeep Kumar

Virginia Polytechnic Institute and State University, United States of America
Field of research: Computer engineering, technical computer science
Host: Prof. Dr. Klaus Schneider Technische Universität Kaiserslautern
  • Brandt, J.; Schneider, K.; Ahuja, S.; Shukla, S.K.; : The Model Checking View to Clock Gating and Operand Isolation. In: Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD), 2010 . Braga, Portugal: IEEE Computer Society, 2010, p. 181 - 190 [Low Power VLSI Design, Clock Gating, Operand Isolation, Model Checking, Mu-Calculus,].

  • Jens Brandt, Klaus Schneider, and Sandeep K. Shukla: Translating concurrent action oriented specifications to synchronous guarded actions. In: ACM SIGPLAN Notices. 45, 2010, p. 47 - 56 [Guarded Command Languages, CAOS, Bluespec, Synchronous Programming].