BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
4 × USA
Collaborated with:
H.Xu Z.Hu F.Dong A.Goel R.K.Gedela V.P.Sliva T.Murata S.Duri U.A.Buy R.Devarapalli
Talks about:
auction (3) method (3) state (2) shill (2) onlin (2) net (2) ada (2) relationship (1) synchron (1) protocol (1)

Person: Sol M. Shatz

DBLP DBLP: Shatz:Sol_M=

Contributed to:

SEKE 20102010
SEKE 20042004
SIGAda 19991999
SEKE 19961996
ISSTA 19931993

Wrote 6 papers:

SEKE-2010-DongSX #empirical #evaluation #online #process
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions (FD, SMS, HX), pp. 286–291.
SEKE-2010-GoelXS #multi #network #online #verification
A Multi-State Bayesian Network for Shill Verification in Online Auctions (AG, HX, SMS), pp. 279–285.
SEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling
Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
SEKE-1996-SlivaMS #communication #protocol
A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.