Search   Browse   Templates   Query  

[paper]

paperid title year banks_node_id
tr/ibm/IWBS124 Disjunctive Unification 1990 392109
tr/trier/MI00-07 On Markov-Additive Jump Processes 2000 392229
tr/trier/MI97-18 Model-Checking for L 2 1997 392435
www/com/lycos Lycos    392588
conf/ac/Reisig86a Place/Transition Systems. 1986 393179
conf/ae/CretinLLGR95 Mixed IFS: Resolution of the Inverse Problem Using Genetic Programming. 1995 393241
conf/ai/StaabH98 Distance Constraint Arrays: A Model for Reasoning on Intervals with Qualitative and Quantitative Distances. 1998 393592
conf/ai/LanglaisLS01 User Interface Aspects of a Translation Typing System. 2001 393707
conf/am/Jonkers87 An Introduction to COLD-K. 1987 393771
conf/ca/KodamaK02 Homotopic Database Animation. 2002 394006
conf/cc/MantsivodaP92 Compiling Flang. 1992 394134
conf/cc/WilhelmSR00 Shape Analysis. 2000 394306
conf/cp/MichelH97 Localizer: A Modeling Language for Local Search. 1997 394728
conf/cp/DevilleJH98 Consistency Techniques in Ordinary Differential Equations. 1998 394790
conf/cp/GranvilliersM01 Composition Operators for Constraint Propagation: An Application to Choco. 2001 394849
conf/cp/HookerY02 A Relaxation of the Cumulative Constraint. 2002 394971
conf/ct/GoldsteinKNP01 Building Rules. 2001 395033
conf/dl/GohL00 Patron-augmented digital libraries. 2000 395102
conf/eb/BanzhafE95 Editors' Introduction. 1995 395369
conf/ds/HallOT76 Relations and Entities. 1976 395410
conf/ds/Abrial74 Data Semantics. 1974 395440
conf/ds/NguyenP86 Knowledge Communication and Time. 1986 395554
conf/ds/Getta92 Translation of Extended Entity-Relationship Database Model into Object-Oriented Database Model. 1992 395615
conf/eh/EdwardsK01 Breaking The Resistivity Barrier. 2001 395732
conf/ei/Green98 Digital Graphic Network. 1998 395848
conf/fc/Kuhlmann03 On TCPA. 2003 395903
conf/er/AI83 Author Index. 1983 396123
conf/er/Jacobs98 Security of Current Mobile IP Solutions. 1998 396368
conf/er/Brackett00 The Five-Tier Five-Schema Concept. 2000 396837
conf/fm/Shankar02 Little Engines of Proof. 2002 397147

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in