×
Edit Profile (opens in new tab)

Pałka, Michał H.

Co-Author Distance
Author ID: palka.michal-h Recent zbMATH articles by "Pałka, Michał H."
Published as: Pałka, Michał H.; Palka, Michal; Pałka, Michał
Documents Indexed: 2 Publications since 2009
1 Contribution as Editor
Co-Authors: 7 Co-Authors with 3 Joint Publications
58 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Claessen, Koen
1 Arts, Thomas
1 Duregård, Jonas
1 Myreen, Magnus O.
1 Smallbone, Nicholas
1 Svensson, Hans
1 Wiger, Ulf

Serials

1 Journal of Functional Programming
1 Lecture Notes in Computer Science

Fields

3 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

Citations contained in zbMATH Open

2 Publications have been cited 5 times in 4 Documents Cited by ▼ Year ▼
Generating constrained random data with uniform distribution. Zbl 1420.68036
Claessen, Koen; Duregård, Jonas; Pałka, Michał H.
3
2015
Finding race conditions in Erlang with quickcheck and PULSE. Zbl 1302.68078
Claessen, Koen; Palka, Michal; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, Ulf
2
2009
Generating constrained random data with uniform distribution. Zbl 1420.68036
Claessen, Koen; Duregård, Jonas; Pałka, Michał H.
3
2015
Finding race conditions in Erlang with quickcheck and PULSE. Zbl 1302.68078
Claessen, Koen; Palka, Michal; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, Ulf
2
2009
all top 5

Cited by 15 Authors

2 Hughes, John
2 Lampropoulos, Leonidas
2 Pierce, Benjamin C.
1 Bocchi, Laura
1 Fabbretti, Giovanni
1 Gallois-Wong, Diane
1 Goldstein, Harrison
1 Hriţcu, Cătălin
1 Lami, Pietro
1 Lanese, Ivan
1 Lange, Julien
1 Sacerdoti Coen, Claudio
1 Stefani, Jean-Bernard
1 Voinea, A. Laura
1 Xia, Li-Yao

Cited in 2 Serials

1 Logical Methods in Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Cited in 1 Field

4 Computer science (68-XX)

Citations by Year