( en | de | ru )

 

Disambiguation of "Rosenkrantz, Daniel J."

Author of the publication

copydeleteadd this publication to your clipboard
I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).

, , , , and . PODC, page 122. ACM, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel J Schad

Daniel J Guhr

Daniel J Alfsmann

Daniel J Schmidt

Daniel J Egger

 

Other publications of authors with the same name

Obtaining online approximation algorithms for facility dispersion from offline algorithms., , and . Networks, 47 (4): 206-217 (2006)Reachability problems for sequential dynamical systems with threshold functions., , , , , and . Theor. Comput. Sci., (2003)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times., , and . Algorithmica, 30 (1): 83-100 (2001)Computational Parallels Between the Regular and Context-Free Languages., and . SIAM J. Comput., 7 (1): 99-114 (1978)Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze., and . SIAM J. Comput., 15 (3): 831-850 (1986)Approximation Algorithms for Facility Dispersion., , and . Handbook of Approximation Algorithms and Metaheuristics, Chapman and Hall/CRC, (2007)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , and . PODC, page 122. ACM, (1996)An Efficient Method for Representing and Transmitting Message Patterns on Multiprocessor Interconnection Networks., and . J. Parallel Distributed Comput., 11 (1): 72-85 (1991)