Search | Browse | Templates | Query | |||||
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