×

zbMATH — the first resource for mathematics

Yang, Hongseok

Compute Distance To:
Author ID: yang.hongseok Recent zbMATH articles by "Yang, Hongseok"
Published as: Yang, Hongseok; Yang, H.
Documents Indexed: 96 Publications since 1979, including 2 Books
all top 5

Co-Authors

5 single-authored
16 Gotsman, Alexey
14 O’Hearn, Peter W.
11 Birkedal, Lars
7 Calcagno, Cristiano
6 Distefano, Dino
6 Reus, Bernhard
6 Schwinghammer, Jan
5 Lee, Oukseh
4 Burckhardt, Sebastian
4 Yi, Kwangkeun
3 Cerone, Andrea
3 Cook, Byron
3 Feinstein, Joel Francis
3 Filipović, Ivana
3 Reddy, Uday S.
3 Rinetzky, Noam
3 Staton, Sam
3 Zawirski, Marek
2 Attiya, Hagit
2 Berdine, Josh
2 Bie, Y. H.
2 Heo, Kihong
2 Heunen, Chris
2 Kammar, Ohad
2 Morrison, Adam
2 Musuvathi, Madanlal
2 Oh, Hakjoo
2 Peleg, Hila
2 Pottier, François
2 Reynolds, John Charles
2 Shoham, Sharon
2 Støvring, Kristian
2 Thamsborg, Jacob
2 Torp-Smith, Noah
2 Yahav, Eran
1 Abdelaty, M. A.
1 Ackerman, Nathanael Leedom
1 Apai, Dániel
1 Artigau, E.
1 Barchiesi, Emilio
1 Bornat, Richard
1 Buenzli, E.
1 Burgasser, A. J.
1 Cau, Antonio
1 Chawdhary, Aziem
1 Cowan, N. B.
1 Dinsdale-Young, Thomas
1 Ekambaram, R.
1 Ferreira, Carla
1 Flateau, D.
1 Freer, Cameron E.
1 Gao, Ziyou
1 Gardner, Philippa Anne
1 Grigore, Radu
1 Gulwani, Sumit
1 Hoang, Vu Ngoc Viet
1 Jovanis, P. P.
1 Karalidi, T.
1 Lam, William H. K.
1 Lowrance, P.
1 Marley, M. S.
1 Maruta, Kaoru
1 Metchev, S.
1 Mijajlović, Ivana
1 Minaev, Sergey S.
1 Najafzadeh, Mahsa
1 Nakamura, Hisashi
1 Nikabdullah, N.
1 Orcan-Ekmekci, Betul
1 Parkinson, Matthew J.
1 Petersen, Rasmus Lerchedahl
1 Placidi, Luca
1 Pym, David J.
1 Radigan, J.
1 Radosz, Maria
1 Reddy, P. D. V. G.
1 Roy, Daniel M.
1 Sagiv, Mooly
1 Seo, Sunae
1 Shapiro, Marc
1 Stein, Dario
1 Thamburaja, P.
1 Tran, Ca
1 Vaughn, K. M.
1 Wies, Thomas
1 Wood, Frank
1 Zedan, Hussein

Publications by Year

Citations contained in zbMATH Open

