PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hirzel, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).

, , and . DARTS, 1 (1): 08:1-08:2 (2015)

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.

Kai Hirzel University of Stuttgart

Martin Wimpff University of Stuttgart

EEG motor imagery decoding: A framework for comparative analysis with channel attention mechanisms, , , and . Journal of Neural Engineering, (2024)

Dr. -Ing. Martin Dazer University of Stuttgart

Increasing Availability of High Power Drivetrain Applications using Adaptive Operating Strategies. (2024)(Präsentation).

Martin Baumann

Martin Schwartz University of Stuttgart

 

Other publications of authors with the same name

Testing properties of dataflow program operators., , , and . ASE, page 103-113. IEEE, (2013)Safe Data Parallelism for General Streaming., , , and . IEEE Trans. Computers, 64 (2): 504-517 (2015)IBM Streams Processing Language: Analyzing Big Data in motion., , , , , , , , , and 1 other author(s). IBM Journal of Research and Development, 57 (3/4): 7 (2013)Stream Query Optimization., , , and . Encyclopedia of Big Data Technologies, Springer, (2019)From a Stream of Relational Queries to Distributed Stream Processing., , , , , , and . PVLDB, 3 (2): 1394-1405 (2010)Extending Stan for Deep Probabilistic Programming., , , , and . CoRR, (2018)On the usefulness of type and liveness accuracy for garbage collection and leak detection., , and . ACM Trans. Program. Lang. Syst., 24 (6): 593-624 (2002)Pointer Analysis in the Presence of Dynamic Class Loading., , and . ECOOP, volume 3086 of Lecture Notes in Computer Science, page 96-122. Springer, (2004)Q*cert: A Platform for Implementing and Verifying Query Compilers., , , , and . SIGMOD Conference, page 1703-1706. ACM, (2017)Optimal and General Out-of-Order Sliding-Window Aggregation., , and . PVLDB, 12 (10): 1167-1180 (2019)