↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "WFRF:(Lin Yi) srt2:(2000-2004);lar1:(uu)"

Sökning: WFRF:(Lin Yi) > (2000-2004) > Uppsala universitet

Resultat 1-6 av 6

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Dunér, Torun, et al. (författare) Cloning, structural characterization and functional expression of a zebrafish bradykinin B2-related receptor 2002 Ingår i: Biochemical Journal. - 0264-6021. ; 364, s. 817- Tidskriftsartikel (refereegranskat)
2.	Lin, Huimin, et al. (författare) A complete axiomatisation for timed automata 2000 Ingår i: FST TCS 2000. ; , s. 277-289 Konferensbidrag (refereegranskat)
3.	Lin, Huimin, et al. (författare) A Complete Axiomatisation for Timed Automata 2000 Rapport (övrigt vetenskapligt/konstnärligt)abstract Timed automata has been recognised as a fundamental model for real time systems, but it still lacks a satisfactory algebraic theory. This paper fills the gape by presenting a complete proof system for timed automata, in which the equalities between pairs of timed automata that are timed bisimilar can be derived. The proof of the completeness result relies on the introduction of the notion of symbolic timed bisimulation.
4.	Lin, Huimin, et al. (författare) Axiomatising timed automata 2002 Ingår i: Acta Informatica. - 0001-5903. ; 38:4, s. 277-305 Tidskriftsartikel (refereegranskat)
5.	Ringholm, Aneta, et al. (författare) One melanocortin 4 and two melanocortin 5 receptors from zebrafish show remarkable conservation in structure and pharmacology. 2002 Ingår i: J Neurochem. ; 82, s. 6- Tidskriftsartikel (refereegranskat)
6.	Wang, Zhuanhua, et al. (författare) Purification and some properties of the protein with 24kDa in Tartary buckwheat 2000 Ingår i: Fagopyrum. ; 17, s. 41- Tidskriftsartikel (refereegranskat)

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 1-6 av 6

Avgränsa träffmängd

Typ av publikation: tidskriftsartikel (4); rapport (1); konferensbidrag (1)

Typ av innehåll: refereegranskat (5); övrigt vetenskapligt/konstnärligt (1)

Författare/redaktör: Yi, Wang (3); Lin, Huimin (3); Larhammar, Dan (2); Postlethwait, John H ... (2); Yan, Yi-Lin (2); Schiöth, Helgi B. (1); visa fler...; Wieslander, Gunilla (1); Fredriksson, Robert (1); Yang, Bin (1); Kukkonen, Jyrki P. (1); Åkerman, Karl E. O. (1); Norback, Dan (1); Li, Yi (1); Conlon, J Michael (1); Ringholm, Aneta (1); Dunér, Torun (1); Zhang, Zheng (1); Poliakova, Natalia (1); Wang, Zhuanhua (1); Lin, Rufa (1); visa färre...

Lärosäte: Uppsala universitet (6)Ta bort avgränsningen

Språk: Engelska (4); Odefinierat språk (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy