Marta Z. Kwiatkowska

	2009
104		Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
103		Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu: Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288
102		Radu Calinescu, Marta Z. Kwiatkowska: CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424
101		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
100		Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
99		Radu Calinescu, Marta Z. Kwiatkowska: Using quantitative analysis to implement autonomic IT systems. ICSE 2009: 100-110
98		Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska: Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341
97		Marta Z. Kwiatkowska: On Quantitative Software Verification. SPIN 2009: 2-3
96		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
95		Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek: Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. IEEE Trans. Software Eng. 35(2): 145-147 (2009)
94		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
	2008
93		Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas: WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID 2008: 73-81
92		Oksana Tymchyshyn, Marta Z. Kwiatkowska: Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB 2008: 63-76
91		Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes CoRR abs/0810.5728: (2008)
90		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-Based Probabilistic Predicate Abstraction in PRISM. Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008)
89		Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science 4(4): (2008)
88		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
87		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391(3): 239-257 (2008)
	2007
86		Marta Z. Kwiatkowska: Quantitative verification: models techniques and tools. ESEC/SIGSOFT FSE 2007: 449-458
85		Marta Z. Kwiatkowska: Quantitative verification: models, techniques and tools. ESEC/SIGSOFT FSE (Companion) 2007: 449-458
84		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
83		Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
82		Xu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
81		Xu Wang, Marta Z. Kwiatkowska: On Process-algebraic Verification of Asynchronous Circuits. Fundam. Inform. 80(1-3): 283-310 (2007)
80		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
	2006
79		Xu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
78		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
77		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
76		Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
75		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
74		Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
73		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn Gaffney: Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference 2006: 1666-1674
72		Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson: Challenges for modeling and simulation methods in systems biology. Winter Simulation Conference 2006: 1720-1730
71		Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electr. Notes Theor. Comput. Sci. 146(2): 189-206 (2006)
70		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Quantitative Analysis With the Probabilistic Model Checker PRISM. Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006)
69		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design 29(1): 33-78 (2006)
68		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
67		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
	2005
66		Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. AINA 2005: 426-431
65		Fuzhi Wang, Marta Z. Kwiatkowska: An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA 2005: 385-399
64		Yi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
63		Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska: A Timing Analysis of AODV. FMOODS 2005: 306-321
62		Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
61		Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A Biologically Inspired Congestion Control Routing Algorithm for MANETs. PerCom Workshops 2005: 226-231
60		Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electr. Notes Theor. Comput. Sci. 128(6): 231-246 (2005)
59		Stefano Cattani, Marta Z. Kwiatkowska: A refinement-based process algebra for timed automata. Formal Asp. Comput. 17(2): 138-159 (2005)
58		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta: Using probabilistic model checking for dynamic power management. Formal Asp. Comput. 17(2): 160-176 (2005)
57		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1629-1637 (2005)
56		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Performance Evaluation Review 32(4): 16-21 (2005)
	2004
55		Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A swarm intelligence routing algorithm for MANETs. Communications, Internet, and Information Technology 2004: 484-489
54		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
53		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
52		Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
51		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
50		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
49		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design 2004: 907-
48		Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman: Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. STTT 5(2-3): 221-236 (2004)
47		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
	2003
46		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
45		Marta Z. Kwiatkowska: Model checking for probability and time: from theory to practice . LICS 2003: 351-
44		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Asp. Comput. 14(3): 295-318 (2003)
43		Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle: On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebr. Program. 56(1-2): 23-67 (2003)
	2002
42		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
41		Marta Z. Kwiatkowska, Gethin Norman: Verifying Randomized Byzantine Agreement. FORTE 2002: 194-209
40		Marta Z. Kwiatkowska, Rashid Mehmood: Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. PAPM-PROBMIV 2002: 135-151
39		Marta Z. Kwiatkowska, Gethin Norman, António Pacheco: Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168
38		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV 2002: 169-187
37		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
36		Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman: Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
35		Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker: A Symbolic Out-of-Core Solution Method for Markov Models. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
34		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1): 101-150 (2002)
	2001
33		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala: Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206
32		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
31		Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
	2000
30		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
29		Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala: Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410
28		Christel Baier, Marta Z. Kwiatkowska: On Topological Hierarchies of Temporal Properties. Fundam. Inform. 41(3): 259-294 (2000)
27		Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Mathematical Structures in Computer Science 10(6): 665-717 (2000)
	1999
26		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95
25		Christel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: (1999)
24		Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: (1999)
	1998
23		Michael Huth, Marta Z. Kwiatkowska: Comparing CTL and PCTL on labeled Markov chains. PROCOMET 1998: 244-262
22		Christel Baier, Marta Z. Kwiatkowska: Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing 11(3): 125-155 (1998)
21		Marta Z. Kwiatkowska, Gethin Norman: A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes Electr. Notes Theor. Comput. Sci. 13: (1998)
20		Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: (1998)
19		Marta Z. Kwiatkowska, Gethin Norman: A Testing Equivalence for Reactive Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
18		Christel Baier, Marta Z. Kwiatkowska: On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. 66(2): 71-79 (1998)
	1997
17		Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
16		Michael Huth, Marta Z. Kwiatkowska: Quantitative Analysis and Model Checking. LICS 1997: 111-122
15		Christel Baier, Marta Z. Kwiatkowska: Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295
14		Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Electr. Notes Theor. Comput. Sci. 7: (1997)
	1996
13		Marta Z. Kwiatkowska, Gethin Norman: Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430
	1995
12		Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151(1): 3-27 (1995)
	1994
11		Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
10		Chrysafis Hartonas, Marta Z. Kwiatkowska: Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198
	1993