68 Publications have been cited 627 times in 250 Documents Cited by Year
Alternating direction method with self-adaptive penalty parameters for monotone variational inequalities. Zbl 0997.49008
He, B. S.; Yang, H.; Wang, S. L.
76
2000
Local reasoning about programs that alter data structures. Zbl 0999.68045
O’Hearn, Peter; Reynolds, John; Yang, Hongseok
51
2001
Essential components of the set of weakly Pareto-Nash equilibrium points. Zbl 1016.91008
Yang, H.; Yu, J.
45
2002
Possible worlds and resources: The semantics of \(\mathbf{BI}\). Zbl 1055.03021
Pym, David J.; O’Hearn, Peter W.; Yang, Hongseok
35
2004
Modified Goldstein–Levitin–Polyak projection method for asymmetric strongly monotone variational inequalities. Zbl 0998.65066
He, B. S.; Yang, H.; Meng, Q.; Han, D. R.
35
2002
Remnants, fermions’ tunnelling and effects of quantum gravity. Zbl 1342.83143
Chen, D. Y.; Jiang, Q. Q.; Wang, P.; Yang, H.
27
2013
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
25
2001
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
23
2009
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Separation and information hiding. Zbl 1325.68069
O’Hearn, Peter W.; Yang, Hongseok; Reynolds, John C.
18
2004
A local shape analysis based on separation logic. Zbl 1180.68112
Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
16
2006
A semantic basis for local reasoning. Zbl 1077.68705
Yang, Hongseok; O’Hearn, Peter
16
2002
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
14
2011
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Relational separation logic. Zbl 1111.68078
Yang, Hongseok
13
2007
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Zbl 1395.68082
Staton, Sam; Yang, Hongseok; Wood, Frank; Heunen, Chris; Kammar, Ohad
12
2016
Inexact implicit method with variable parameter for mixed monotone variational inequalities. Zbl 1025.49007
Wang, S. L.; Yang, H.; He, B. S.
11
2001
Abstraction for concurrent objects. Zbl 1209.68156
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
11
2010
Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. Zbl 1127.68019
Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok
10
2006
Blowup with vorticity control for a 2D model of the Boussinesq equations. Zbl 1387.35066
Hoang, V.; Orcan-Ekmekci, B.; Radosz, M.; Yang, H.
10
2018
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
9
2011
Nested Hoare triples and frame rules for higher-order store. Zbl 1257.03056
Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok
8
2009
Abstraction for concurrent objects. Zbl 1234.68065
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
7
2009
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Automatic verification of pointer programs using grammar-based shape analysis. Zbl 1108.68396
Lee, Oukseh; Yang, Hongseok; Yi, Kwangkeun
6
2005
Liveness-preserving atomicity abstraction. Zbl 1333.68198
Gotsman, Alexey; Yang, Hongseok
6
2011
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
5
2006
Parameterised linearisability. Zbl 1409.68068
Cerone, Andrea; Gotsman, Alexey; Yang, Hongseok
4
2014
A semantic foundation for hidden state. Zbl 1284.68376
Schwinghammer, Jan; Yang, Hongseok; Birkedal, Lars; Pottier, François; Reus, Bernhard
4
2010
Decomposition method for a class of monotone variational inequality problems. Zbl 0953.65049
He, B. S.; Liao, L. Z.; Yang, H.
4
1999
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
4
2006
Concurrent library correctness on the TSO memory model. Zbl 1352.68049
Burckhardt, Sebastian; Gotsman, Alexey; Musuvathi, Madanlal; Yang, Hongseok
4
2012
Replicated data types, specification, verification, optimality. Zbl 1284.68384
Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek
4
2014
Data refinement with low-level pointer operations. Zbl 1159.68377
Mijajlović, Ivana; Yang, Hongseok
3
2005
Design of an artificial simulator for analyzing route choice behavior in the presence of information system. Zbl 0838.90040
Reddy, P. D. V. G.; Yang, H.; Vaughn, K. M.; Abdel-Aty, M. A.; Kitamura, R.; Jovanis, P. P.
3
1995
Relational parametricity and separation logic. Zbl 1195.68030
Birkedal, Lars; Yang, Hongseok
3
2007
Linearizability with ownership transfer. Zbl 1364.68136
Gotsman, Alexey; Yang, Hongseok
3
2012
Blaming the client: on data refinement in the presence of pointers. Zbl 1214.68118
Filipović, Ivana; O’Hearn, Peter; Torp-Smith, Noah; Yang, Hongseok
3
2010
Show no weakness: sequentially consistent specifications of TSO libraries. Zbl 1377.68038
Gotsman, Alexey; Musuvathi, Madanlal; Yang, Hongseok
3
2012
Modular verification of preemptive OS kernels. Zbl 1323.68195
Gotsman, Alexey; Yang, Hongseok
2
2011
Axisymmetric jet manipulated using two unsteady minijets. Zbl 1383.76302
Yang, H.; Zhou, Y.
2
2016
A stable node-based smoothed finite element method for metal forming analysis. Zbl 07053715
Yang, H.; Cui, X. Y.; Li, S.; Bie, Y. H.
2
2019
A practical method for limit torsion problems. Zbl 0398.73027
Yang, H.
2
1979
Automatic construction of Hoare proofs from abstract interpretation results. Zbl 1254.68088
Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun
2
2003
The multi-axial deformation behavior of bulk metallic glasses at high homologous temperatures. Zbl 1183.74049
Ekambaram, R.; Thamburaja, P.; Yang, H.; Li, Y.; Nikabdullah, N.
2
2010
Estimation of the most likely equilibrium traffic queueing pattern in a capacity constrained network. Zbl 0922.90069
Yang, H.; Wong, S. C.
2
1999
Correctness of data representations involving heap data structures. Zbl 1032.68060
Reddy, Uday S.; Yang, Hongseok
2
2003
The convergence of equilibrium algorithms with non-monotone line search technique. Zbl 1049.65047
Gao, Ziyou; Lam, W. H. K.; Wong, S. C.; Yang, H.
2
2004
Correctness of data representations involving heap data structures. Zbl 1091.68019
Reddy, Uday S.; Yang, Hongseok
2
2004
Relational parametricity and separation logic. Zbl 1153.68355
Birkedal, Lars; Yang, Hongseok
2
2008
A simple model of separation logic for higher-order store. Zbl 1155.68361
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Yang, Hongseok
2
2008
Composite replicated data types. Zbl 1335.68054
Gotsman, Alexey; Yang, Hongseok
2
2015
Nested Hoare triples and frame rules for higher-order store. Zbl 1237.68066
Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok
2
2011
’Cause I’m strong enough: reasoning about consistency choices in distributed systems. Zbl 1347.68029
Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc
2
2016
Abstraction refinement guided by a learnt probabilistic model. Zbl 1347.68084
Grigore, Radu; Yang, Hongseok
2
2016
Specification and complexity of collaborative text editing. Zbl 1375.68189
Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek
1
2016
Abstract swiss cheese space and classicalisation of swiss cheeses. Zbl 1382.30070
Feinstein, J. F.; Morley, S.; Yang, H.
1
2016
Algebraic laws for weak consistency. Zbl 1442.68104
Cerone, Andrea; Gotsman, Alexey; Yang, Hongseok
1
2017
Dynamical Casimir-polder force in a cavity comprising a dielectric with output coupling. Zbl 1295.81123
Yang, H.; Zheng, T. Y.; Shao, X. Q.; Zhang, X.; Pan, S. M.
1
2013
A wide-spectrum language for object-based development of real-time systems. Zbl 0943.68024
Chen, Z.; Zedan, H.; Cau, A.; Yang, H.
1
1999
On the semantics of refinement calculi. Zbl 0961.68033
Yang, Hongseok; Reddy, Uday S.
1
2000
Verifying concurrent memory reclamation algorithms with grace. Zbl 1381.68053
Gotsman, Alexey; Rinetzky, Noam; Yang, Hongseok
1
2013
Convergence of Godunov type schemes. Zbl 0903.35040
Yang, H.
1
1996
Symbolic automata for static specification mining. Zbl 1344.68127
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok
1
2013
Modular verification of preemptive OS kernels. Zbl 1311.68043
Gotsman, Alexey; Yang, Hongseok
1
2013
Regularity points and Jensen measures for \(R(X)\). Zbl 1367.46041
Feinstein, J. F.; Yang, H.
1
2016
Computation of brittle fracture propagation in strain gradient materials by the FEniCS library. Zbl 07357405
Barchiesi, E.; Yang, H.; Tran, Ca; Placidi, L.; Müller, W. H.
1
2021
Computation of brittle fracture propagation in strain gradient materials by the FEniCS library. Zbl 07357405
Barchiesi, E.; Yang, H.; Tran, Ca; Placidi, L.; Müller, W. H.
1
2021
A stable node-based smoothed finite element method for metal forming analysis. Zbl 07053715
Yang, H.; Cui, X. Y.; Li, S.; Bie, Y. H.
2
2019
Blowup with vorticity control for a 2D model of the Boussinesq equations. Zbl 1387.35066
Hoang, V.; Orcan-Ekmekci, B.; Radosz, M.; Yang, H.
10
2018
Algebraic laws for weak consistency. Zbl 1442.68104
Cerone, Andrea; Gotsman, Alexey; Yang, Hongseok
1
2017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Zbl 1395.68082
Staton, Sam; Yang, Hongseok; Wood, Frank; Heunen, Chris; Kammar, Ohad
12
2016
Axisymmetric jet manipulated using two unsteady minijets. Zbl 1383.76302
Yang, H.; Zhou, Y.
2
2016
’Cause I’m strong enough: reasoning about consistency choices in distributed systems. Zbl 1347.68029
Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc
2
2016
Abstraction refinement guided by a learnt probabilistic model. Zbl 1347.68084
Grigore, Radu; Yang, Hongseok
2
2016
Specification and complexity of collaborative text editing. Zbl 1375.68189
Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek
1
2016
Abstract swiss cheese space and classicalisation of swiss cheeses. Zbl 1382.30070
Feinstein, J. F.; Morley, S.; Yang, H.
1
2016
Regularity points and Jensen measures for \(R(X)\). Zbl 1367.46041
Feinstein, J. F.; Yang, H.
1
2016
Composite replicated data types. Zbl 1335.68054
Gotsman, Alexey; Yang, Hongseok
2
2015
Parameterised linearisability. Zbl 1409.68068
Cerone, Andrea; Gotsman, Alexey; Yang, Hongseok
4
2014
Replicated data types, specification, verification, optimality. Zbl 1284.68384
Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek
4
2014
Remnants, fermions’ tunnelling and effects of quantum gravity. Zbl 1342.83143
Chen, D. Y.; Jiang, Q. Q.; Wang, P.; Yang, H.
27
2013
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
Dynamical Casimir-polder force in a cavity comprising a dielectric with output coupling. Zbl 1295.81123
Yang, H.; Zheng, T. Y.; Shao, X. Q.; Zhang, X.; Pan, S. M.
1
2013
Verifying concurrent memory reclamation algorithms with grace. Zbl 1381.68053
Gotsman, Alexey; Rinetzky, Noam; Yang, Hongseok
1
2013
Symbolic automata for static specification mining. Zbl 1344.68127
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok
1
2013
Modular verification of preemptive OS kernels. Zbl 1311.68043
Gotsman, Alexey; Yang, Hongseok
1
2013
Concurrent library correctness on the TSO memory model. Zbl 1352.68049
Burckhardt, Sebastian; Gotsman, Alexey; Musuvathi, Madanlal; Yang, Hongseok
4
2012
Linearizability with ownership transfer. Zbl 1364.68136
Gotsman, Alexey; Yang, Hongseok
3
2012
Show no weakness: sequentially consistent specifications of TSO libraries. Zbl 1377.68038
Gotsman, Alexey; Musuvathi, Madanlal; Yang, Hongseok
3
2012
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
14
2011
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
9
2011
Liveness-preserving atomicity abstraction. Zbl 1333.68198
Gotsman, Alexey; Yang, Hongseok
6
2011
Modular verification of preemptive OS kernels. Zbl 1323.68195
Gotsman, Alexey; Yang, Hongseok
2
2011
Nested Hoare triples and frame rules for higher-order store. Zbl 1237.68066
Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok
2
2011
Abstraction for concurrent objects. Zbl 1209.68156
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
11
2010
A semantic foundation for hidden state. Zbl 1284.68376
Schwinghammer, Jan; Yang, Hongseok; Birkedal, Lars; Pottier, François; Reus, Bernhard
4
2010
Blaming the client: on data refinement in the presence of pointers. Zbl 1214.68118
Filipović, Ivana; O’Hearn, Peter; Torp-Smith, Noah; Yang, Hongseok
3
2010
The multi-axial deformation behavior of bulk metallic glasses at high homologous temperatures. Zbl 1183.74049
Ekambaram, R.; Thamburaja, P.; Yang, H.; Li, Y.; Nikabdullah, N.
2
2010
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
23
2009
Nested Hoare triples and frame rules for higher-order store. Zbl 1257.03056
Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok
8
2009
Abstraction for concurrent objects. Zbl 1234.68065
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
7
2009
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Relational parametricity and separation logic. Zbl 1153.68355
Birkedal, Lars; Yang, Hongseok
2
2008
A simple model of separation logic for higher-order store. Zbl 1155.68361
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Yang, Hongseok
2
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Relational separation logic. Zbl 1111.68078
Yang, Hongseok
13
2007
Relational parametricity and separation logic. Zbl 1195.68030
Birkedal, Lars; Yang, Hongseok
3
2007
A local shape analysis based on separation logic. Zbl 1180.68112
Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
16
2006
Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. Zbl 1127.68019
Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok
10
2006
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
5
2006
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
4
2006
Automatic verification of pointer programs using grammar-based shape analysis. Zbl 1108.68396
Lee, Oukseh; Yang, Hongseok; Yi, Kwangkeun
6
2005
Data refinement with low-level pointer operations. Zbl 1159.68377
Mijajlović, Ivana; Yang, Hongseok
3
2005
Possible worlds and resources: The semantics of \(\mathbf{BI}\). Zbl 1055.03021
Pym, David J.; O’Hearn, Peter W.; Yang, Hongseok
35
2004
Separation and information hiding. Zbl 1325.68069
O’Hearn, Peter W.; Yang, Hongseok; Reynolds, John C.
18
2004
The convergence of equilibrium algorithms with non-monotone line search technique. Zbl 1049.65047
Gao, Ziyou; Lam, W. H. K.; Wong, S. C.; Yang, H.
2
2004
Correctness of data representations involving heap data structures. Zbl 1091.68019
Reddy, Uday S.; Yang, Hongseok
2
2004
Automatic construction of Hoare proofs from abstract interpretation results. Zbl 1254.68088
Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun
2
2003
Correctness of data representations involving heap data structures. Zbl 1032.68060
Reddy, Uday S.; Yang, Hongseok
2
2003
Essential components of the set of weakly Pareto-Nash equilibrium points. Zbl 1016.91008
Yang, H.; Yu, J.
45
2002
Modified Goldstein–Levitin–Polyak projection method for asymmetric strongly monotone variational inequalities. Zbl 0998.65066
He, B. S.; Yang, H.; Meng, Q.; Han, D. R.
35
2002
A semantic basis for local reasoning. Zbl 1077.68705
Yang, Hongseok; O’Hearn, Peter
16
2002
Local reasoning about programs that alter data structures. Zbl 0999.68045
O’Hearn, Peter; Reynolds, John; Yang, Hongseok
51
2001
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
25
2001
Inexact implicit method with variable parameter for mixed monotone variational inequalities. Zbl 1025.49007
Wang, S. L.; Yang, H.; He, B. S.
11
2001
Alternating direction method with self-adaptive penalty parameters for monotone variational inequalities. Zbl 0997.49008
He, B. S.; Yang, H.; Wang, S. L.
76
2000
On the semantics of refinement calculi. Zbl 0961.68033
Yang, Hongseok; Reddy, Uday S.
1
2000
Decomposition method for a class of monotone variational inequality problems. Zbl 0953.65049
He, B. S.; Liao, L. Z.; Yang, H.
4
1999
Estimation of the most likely equilibrium traffic queueing pattern in a capacity constrained network. Zbl 0922.90069
Yang, H.; Wong, S. C.
2
1999
A wide-spectrum language for object-based development of real-time systems. Zbl 0943.68024
Chen, Z.; Zedan, H.; Cau, A.; Yang, H.
1
1999
Convergence of Godunov type schemes. Zbl 0903.35040
Yang, H.
1
1996
Design of an artificial simulator for analyzing route choice behavior in the presence of information system. Zbl 0838.90040
Reddy, P. D. V. G.; Yang, H.; Vaughn, K. M.; Abdel-Aty, M. A.; Kitamura, R.; Jovanis, P. P.
3
1995
A practical method for limit torsion problems. Zbl 0398.73027
Yang, H.
2
1979
all top 5

