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

Volltext

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

Volltext

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

Volltext

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

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

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

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

Volltext

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems von Abdulla, Parosh Aziz, 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

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

Volltext

Multi-pushdown systems with budgets von Abdulla, P. A., Atig, M. F., Rezine, O., Stenman, J.

Volltext bestellen

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

Volltext

Novel Peptide Inhibitors of Human Kallikrein 2 von Hekim, Can, Leinonen, Jari, Närvänen, Ale, Koistinen, Hannu, Zhu, Lei, Koivunen, Erkki, Väisänen, Ville, Stenman, Ulf-Håkan

Volltext

Activation of Type IV Procollagenases by Human Tumor-associated Trypsin-2 von Sorsa, Timo, Salo, Tuula, Koivunen, Erkki, Tyynelä, Jaana, Konttinen, Yrjö T., Bergmann, Ulrich, Tuuttila, Ari, Niemi, Elina, Teronen, Olli, Heikkilä, Pia, Tschesche, Harald, Leinonen, Jari, Osman, Sirpa, Stenman, Ulf-Håkan

Volltext

Targeted Gene-Expression Analysis by Genome-Controlled Reverse Transcription-PCR von Stenman, Jakob, Paju, Annukka, Rissanen, Oso, Tenkanen, Tuomas, Haglund, Caj, Rasanen, Jari, Salo, Jarmo, Stenman, Ulf-Hakan, Orpana, Arto

Volltext

Mass spectrometric detection of tyrosine sulfation in human pancreatic trypsinogens, but not in tumor-associated trypsinogen von Itkonen, Outi, Helin, Jari, Saarinen, Juhani, Kalkkinen, Nisse, Ivanov, Konstantin I, Stenman, Ulf-Håkan, Valmu, Leena

Volltext

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

Volltext

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

Volltext

Activity and stability of human kallikrein-2-specific linear and cyclic peptide inhibitors von Pakkala, Miikka, Hekim, Can, Soininen, Pasi, Leinonen, Jari, Koistinen, Hannu, Weisell, Janne, Stenman, Ulf-HÅkan, Vepsäläinen, Jouko, Närvänen, Ale

Volltext