×

zbMATH — the first resource for mathematics

Ghica, Dan R.

Compute Distance To:
Author ID: ghica.dan-r Recent zbMATH articles by "Ghica, Dan R."
Published as: Ghica, Dan R.; Ghica, D. R.; Ghica, Dan
External Links: MGP
Documents Indexed: 41 Publications since 2000, including 4 Books

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 129 times in 70 Documents Cited by Year
Reasoning about Idealized Algol using regular languages. Zbl 0973.68506
Ghica, Dan R.; McCusker, Guy
15
2000
The regular-language semantics of second-order idealized ALGOL. Zbl 1070.68083
Ghica, Dan R.; McCusker, Guy
14
2003
Geometry of synthesis: a structured approach to VLSI design. Zbl 1295.68062
Ghica, Dan R.
10
2007
Angelic semantics of fine-grained concurrency. Zbl 1126.68499
Ghica, Dan R.; Murawski, Andrzej S.
10
2004
Applying game semantics to compositional software modeling and verification. Zbl 1126.68343
Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke
8
2004
Regular-language semantics for a call-by-value programming language. Zbl 1260.68095
Ghica, Dan R.
8
2001
Compositional model extraction for higher-order concurrent programs. Zbl 1180.68115
Ghica, D. R.; Murawski, A. S.
7
2006
Angelic semantics of fine-grained concurrency. Zbl 1133.68011
Ghica, Dan R.; Murawski, Andrzej S.
7
2008
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
6
2005
Geometry of synthesis. III: Resource management through type inference. Zbl 1284.68183
Ghica, Dan R.; Smith, Alex
5
2011
A system-level game semantics. Zbl 1342.68196
Ghica, Dan R.; Tzevelekos, Nikos
5
2012
Diagrammatic reasoning for delay-insensitive asynchronous circuits. Zbl 1264.94126
Ghica, Dan R.
4
2013
Slot games: a quantitative model of computation. Zbl 1369.68074
Ghica, Dan R.
4
2005
Compositional predicate abstraction from game semantics. Zbl 1234.68069
Bakewell, Adam; Ghica, Dan R.
3
2009
Syntactic control of concurrency. Zbl 1086.68087
Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L.
3
2006
Abstract models of storage. Zbl 0949.68536
Tennent, Robert D.; Ghica, Dan R.
3
2000
Syntactic control of concurrency. Zbl 1099.68656
Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L.
3
2004
On-the-fly techniques for game-based software model checking. Zbl 1134.68396
Bakewell, Adam; Ghica, Dan R.
2
2008
Geometry of synthesis. II: From games to delay-insensitive circuits. Zbl 1342.68084
Ghica, Dan R.; Smith, Alex
2
2010
Game semantics in the nominal model. Zbl 1342.68195
Gabbay, Murdoch; Ghica, Dan
2
2012
Geometry of synthesis. IV: Compiling affine recursion into static hardware. Zbl 1323.68206
Ghica, Dan R.; Smith, Alex; Singh, Satnam
2
2011
A functional perspective on machine learning via programmable induction and abduction. Zbl 06900727
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S.
1
2018
On the compositionality of round abstraction. Zbl 1287.68134
Ghica, Dan R.; Menaa, Mohamed N.
1
2010
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
1
2019
Latent semantic analysis of game models using LSTM. Zbl 1423.68086
Ghica, Dan R.; Alyahya, Khulood
1
2019
Leaving the nest: nominal techniques for variables with interleaving scopes. Zbl 1373.68179
Gabbay, Murdoch J.; Ghica, Dan R.; Petrisan, Daniela
1
2015
Semantical analysis of specification logic. III. An operational approach. Zbl 1126.68463
Ghica, Dan R.
1
2004
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
1
2019
Latent semantic analysis of game models using LSTM. Zbl 1423.68086
Ghica, Dan R.; Alyahya, Khulood
1
2019
A functional perspective on machine learning via programmable induction and abduction. Zbl 06900727
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S.
1
2018
Leaving the nest: nominal techniques for variables with interleaving scopes. Zbl 1373.68179
Gabbay, Murdoch J.; Ghica, Dan R.; Petrisan, Daniela
1
2015
Diagrammatic reasoning for delay-insensitive asynchronous circuits. Zbl 1264.94126
Ghica, Dan R.
4
2013
A system-level game semantics. Zbl 1342.68196
Ghica, Dan R.; Tzevelekos, Nikos
5
2012
Game semantics in the nominal model. Zbl 1342.68195
Gabbay, Murdoch; Ghica, Dan
2
2012
Geometry of synthesis. III: Resource management through type inference. Zbl 1284.68183
Ghica, Dan R.; Smith, Alex
5
2011
Geometry of synthesis. IV: Compiling affine recursion into static hardware. Zbl 1323.68206
Ghica, Dan R.; Smith, Alex; Singh, Satnam
2
2011
Geometry of synthesis. II: From games to delay-insensitive circuits. Zbl 1342.68084
Ghica, Dan R.; Smith, Alex
2
2010
On the compositionality of round abstraction. Zbl 1287.68134
Ghica, Dan R.; Menaa, Mohamed N.
1
2010
Compositional predicate abstraction from game semantics. Zbl 1234.68069
Bakewell, Adam; Ghica, Dan R.
3
2009
Angelic semantics of fine-grained concurrency. Zbl 1133.68011
Ghica, Dan R.; Murawski, Andrzej S.
7
2008
On-the-fly techniques for game-based software model checking. Zbl 1134.68396
Bakewell, Adam; Ghica, Dan R.
2
2008
Geometry of synthesis: a structured approach to VLSI design. Zbl 1295.68062
Ghica, Dan R.
10
2007
Compositional model extraction for higher-order concurrent programs. Zbl 1180.68115
Ghica, D. R.; Murawski, A. S.
7
2006
Syntactic control of concurrency. Zbl 1086.68087
Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L.
3
2006
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
6
2005
Slot games: a quantitative model of computation. Zbl 1369.68074
Ghica, Dan R.
4
2005
Angelic semantics of fine-grained concurrency. Zbl 1126.68499
Ghica, Dan R.; Murawski, Andrzej S.
10
2004
Applying game semantics to compositional software modeling and verification. Zbl 1126.68343
Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke
8
2004
Syntactic control of concurrency. Zbl 1099.68656
Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L.
3
2004
Semantical analysis of specification logic. III. An operational approach. Zbl 1126.68463
Ghica, Dan R.
1
2004
The regular-language semantics of second-order idealized ALGOL. Zbl 1070.68083
Ghica, Dan R.; McCusker, Guy
14
2003
Regular-language semantics for a call-by-value programming language. Zbl 1260.68095
Ghica, Dan R.
8
2001
Reasoning about Idealized Algol using regular languages. Zbl 0973.68506
Ghica, Dan R.; McCusker, Guy
15
2000
Abstract models of storage. Zbl 0949.68536
Tennent, Robert D.; Ghica, Dan R.
3
2000

Citations by Year