Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Prostate-specific antigen von Stenman, Ulf-Håkan, Leinonen, Jari, Zhang, Wan-Ming, Finne, Patrik

Volltext

Zenoness for Timed Pushdown Automata von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Identification of novel prostate‐specific antigen‐binding peptides modulating its enzyme activity von Wu, Ping, Leinonen, Jari, Koivunen, Erkki, Lankinen, Hilkka, Stenman, Ulf‐Håkan

Volltext

Adding Time to Pushdown Automata von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Budget-bounded model-checking pushdown systems von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rezine, Othmane, Stenman, Jari

Volltext

String Constraints for Verification von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Holík, Lukáš, Rezine, Ahmed, Rümmer, Philipp, Stenman, Jari

Volltext

Dense-Timed Pushdown Automata von Abdulla, P. A., Atig, M. F., Stenman, J.

Volltext

Separation of enzymatically active and inactive prostate-specific antigen (PSA) by peptide affinity chromatography von Wu, Ping, Stenman, Ulf-Håkan, Pakkala, Miikka, Närvänen, Ale, Leinonen, Jari

Volltext

Norn: An SMT Solver for String Constraints von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Holík, Lukáš, Rezine, Ahmed, Rümmer, Philipp, Stenman, Jari

Volltext

Epitope Mapping of Antibodies against Prostate-specific Antigen with Use of Peptide Libraries von Leinonen, Jari, Wu, Ping, Stenman, Ulf-Hakan

Volltext

Prostate-specific antigen forms a complex with and cleaves α1-protease inhibitor in vitro von Zhang, Wan-Ming, Leinonen, Jari, Kalkkinen, Nisse, Stenman, Ulf-Håkan

Volltext

Dual-label immunoassay for simultaneous measurement of prostate-specific antigen (PSA)-alpha1-antichymotrypsin complex together with free or total PSA von Zhu, Lei, Leinonen, Jari, Zhang, Wan-Ming, Finne, Patrik, Stenman, Ulf-Håkan

Volltext

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Immunopeptidometric Assay for Enzymatically Active Prostate-Specific Antigen von Wu, Ping, Zhu, Lei, Stenman, Ulf-Hakan, Leinonen, Jari

Volltext

Zenoness for Timed Pushdown Automata von Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Adding Time to Pushdown Automata von Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Stenman, Jari

Volltext

Approximating the Shuffle of Context-free Languages to Find Bugs in Concurrent Recursive Programs von Stenman, Jari

Volltext bestellen

IT von Stenman Jari , Uppsala universitet, Institutionen för informationsteknologi, Stenman Jari, Uppsala University, Department of Information Technology

Volltext bestellen

Characterization of monoclonal antibodies against prostate specific antigen produced by genetic immunization von Leinonen, Jari, Niemelä, Pauliina, Lövgren, Janita, Bocchi, Letizia, Pettersson, Kim, Nevanlinna, Heli, Stenman, Ulf-Håkan

Volltext