|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 574 occurrences of 408 keywords
|
|
|
Results
Found 837 publication records. Showing 837 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. |
IEEE Trans. Serv. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Automatic verification of safety and liveness for pipelined machines using WEB refinement. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps |
9 | João Alberto de Oliveira Lima, Monica Palmirani, Fabio Vitali |
Moving in the Time: An Ontology for Identifying Legal Resources. |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies |
2008 |
DBLP DOI BibTeX RDF |
Ontology, temporal model, URI, FRBR |
9 | Thomas Walter 0001, Christian Schaefer, Gina Kounga, Makoto Hamatsu |
Evidence Gathering for Remuneration of Shared Connections. |
CNSR |
2008 |
DBLP DOI BibTeX RDF |
connection sharing, remuneration, authentication, authorization, evidences, non-repudiation |
9 | Caroline Herssens, Stéphane Faulkner, Ivan Jureta |
Context-Driven Autonomic Adaptation of SLA. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
service context, adaptation, SLA |
9 | James Broberg, Rajkumar Buyya, Zahir Tari |
Creating a 'Cloud Storage' Mashup for High Performance, Low Cost Content Delivery. |
ICSOC Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yury Gryazin 0001, Michael Landrigan |
A Regularized Unconstrained Optimization in the Bond Portfolio Valuation and Hedging. |
World Congress on Engineering (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
Regularized Unconstrained Optimization, Bond Portfolio, Collateralized Mortgage Obligation, Valuation, Hedging |
9 | Jelena Zdravkovic, Vandana Kabilan |
Contract-Based Exception Handling Process Patterns. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Greg Morrisett |
Programming with Effects in Coq. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nicola Zeni, Nadzeya Kiyavitskaya, James R. Cordy, Luisa Mich, John Mylopoulos |
Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
regulation compliance, tool support, privacy requirements |
9 | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
Run-Time Monitoring of Electronic Contracts. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sylvain Conchon, Jean-Christophe Filliâtre |
Semi-persistent Data Structures. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Amirreza Masoumzadeh 0001, James B. D. Joshi |
PuRBAC: Purpose-Aware Role-Based Access Control. |
OTM Conferences (2) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Kaganov, Paul Chow, Asif Lakhany |
FPGA acceleration of Monte-Carlo based credit derivative pricing. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Tim Miller 0001, Peter McBurney |
On illegal composition of first-class agent interaction protocols. |
ACSC |
2008 |
DBLP BibTeX RDF |
multi-agent systems, interaction protocols |
9 | Joxan Jaffar |
Constraint Logic Programming for program analysis. |
ACSC |
2008 |
DBLP BibTeX RDF |
|
9 | Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske |
Modeling Service Choreographies Using BPMN and BPEL4Chor. |
CAiSE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Giray Ökten, Matthew Willyard |
Parameterization based on randomized quasi-Monte Carlo methods. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira |
Tool Support for the CircusRefinement Calculus. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Anthony Finn |
Legal Issues for Military Intelligent Decision-Making Technologies. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre |
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Boaz Barak, Sharon Goldberg, David Xiao |
Protocols and Lower Bounds for Failure Localization in the Internet. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
Failure localization, black-box separation, secure routing |
9 | Avinash Srinivasan, Jie Wu 0001 |
TRACK: A Novel Connected Dominating Set based Sink Mobility Model for WSNs. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
9 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
9 | Hui Xie, Bin Zhang 0015, Dianyou Hu |
A Role-Based Dynamic Authorization Model and Its Implementation in PMI. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Simon Ball, Alistair McNaught |
Round Peg, Square Hole: Supporting Via the Web Staff and Learners Who Do Not Fit into Traditional Learner-Teacher-Institution Scenarios. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
e-learning, accessibility, online learning, support, inclusion |
9 | Simon Ball, Julian Tenney |
Xerte - A User-Friendly Tool for Creating Accessible Learning Objects. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
accessibility, learning objects, template, inclusion, user-friendly |
9 | Hang Zhao, Jorge Lobo 0001, Steven M. Bellovin |
An Algebra for Integration and Analysis of Ponder2 Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Joris Hulstijn |
Need to Know: Questions and the Paradox of Epistemic Obligation. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yuri Demchenko, Alfred Wan, Mihai Cristea, Cees de Laat |
Authorisation infrastructure for on-demand network resource provisioning. |
GRID |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Anas Abou El Kalam |
A research challenge in modeling access control policies: Modeling recommendations. |
RCIS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Dominic Battré, Karim Djemame, Iain Gourlay, Matthias Hovestadt, Odej Kao, James Padgett, Kerstin Voß, Daniel Warneke |
AssessGrid Strategies for Provider Ranking Mechanisms in Risk-Aware Grid Systems. |
GECON |
2008 |
DBLP DOI BibTeX RDF |
Grid, Ranking, Negotiation, SLA, Broker |
9 | David W. Chadwick, Stijn F. Lievens |
Enforcing "sticky" security policies throughout a distributed application. |
Middleware Security |
2008 |
DBLP DOI BibTeX RDF |
application independent PEP, obligation enforcement, privacy policy enforcement, PDP, sticky policies |
9 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
A Context-Based Institutional Normative Environment. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
Normative Environment, Norm Activation, Defeasibility, Context |
9 | Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck, Simon Miles |
Towards a Formalisation of Electronic Contracting Environments. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, Elena Litani, Allen Chan, Phil Coulthard |
Automating SLA modeling. |
CASCON |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Mark Perry 0001, Halina Kaminski |
SLA Negotiation System Design Based on Business Rules. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
license management, negotiation manager, autonomic computing, Service Level Agreement |
9 | Manaf Zghaibeh, Fotios C. Harmantzis |
An "S-string" scheme for business-oriented peer-to-peer networks. |
Electron. Commer. Res. |
2007 |
DBLP DOI BibTeX RDF |
Debit function, Access key, Peer-to-peer networks, Pricing, String |
9 | Sugan C. Jain, Dilip Kumar Sen, Muinuddin Khan, Swapan Kumar Bala |
An analytical study on social responsibility performance evaluation as an accounting measure of management efficiency. |
AI Soc. |
2007 |
DBLP DOI BibTeX RDF |
Corporate social responsibility, Management and social audit, Management efficiency, Performance evaluation |
9 | Edward Sobiesk, Gregory J. Conti |
The Cost of Free Web Tools. |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
9 | Wissam Mallouli, Ana R. Cavalli |
Testing Security Rules with Decomposable Activities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine |
9 | Andreas Schaad |
A Framework for Evidence Lifecycle Management. |
WISE Workshops |
2007 |
DBLP DOI BibTeX RDF |
organisational control, Delegation, review, evidence |
9 | Yin Hua Li, Hye-Young Paik, Jun Chen |
Privacy Inspection and Monitoring Framework for Automated Business Processes. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Lisa Bahler, Francesco Caruso, Josephine Micallef |
A Practical Method and Tool for Systems Engineering of Service-Oriented Applications. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
Service Design Methodology, SOA Tools, SOA, Model-Driven Development, Systems Engineering, Enterprise Application Integration |
9 | Naikuo Yang, Howard Barringer, Ning Zhang 0001 |
A Purpose-Based Access Control Model. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Marco Aurélio Stelmar Netto, Kris Bubendorfer, Rajkumar Buyya |
SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mike J. Boniface, Stephen C. Phillips, Alfonso Sánchez-Macián, Mike Surridge |
Dynamic Service Provisioning Using GRIA SLAs. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
SLA management, dynamic provisioning |
9 | Tom McEwan, Ben Weerts |
ALT text and basic accessibility. |
BCS HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
accessibility compliance, web development |
9 | Stephan Strodl, Christoph Becker 0001, Robert Neumayer, Andreas Rauber |
How to choose a digital preservation strategy: evaluating a preservation planning procedure. |
JCDL |
2007 |
DBLP DOI BibTeX RDF |
OAIS model, utility analysis, evaluation, digital libraries, digital preservation, preservation planning |
9 | Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman |
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jatinder Singh, Jean Bacon, Ken Moody |
Dynamic trust domains for secure, private, technology-assisted living. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
9 | John Knudsen, Anders P. Ravn, Arne Skou |
Design Verification Patterns. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Tomoyuki Yamada |
Acts of Promising in Dynamified Deontic Logic. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
Model Checking Contracts - A Case Study. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Georgios Gkekas, Anna Kyrikou, Nikos Ioannidis |
A smart calendar application for mobile environments. |
MobiMedia |
2007 |
DBLP DOI BibTeX RDF |
electronic calendar, recommendation system, personalization, mobile services |
9 | Rongzeng Cao, Wei Ding 0002, Bonnie K. Ray |
Mathematical models and simulation for project portfolios optimization. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai |
Contract-Based Testing for Web Services. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani |
Programming asynchronous layers with CLARITY. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming |
9 | Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum |
Scaling up SLA monitoring in pervasive environments. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo 0001 |
Privacy-aware role based access control. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
model, privacy, role based access control, purpose |
9 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Efficient E-Matching for SMT Solvers. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | K. Rustan M. Leino |
Designing Verification Conditions for Software. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Adam Chlipala |
A certified type-preserving compiler from lambda calculus to assembly language. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
denotational semantics, dependent types, compiler verification, interactive proof assistants |
9 | Francesco Viganò, Marco Colombetti |
Symbolic model checking of institutions. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
model checking, norms, institutions |
9 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Stefan Hallerstede, Thai Son Hoang |
Qualitative Probabilistic Modelling in Event-B. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | David Breitgand, Ealan A. Henis, Onn Shehory, John M. Lake |
Derivation of Response Time Service Level Objectives for Business Services. |
BDIM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre |
Contextual Agent Deliberation in Defeasible Logic. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Joanna Zieba, Bartosz Kryza, Renata Slota, Lukasz Dutka, Jacek Kitowski |
Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Shuaiqiang Wang, Ying Li, Guodong Huang |
PostB: The Post-condition Extension onto the B-Method. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez |
Ontology-Based Modelling of Session Management Policies for Groupware Applications. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
9 | James Skene, Allan Skene, Jason Crampton, Wolfgang Emmerich |
The monitorability of service-level agreements for application-service provision. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
SLA, ASP |
9 | Gary T. Leavens, Peter Müller 0001 |
Information Hiding and Visibility in Interface Specifications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Nic Suzor, Brian Fitzgerald 0002, Mark Perry 0001 |
Legal issues for free and open source software in government. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Ja'far Alqatawna, Erik Rissanen, Babak Sadighi Firozabadi |
Overriding of Access Control in XACML. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Sylvain Boulmé, Marie-Laure Potet |
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Nicolas Stouls, Marie-Laure Potet |
Security Policy Enforcement Through Refinement Process. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Guido Boella, Leendert W. N. van der Torre |
Power in Norm Negotiation. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Shan-Shan Hou, Lu Zhang 0023, Tao Xie 0001, Hong Mei 0001, Jiasu Sun |
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Farhad Mehta |
Supporting Proof in a Reactive Development Environment. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Dorian Gaertner, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos |
Distributed norm management in regulated multiagent systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
normative conflicts, regulated multiagent systems, coordination, electronic institutions, organisations |
9 | Dmytro Dyachuk, Ralph Deters |
Service Level Agreement Aware Workflow Scheduling. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Manuel Kolp, Paolo Giorgini, John Mylopoulos |
Multi-Agent Architectures as Organizational Structures. |
Auton. Agents Multi Agent Syst. |
2006 |
DBLP DOI BibTeX RDF |
Organizational styles, Architectural design, Multi-agent architectures |
9 | Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol |
Cones and foci: A mechanical framework for protocol verification. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Process algebra, PVS, Protocol verification, Branching bisimulation |
9 | Sven Ove Hansson |
Ideal Worlds - Wishful Thinking in Deontic Logic. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
deontic paradoxes, ideal worlds, truth-functional representation, deontic logic, possible worlds |
9 | J Strother Moore |
Inductive assertions and operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Theorem proving, JVM, Software verification, Verification condition |
9 | Francois Carcenac, Frédéric Boniol |
A formal framework for verifying distributed embedded systems based on abstraction methods. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification |
9 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
A rule-based approach to norm-oriented programming of electronic institutions. |
SIGecom Exch. |
2006 |
DBLP DOI BibTeX RDF |
programming, languages, auctions, norms, electronic institutions |
9 | Milind G. Sohoni, Ellis L. Johnson, T. Glenn Bailey |
Operational airline reserve crew planning. |
J. Sched. |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Giovanni Sartor |
Fundamental legal concepts: A formal and teleological characterisation. |
Artif. Intell. Law |
2006 |
DBLP DOI BibTeX RDF |
normative positions, teleological reasoning |
9 | Alistair A. McEwan, Steve A. Schneider |
A verified development of hardware using CSP∥B. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
An Open Extensible Tool Environment for Event-B. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Karim Djemame, Iain Gourlay, James Padgett, Georg Birkenheuer, Matthias Hovestadt, Odej Kao, Kerstin Voß |
Introducing Risk Management into the Grid. |
e-Science |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Westley Weimer |
Exception-Handling Bugs in Java and a Language Extension to Avoid Them. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 837 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|