Rob van Glabbeek

Dikutip oleh

	Semua	Sejak 2020
Kutipan	10972	1663
indeks-h	50	19
indeks-i10	115	46

500

250

125

375

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202543 66 130 129 146 160 237 265 235 198 230 248 258 227 252 259 347 324 386 332 382 397 371 492 432 417 391 436 389 390 371 397 248 338 307 308 61

Akses publik

Lihat semua

22 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Peter HöfnerAustralian National University (ANU)Email yang diverifikasi di hoefner-online.de
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail yang diverifikasi di vu.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityEmail yang diverifikasi di cs.ru.nl
Yuxin DengProfessor, East China Normal UniversityEmail yang diverifikasi di sei.ecnu.edu.cn
Wee Lum TanGriffith UniversityEmail yang diverifikasi di griffith.edu.au
Marius PortmannThe University of QueenslandEmail yang diverifikasi di eecs.uq.edu.au
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
matthew hennessyProfessor of Computer ScienceEmail yang diverifikasi di cs.tcd.ie
Annabelle McIverMacquarie UniversityEmail yang diverifikasi di mq.edu.au
A FehnkerMacquarie UniversityEmail yang diverifikasi di mq.edu.au
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
Carroll MorganProfessor, University of New South WalesEmail yang diverifikasi di unsw.edu.au
David G. StorkAdjunct Professor, Stanford UniversityEmail yang diverifikasi di alum.mit.edu
Jos BaetenEmail yang diverifikasi di cwi.nl
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityEmail yang diverifikasi di cs.sunysb.edu
Bernhard SteffenProfessor für Informatik, TU DortmundEmail yang diverifikasi di cs.uni-dortmund.de
Dominic J. D. HughesEmail yang diverifikasi di theory.stanford.edu
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityEmail yang diverifikasi di ru.is
Chenyi ZhangUniversity of CanterburyEmail yang diverifikasi di canterbury.ac.nz
Kirstin PetersUniversität AugsburgEmail yang diverifikasi di uni-a.de

Ikuti

Rob van Glabbeek

UNSW

Email yang diverifikasi di cs.stanford.edu - Beranda

Concurrency concurrency theory process algebra formal methods temporal logic


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The linear time-branching time spectrum I. The semantics of concrete, sequential processes RJ Van Glabbeek Handbook of process algebra, 3-99, 2001	1482	2001
Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996	1232	1996
The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. RJ van Glabbeek CONCUR'93, 66-81, 1993	722*	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	721	1995
Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager International Conference on Parallel Architectures and Languages Europe, 224-242, 1987	429	1987
Refinement of actions and equivalence notions for concurrent systems R van Glabbeek, U Goltz Acta Informatica 37 (4-5), 229-327, 2001	380*	2001
Equivalence notions for concurrent systems and refinement of actions R van Glabbeek, U Goltz Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989	308	1989
Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990	231*	1990
The linear time-branching time spectrum RJ Glabbeek CONCUR'90 Theories of Concurrency: Unification and Extension, 1990	204*	1990
Configuration structures RJ Van Glabbeek, GD Plotkin Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995	169	1995
On the expressiveness of higher dimensional automata RJ van Glabbeek Theoretical computer science 356 (3), 265-290, 2006	159	2006
Refinement of actions in causality based models R van Glabbeek, U Goltz Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	144	1990
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987	142	1987
Configuration structures, event structures and Petri nets RJ van Glabbeek, GD Plotkin Theoretical Computer Science 410 (41), 4111-4159, 2009	132	2009
Characterising testing preorders for finite probabilistic processes Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007	127	2007
Document controlled workflow systems and methods DG Stork, R Van Glabbeek US Patent 7,120,699, 2006	114	2006
Branching bisimilarity with explicit divergence R van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009	103	2009
The refinement theorem for ST-bisimulation semantics RJ van Glabbeek Centre for Mathematics and Computer Science, 1990	98	1990
A process algebra for wireless mesh networks A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan Programming Languages and Systems: 21st European Symposium on Programming …, 2012	96	2012
Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ Van Glabbeek LICS, 1-10, 2003	96	2003

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama