I.S.W.B. Prasetya

Identifiers

No identifiers captured yet.

Papers (4)

1. Model Checking a C++ Software Framework, a Case Study cs.SE · 2019 · author #2
2. Having Fun in Learning Formal Specifications cs.SE · 2019 · author #1
3. Neural Networks as Artificial Specifications cs.SE · 2018 · author #1
4. Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle and Embedded Relevance Boosting Factors cs.IR · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Craig Q.H.D. Leek 1 shared papers
• Diyah Puspitaningrum 1 shared papers
• Jan van Bergen 1 shared papers
• Jelle J. Oostveen 1 shared papers
• J.M. Everink 1 shared papers
• John L{\aa}ng 1 shared papers
• Joris ten Tusscher 1 shared papers
• Mike de Vries 1 shared papers
• Minh An Tran 1 shared papers
• Orestis Melkonian 1 shared papers
• P.A. Wicaksono 1 shared papers
• Petar Kostic 1 shared papers
• Rick Meijerink 1 shared papers
• Roan Oosenbrug 1 shared papers
• Thomas van der Klis 1 shared papers
• Tijmen van den Pol 1 shared papers
• Wink M. van Zon 1 shared papers