Michal Palka
Visar 13 publikationer
Generating constrained random data with uniform distribution
Splittable pseudorandom number generators using cryptographic hashing
Generating Constrained Random Data with Uniform Distribution
Splittable Pseudorandom Number Generators using Cryptographic Hashing
Testing an Optimising Compiler by Generating Random Lambda Terms
Testing an Optimising Compiler by Generating Random Lambda Terms
Ranking programs using black box testing
Finding Race Conditions in Erlang with QuickCheck and PULSE
Finding Race Conditions in Erlang with Quick Check and PULSE
Finding race conditions in erlang with quickcheck and PULSE
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt
Centre of excellence for Global Systems Science (CoeGSS)