Cited by 463 Authors

13 Birkedal, Lars
12 Yang, Hongseok
11 Pym, David J.
10 Gardner, Philippa Anne
9 O’Hearn, Peter W.
7 Reus, Bernhard
6 Demri, Stéphane P.
6 Gotsman, Alexey
6 Naumann, David A.
6 Vojnar, Tomáš
5 Barthe, Gilles
5 Bouajjani, Ahmed
5 Brotherston, James
5 Cook, Byron
5 da Rocha Pinto, Pedro
5 Dinsdale-Young, Thomas
5 Jacobs, Bart
5 Lozes, Etienne
5 Qin, Shengchao
4 Beringer, Lennart
4 Charlton, Nathaniel
4 Enea, Constantin
4 Kamide, Norihiro
4 Kröning, Daniel
4 Möller, Bernhard
4 Petersen, Rasmus Lerchedahl
3 Appel, Andrew W.
3 Bornat, Richard
3 Brochenin, Rémi
3 Calcagno, Cristiano
3 Chin, Wei-Ngan
3 Collinson, Matthew
3 Crespo, Juan Manuel
3 Dang, Han-Hing
3 Deters, Morgan
3 Docherty, Simon
3 Galmiche, Didier
3 Hoare, C. A. R. Tony
3 Hobor, Aquinas
3 Holík, Lukáš
3 Iosif, Radu
3 Kunz, César
3 Lengál, Ondřej
3 Murawski, Andrzej S.
3 Oh, Hakjoo
3 Parkinson, Matthew J.
3 Rinetzky, Noam
3 Sagiv, Mooly
3 Sieczkowski, Filip
3 Sighireanu, Mihaela
3 Smith, Graeme
3 Støvring, Kristian
3 Thamsborg, Jacob
3 Tzevelekos, Nikos
3 Wintersteiger, Christoph M.
2 Amjad, Hasan
2 Bengtson, Jesper
2 Bozga, Marius
2 Brookes, Stephen D.
2 Chen, Taolue
2 Colvin, Robert J.
2 Dahlqvist, Fredrik
2 Dal Lago, Ugo
2 D’Argenio, Pedro Rubén
2 de Boer, Frank S.
2 Dockins, Robert
2 Dong, Yuan
2 Dongol, Brijesh
2 Dragoi, Cezara
2 Duan, Zhenhua
2 Falke, Stephan
2 Feng, Xinyu
2 Filipović, Ivana
2 Fuhs, Carsten
2 Gast, Holger
2 Ghelli, Giorgio
2 Giesl, Jürgen
2 Grigore, Radu
2 Habermehl, Peter
2 Hayes, Ian J.
2 He, Guanhua
2 Horsfall, Ben
2 Hussain, Akbar
2 Jansen, Christina
2 Kapur, Deepak
2 Kiefer, Stefan
2 Lu, Xu
2 Luo, Chenguang
2 Morgan, Carroll C.
2 Morrisett, Greg
2 Nanevski, Aleksandar
2 Noll, Thomas
2 Pottier, François
2 Raad, Azalea
2 Rival, Xavier
2 Rogalewicz, Adam
2 Schellhorn, Gerhard
2 Schneider-Kamp, Peter
2 Schwinghammer, Jan
2 Shao, Zhong
...and 363 more Authors
all top 5

Cited in 45 Serials

26 Theoretical Computer Science
13 Journal of Automated Reasoning
13 Formal Aspects of Computing
13 Formal Methods in System Design
12 Journal of Logical and Algebraic Methods in Programming
7 Logical Methods in Computer Science
6 Information and Computation
6 MSCS. Mathematical Structures in Computer Science
4 Acta Informatica
4 The Journal of Logic and Algebraic Programming
4 ACM Transactions on Computational Logic
3 Journal of Applied Non-Classical Logics
2 Science of Computer Programming
2 Journal of Symbolic Computation
2 Journal of Functional Programming
1 Artificial Intelligence
1 Information Processing Letters
1 Computing
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Studia Logica
1 Synthese
1 Topology and its Applications
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Computers & Operations Research
1 Mathematical and Computer Modelling
1 International Journal of Foundations of Computer Science
1 Distributed Computing
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Journal of the ACM
1 Fundamenta Informaticae
1 Advances in Complex Systems
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Networks and Spatial Economics
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 Frontiers of Computer Science
1 Computer Science Review
1 ISRN Probability and Statistics

Citations by Year