8 research outputs found
Conformance testing with labelled transition systems: Implementation relations and test generation
- Author
- Abramsky
- Aceto
- Alderden
- Alilovic-Curgus
- Baeten
- Bergstra
- Bernot
- Bolognesi
- Bosik
- Brinksma
- Brinksma
- Brinksma
- Brinksma
- Brinksma
- Brinksma
- CCITT
- Christoff
- De Nicola
- De Nicola
- De Nicola
- Drira
- Eertink
- Fujiwara
- Hoare
- Hopcrof
- ISO
- ISO
- Jan Tretmans
- Langerak
- Larsen
- Leduc
- Leduc
- Lynch
- Lynch
- Lynch
- Lynch
- Milner
- Milner
- Natarajan
- Park
- Phalippou
- Phalippou
- Phillips
- Pitt
- Segala
- Tan
- Tretmans
- Tretmans
- Tretmans
- Tretmans
- Tretmans
- Vaandrager
- van Glabbeek
- van Glabbeek
- Verhaard
- von Bochmann
- Wezeman
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
Early termination by local string in incremental language containment tests
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
Efficient trust chain model based on turing machine
- Author
- Publication venue
- 'Wiley'
- Publication date
- Field of study
A Note Concerning Nondeterministic Tape Complexities
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Efficient Planarity Testing
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Complex Properties of Grammars
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Gross motion planning—a survey
- Author
- ALAML R.
- ALT H.
- ASANO T.
- ATALLAH M. J.
- AVNAIM F.
- BARRAQUAND J.
- BOBROW J. E.
- BOISSIERE P. T.
- BROOKS R. A.
- BROOKS R.A.
- BUCKLEY S. J.
- CANNY J. F.
- CANNY J. F.
- CANNY J. F.
- CANNY J. F.
- CANNY J. F.
- CHATILA R.
- CHATILA R.
- CHEN P. C.
- CHEN Y. C.
- CHEUNG E.
- CHEW L.P.
- CLARKSON K. L.
- COLLINS G.
- CORMEN T. H.
- C~EN P. C.
- C~UANG J.
- DE REZENDE P. J.
- DONALD B.
- DONALD B.
- DUBINS L.E.
- ELGINDY H.
- EN Y. P.
- ERDMANN M.
- FAVEP~JON B.
- FAVERJON B.
- FAVERJON B.
- FONG
- FORTUNE S.
- FORTUNE S.
- FUJIMURA K.
- FUJIMURA K.
- GAW D.
- GE Q.
- GEWALI L.
- GILBERT E. G.
- GILBERT E. G.
- GOODRICH M. T.
- HAN Y.
- HERMAN M.
- HOGAN N.
- HOPCROF J.
- HOPCROFT J.
- HUANG Y. F.
- HUTCHINSON S. A.
- HWAN Y. H.
- HWANG
- HWANG Y. K.
- HWANG Y. K.
- I~LTIMSAHY A. H.
- JACOBS P.
- JONES S. T.
- JUN S.
- KANT K.
- KE
- KE Y.
- KEDEM K.
- KEDEM K.
- KEHTARNAVAZ N.
- KEIRSEY D. M.
- KHATIB O.
- KHOSLA P.
- KIRKPATRICK D. G.
- KOCH E.
- KOD CHEK
- KODITSCHEK D.E.
- KONDO K.
- KROGH B. H.
- KUAN D. T.
- LEE D. T
- LEE D. T.
- LEE S.
- LI
- LIN M. C.
- LOZANO-PI~REZ T.
- LOZANO-P~REZ T.
- LUMELSKY V.
- LUMELSKY V.
- LUMELSK~~ V.
- MAC SICI
- MAD LA S
- MITCHELL J. S.
- MITCHELL J. S.
- MIYAZAKI F.
- MONTGOMERY M.
- NEWMAN W.
- NEWMAN W.
- NNY
- NOBORIO H.
- O'DI~NLAING C.
- O'DONNELL P. A.
- O'R URKE
- PADEN B.
- PAPADIMITRIOU C. H.
- QUEK F. K.
- RAO N.
- REIF J. H.
- REIF J. H.
- REIF J. H.
- RICHBOURG R. F.
- RIMON E.
- RIMON E.
- SCHWARTZ J. T.
- SHA R M
- SHAMOS M. I.
- SHAR
- SHAR R M
- SHIN~ K. G.
- STRIP D. R.
- S~ ARIR
- TAP~BANIS K.
- THORPE C.E.
- UANC
- WARREN
- WELZL
- WILFONG G.
- WILFONG G.
- YEVNG D. Y.
- ZH
- ~ATTERGY R.
- ~NICKY M.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Responses in Arctic marine carbon cycle processes: conceptual scenarios and implications for ecosystem function
- Author
- Aagaard K.
- Aagaard K.
- Agata Weydmann
- Alcaraz M.
- Alexey K. Pavlov
- Amon R.M.W.
- Anna Silyakova
- Arrigo K.R.
- Arrigo K.R.
- Balcerak E
- Bates N.R.
- Bates N.R.
- Bates N.R.
- Bednaršek N.
- Boeuf D.
- Bourgain P.
- Brown Z.W.
- BĂ©langer S.
- BĂ©langer S.
- Campbell R.G.
- Carmack E.
- Carmack E.
- Cheung W.W.L.
- Christie Logvinova
- Coachman L.K.
- Codispoti L.A.
- Comeau A.M.
- Comeau S.
- Cottier F.R.
- Curchitser E.N.
- de Boyer Montegut C.
- Del Vecchio R.
- Deubel H.
- Dickson R.R.
- Dieckmann G.S.
- Dittmar T.
- Doney S.C.
- Ducklow H.W.
- Dunton K.H.
- Dupont F
- Elmquist M.
- Eppley R.W
- Fahl K.
- Findlay H.S.
- Frankignoulle M.
- Garneau M.-E.
- Georgina Gibson
- Granskog M.A.
- Granskog M.A.
- Grebmeier J
- Grebmeier J.M.
- Gregg W.W.
- Grenfell T.C.
- Guo L.
- Hanzlick D.J
- Hegseth E.N
- Helen S. Findlay
- Helms J.R.
- Hill V.J
- Hirche H.-J
- Hirche H.J.
- Hofmann E.E.
- Holmes R.M.
- Hopcrof R.R.
- Hovland E.K.
- Howard-Jones M.H.
- Hunt G.L. Jr.
- Ikeda T.
- Ikeda T.
- Ivleva I.V
- Jahn A.
- Jean-Éric Tremblay
- Jeansson E.
- Jumars P.A.
- Jutterström S.
- Kirchman D.L.
- Kivimae C.
- Kosobokova K.
- Kroeker J.K.
- Kędra M.
- Lalande C
- Lancelot C.
- Lavoie D.
- Le Fouest W.
- Lee S.H.
- Lenn Y.D.
- Levinsen H.
- Li W.K.W.
- Light B.
- Loeng H.
- Long M.C.
- Lovvorn J.R.
- Manizza M.
- Manizza M.
- Manizza M.
- Manney G.L.
- Marit Reigstad
- Marshall J.
- Mathis J.T.
- Mathis J.T.
- Matsumoto K.
- McGuire A.D.
- McLaughlin F.A.
- McLaughlin F.A.
- Meon B.
- Merico A.
- Miles M.W.
- Miller G.H.
- Miller W.L.
- Miller W.L.
- Monika Kędra
- Monika Orchowska
- Moore J.K.
- Mopper K.
- Moran M.A.
- Moran S.B.
- Morata N.
- Morata N.
- Morata N.
- Morse J.W.
- Mundy C.J.
- Møller E.F
- Møller E.F
- Møller E.F.
- Najjar R.G.
- Nathalie Morata
- Ngyuyen D.
- Nomura D.
- Olli K.
- Ortega-Retuerta E.
- Peterson B.J.
- Pnyushkov A.V.
- Polyakov I.V.
- Popova E.E.
- Popova E.E.
- Prisenberg S.J.
- Rachold V.
- Reigstad M.
- Renaud P.E.
- Rey F
- Rhein M.
- Riser C.W.
- Rivkin R.B.
- Rodrigues R.M.N.V.
- Rossoll D.
- Roy S.
- Rysgaard S.
- Saba G.K.
- Saliot A.
- Samtleben C.
- Schauer U.
- Schwarz J.N.
- Seibel B.A.
- Serreze M.C.
- Shadwick E.H.
- Sherr B.F.
- Sherr E.B.
- Sherr E.B.
- Sherr E.B.
- Sholkovitz E.R
- Sholkovitz E.R
- Skogen M.D.
- Smedsrud L.H.
- Smith W.O. Jr.
- Springer A.M.
- Stedmon C.A.
- Stein R.
- Steinacher M.
- Steiner N.S.
- Striegl R.G.
- Stubbins A.
- Stubbins A.
- Symon C.
- Søreide J.E.
- Takahashi K.
- Tande K.S
- Taylor J.D.
- Telang S.A.
- Thor P.
- Tremblay J.E.
- Urban-Rich J
- Valentine R.L.
- Vallières C.
- Vancoppenolle M.
- Vaquer-Sunyer R.
- Verity P.G.
- Vinogradov M.E.
- Walczowski W.
- Waldemar Walczowski
- Wassmann P
- Wassmann P.
- Weydmann A.
- Wheeler P.A.
- Whitehouse A
- Whiteley N.M
- Woodgate R.
- Woodgate R.A.
- Yool A.
- Zhang J.
- Publication venue
- 'Co-Action Publishing'
- Publication date
- Field of study