9		Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: On Duality for the Modal µ-Calculus. CSL 1993: 18-32
8		Marta Z. Kwiatkowska: Concurrency, Fairness and Logical Complexity. Theory and Formal Methods 1993: 195-208
7		Marta Z. Kwiatkowska, Iain Phillips: Concurrency and Conflict in CSP. Theory and Formal Methods 1993: 209-225
	1992
6		Marta Z. Kwiatkowska: Infinite Behaviour and Fairness in Concurrent Constraint Programming. REX Workshop 1992: 348-383
	1991
5		Bard Bloom, Marta Z. Kwiatkowska: Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. MFPS 1991: 350-375
4		Marta Z. Kwiatkowska: On the Domain of Traces and Sequential Composition. TAPSOFT, Vol.1 1991: 42-56
	1990
3		Marta Z. Kwiatkowska: Defining Process Fairness for Non-Interleaving Concurrency. FSTTCS 1990: 286-300
2		Marta Z. Kwiatkowska: A Metric for Traces. Inf. Process. Lett. 35(3): 129-135 (1990)
	1989
1		Marta Z. Kwiatkowska: Event Fairness and Non-interleaving Concurrency. Formal Asp. Comput. 1(3): 213-228 (1989)

Coauthor Index

1	Luca de Alfaro	[29]
2	Simon Ambler	[9] [12]
3	Farhad Arbab	[103]
4	Christel Baier	[14] [15] [17] [18] [22] [24] [25] [27] [28] [76]
5	Antonia Bertolino	[100]
6	Gordon S. Blair	[100]
7	Bard Bloom	[5]
8	Carlos H. Caldas	[93]
9	Radu Calinescu	[93] [98] [99] [100] [102]
10	Stefano Cattani	[59] [62]
11	Sibusisiwe Chiyangwa	[63]
12	Frank Ciesinski	[76]
13	Edmund M. Clarke	[17]
14	Costas C. Constantinou	[55] [61] [66]
15	Jim Davies	[93]
16	Conrado Daws	[36] [48]
17	Marie Duflot	[53] [67]
18	Abbas Edalat	[20]
19	Kousha Etessami	[83] [89] [91]
20	Eamonn Gaffney	[73]
21	Jeremy Gibbons	[93]
22	Paul Grace	[100]
23	Marcus Größer	[76]
24	Rajesh K. Gupta (Rajesh Gupta)	[58]
25	David Harel	[72]
26	Steve Harris	[93]
27	Chrysafis Hartonas	[10]
28	Vassili Hartonas-Garmhausen	[17]
29	John Heath	[73] [77] [87]
30	Holger Hermanns	[43]
31	Jane Hillston	[95]
32	Andrew Hinton	[74]
33	Michael Hucka	[72]
34	Michael Huth	[16] [23] [24]
35	Paola Inverardi	[100]
36	Valérie Issarny	[100]
37	Bengt Jonsson	[100]
38	Achim Jung	[20]
39	Marcin Jurdzinski	[104]
40	Joost-Pieter Katoen	[31]
41	Mark Kattenbelt	[90] [96]
42	Klaus Keimel	[20]
43	Tim Kelly (Tim P. Kelly)	[98]
44	Zeshan Kurd	[98]
45	Zhenyu Liu	[55] [61] [66]
46	Peter Maccallum	[93]
47	John A. McDermid	[98]
48	Nicholas Measor	[9] [12]
49	Rashid Mehmood	[35] [40] [52]
50	Pedro Mendes	[72]
51	Sun Meng	[103]
52	Young-Joo Moon	[103]
53	Gethin Norman	[13] [19] [21] [25] [26] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [41] [42] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54] [56] [57] [58] [62] [67] [68] [69] [70] [73] [74] [75] [76] [77] [78] [80] [84] [87] [88] [90] [94] [96] [101] [104]
54	António Pacheco	[39]
55	David Parker	[29] [31] [35] [37] [42] [43] [46] [47] [49] [50] [51] [52] [53] [56] [57] [58] [64] [67] [68] [69] [70] [73] [74] [75] [76] [77] [78] [84] [87] [88] [90] [94] [96] [101]
56	Doron Peled	[11]
57	Wojciech Penczek	[11]
58	Iain C. C. Phillips (Iain Phillips)	[7]
59	Hongyang Qu	[103]
60	Mark Ryan (Mark Dermot Ryan)	[17] [24]
61	Antonino Sabetta	[100]
62	Herbert M. Sauro	[72]
63	Roberto Segala	[26] [29] [30] [33] [34] [62]
64	Clifford A. Shaffer	[72]
65	Sandeep K. Shukla	[49] [57] [58]
66	Markus Siegle	[43]
67	Jeremy Sproston	[26] [30] [32] [34] [38] [44] [46] [54] [69] [80]
68	Bernhard Steffen	[100]
69	Lena Strömbäck	[72]
70	Miklós Telek	[95]
71	Georgios K. Theodoropoulos	[60] [71]
72	Massimo Tivoli	[100]
73	Ashutosh Trivedi	[104]
74	Andrew Tsui	[93]
75	Oksana Tymchyshyn	[73] [77] [87] [92]
76	John J. Tyson	[72]
77	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[72]
78	Moshe Y. Vardi	[83] [89] [91]
79	Maria Grazia Vigliotti	[94]
80	Fuzhi Wang	[54] [65] [80]
81	Xu Wang	[60] [71] [79] [81] [82]
82	Mihalis Yannakakis	[83] [89] [91]
83	Håkan L. S. Younes	[50] [68]
84	Tianyi Zang	[93]
85	Qianyi Zhang	[60] [71]
86	Yi Zhang	[52] [64]

Colors in the list of coauthors