Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Sampo Sovio, N. Asokan, Kaisa Nyberg |
Defining Authorization Domains Using Virtual Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT Workshops ![In: 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003 - Orlando, FL, USA, Proceedings, pp. 331-336, 2003, IEEE Computer Society, 0-7695-1873-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Rashmi R. Sinha |
Persona development for information-rich domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 830-831, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
design, user profiles, personas, information architecture |
11 | Valeri P. Il'in, Svetlana A. Litvinenko, V. M. Sveshnikov |
Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings, pp. 89-99, 2003, Springer, 3-540-40673-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Crescencio Bravo, Miguel A. Redondo, Manuel Ortega 0001, José Bravo 0001 |
Organizing Problem Solving Activities for Synchronous Collaborative Learning of Design Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003, Proceedings, pp. 108-111, 2003, Springer, 3-540-40522-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | PariVallal Kannan, Dinesh Bhatia |
Interconnect Estimation for FPGAs under Timing Driven Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 344-349, 2003, IEEE Computer Society, 0-7695-2025-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Saravanan Rajapandian, Zheng Xu 0003, Kenneth L. Shepard |
Charge-Recycling Voltage Domains for Energy-Efficient Low-Voltage Operation of Digital CMOS Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 98-102, 2003, IEEE Computer Society, 0-7695-2025-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jiejun Kong, Shirshanka Das, Edward Tsai, Mario Gerla |
ESCORT: a decentralized and localized access control system for mobile wireless access to secured domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Wireless Security ![In: Proceedings of the 2003 ACM Workshop on Wireless Security, San Diego, CA, USA, September 19, 2003, pp. 51-60, 2003, ACM, 1-58113-769-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
decentralized access control, identity privacy, mobile privacy, location privacy, wireless security |
11 | Wasfy B. Mikhael, Venkatesh Krishnan |
A new linear predictor employing vector quantization in nonorthogonal domains for high quality speech coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 500-503, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Khurshid Ahmad 0001, Mariam Tariq, Bogdan Vrusias, Chris Handy |
Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings, pp. 502-510, 2003, Springer, 3-540-01274-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Pradiptya Ghosh, Chung-shin Kang, Michael Sanie, David Pinto 0003 |
New DFM Approach Abstracts AltPSM Lithography Requirements for sub-100nm IC Design Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 4th International Symposium on Quality of Electronic Design (ISQED 2003), 24-26 March 2003, San Jose, CA, USA, pp. 131-137, 2003, IEEE Computer Society, 0-7695-1881-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | S. Subramani, Balan Gurumoorthy |
Associativity between feature models across domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, Seattle, Washington, USA, June 16 - 20, 2003, pp. 316-321, 2003, ACM, 1-58113-752-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
3D clipping, feature editing, concurrent engineering, feature based modeling |
11 | Sanjay Madria |
Preface to XSDM 2003. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, pp. 249, 2003, Springer, 3-540-20257-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Sébastien Gaspard, Florida Estrella, Richard McClatchey, Régis Dindeleux |
Managing Evolving Business Workflows through the Capture of Descriptive Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, pp. 5-16, 2003, Springer, 3-540-20257-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jens Hoefkens, Martin Berz |
Verification of Invertibility of Complicated Functions over Large Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 8(1), pp. 67-82, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Reinaldo A. Bergamaschi |
Bridging the domains of high-level and logic synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(5), pp. 582-596, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | I. Burak Özer, Wayne H. Wolf |
A hierarchical human detection system in (un)compressed domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 4(2), pp. 283-300, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Stefano Berrone, Laurent Emmel |
Towards a Realization of a Wavelet Galerkin Method on Non-Trivial Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 17(1-4), pp. 307-317, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Wavelet Element Method - Wavelet Galerkin Methods, C++ data structures |
11 | Takahiro Shinagawa, Kenji Kono, Takashi Masuda |
Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 172-184, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | S. K. Tomar, Pravir Dutt, B. V. Rathish Kumar |
An Efficient and Exponentially Accurate Parallel h-p Spectral Element Method for Elliptic Problems on Polygonal Domains - The Dirichlet Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 534-544, 2002, Springer, 3-540-00303-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | AbdulMohsen Al-Thubaity, Khurshid Ahmad 0001 |
Tracking Knowledge of Emergent Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2002, London, England, UK, July 10-12, 2002, pp. 685-690, 2002, IEEE Computer Society, 0-7695-1656-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Xiaolong Jin, Jiming Liu 0001 |
Multiagent SAT (MASSAT): Autonomous Pattern Search in Constrained Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2002, Third International Conference, Manchester, UK, August 12-14, Proceedings, pp. 318-328, 2002, Springer, 3-540-44025-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Autonomous Pattern Search, Satisfiability Problem (SAT), MASSAT, Multiagent System |
11 | Nicos Angelopoulos |
Probabilistic Finite Domains: A Brief Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 475, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Ranjit Nair, Milind Tambe, Stacy Marsella |
Team Formation for Reformation in Multiagent Domains Like RoboCupRescue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2002: Robot Soccer World Cup VI, pp. 150-161, 2002, Springer, 3-540-40666-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Berka, Wernher Behrendt, Erich Gams, Siegfried Reich |
Recommending Internet-Domains Using Trails and Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings, pp. 368-371, 2002, Springer, 3-540-43737-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Mikael Sollenborn, Peter Funk 0001 |
Category-Based Filtering in Recommender Systems for Improved Performance in Dynamic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings, pp. 436-439, 2002, Springer, 3-540-43737-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea |
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 438-455, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Pin-Han Ho, Hussein T. Mouftah |
Allocation of Protection Domains in Dynamic WDM Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings, pp. 188-189, 2002, IEEE Computer Society, 0-7695-1856-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
lighgtpath, shared protection, diverse routing, working and protection paths, wavelength division multiplexing (WDM) |
11 | Mihye Kim, Paul Compton |
Web-Based Document Management for Specialised Domains: A Preliminary Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, Proceedings, pp. 43-48, 2002, Springer, 3-540-44268-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | John Black, Phillip Rogaway |
Ciphers with Arbitrary Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2002, The Cryptographer's Track at the RSA Conference, 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings, pp. 114-130, 2002, Springer, 3-540-43224-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Provable security, Modes of Operation, Symmetric Encryption, Ciphers |
11 | Sascha Schmitt, Philipp Dopichaj, Patricia Domínguez-Marín |
Entropy-Based vs. Similarity-Influenced: Attribute Selection Methods for Dialogs Tested on Different Electronic Commerce Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002, Proceedings, pp. 380-394, 2002, Springer, 3-540-44109-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Óscar Sapena, Eva Onaindia |
Domain-Independent Online Planning for STRIPS Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings, pp. 825-834, 2002, Springer, 3-540-00131-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | José M. Vidal |
The effects of cooperation on multiagent search in task-oriented domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 453-454, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiagent search, task-oriented domain |
11 | Melanie J. Ashleigh, Neville A. Stanton |
Trust: Key Elements in Human Supervisory Control Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 3(2), pp. 92-100, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Human supervisory control, Trust, Technology, Teams |
11 | Q. Hu, D. Yu |
A Solution Method for a Certain Nonlinear Interface Problem in Unbounded Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 67(2), pp. 119-140, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
65R20, 65N38, AMS Subject Classifications: 65N30 |
11 | Scott Henninger |
Organizational Learning in Dynamic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSO ![In: Advances in Learning Software Organizations, Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001, Proceedings, pp. 8-16, 2001, Springer, 3-540-42574-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ibrahim Khalil, Torsten Braun |
Implementation of a Bandwidth Broker for Dynamic End-to-End Capacity Reservation over Multiple Diffserv Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMNS ![In: Management of Multimedia on the Internet, 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA October 29 - November 1, 2001, Proceedings, pp. 160-174, 2001, Springer, 3-540-42786-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ilaria Torre 0001 |
Goals, Tasks and Application Domains as the Guidelines for Defining a Framework for User Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Modeling ![In: User Modeling 2001, 8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001, Proceedings, pp. 260-264, 2001, Springer, 3-540-42325-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Framework and dimensions for user modelling, ontology for adaptation features, reusable user modelling components, adaptive hypermedia |
11 | Weigang Wang, Alejandro Fernández |
A Graphical User Interface Integrating Features from Different Hypertext Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OHS-7/SC-3/AH-3 ![In: Hypermedia: Openness, Structural Awareness, and Adaptivity, International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers, pp. 141-150, 2001, Springer, 3-540-43293-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mohammed Javeed Zaki |
Sequence Mining in Categorical Domains: Algorithms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sequence Learning ![In: Sequence Learning - Paradigms, Algorithms, and Applications, pp. 162-187, 2001, Springer, 3-540-41597-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Xiaohua Kong, Radu Negulescu, Larry Weidong Ying |
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 370-385, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mehdi Dastani, Bipin Indurkhya |
Modeling Context Effect in Perceptual Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings, pp. 129-142, 2001, Springer, 3-540-42379-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mario E. Agueda, Pablo H. Ibargüengoytia |
An Architecture for Planning in Uncertain Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 152-159, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jesualdo Tomás Fernández-Breis, Dagoberto Castellanos Nieves, Rafael Valencia-García, Pedro José Vivancos Vicente, Rodrigo Martínez-Béjar, Manuel De las Heras-González |
Towards scott domains-based topological ontology models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 127-138, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ontology, topology |
11 | Lori S. Levin, Alon Lavie, Monika Woszczyna, Donna Gates, Marsal Gavaldà, Detlef Koll, Alex Waibel |
The Janus-III Translation System: Speech-to-Speech Translation in Multiple Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 15(1-2), pp. 3-25, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
JRTk, robust parsing, semantic grammars, SOUP, multi-domain, speech translation |
11 | Udo Diewald, Tobias Preußer, Martin Rumpf |
Anisotropic Diffusion in Vector Field Visualization on Euclidean Domains and Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 6(2), pp. 139-149, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
segmentation, Flow visualization, multiscale, nonlinear diffusion |
11 | John R. Michener, Tolga Acar |
Security Domains: Key Management in Large-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 17(5), pp. 52-58, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 286-299, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Serge Vaudenay |
Decorrelation over Infinite Domains: The Encrypted CBC-MAC Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000, Proceedings, pp. 189-201, 2000, Springer, 3-540-42069-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Slim Abdennadher, Christophe Rigotti |
Automatic Generation of Propagation Rules for Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 18-34, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Carmen L. R. Santos, Celso R. Souza, Pedro Paulo Balbi de Oliveira, Phil Husbands |
Using the GasNet Model in Discrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 6th Brazilian Symposium on Neural Networks (SBRN 2000), 22-25 November 2000, Rio de Janiero, Brazil, pp. 231-236, 2000, IEEE Computer Society, 0-7695-0856-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Irina V. Tselishcheva, Grigorii I. Shishkin |
A Domain Decomposition Finite Difference Method for Singularly Perturbed Elliptic Equations in Composed Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers, pp. 756-763, 2000, Springer, 3-540-41814-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Gateways for Accessing Fault Tolerance Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms, New York, NY, USA, April 4-7, 2000, Proceedings, pp. 88-103, 2000, Springer, 3-540-67352-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Tjavdar Ivanov, Vladimir Maz'ya, Gunther Schmidt 0002 |
Boundary layer approximate approximations and cubature of potentials in domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 10(3-4), pp. 311-342, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
volume potentials, semi-analytic cubature formulae, approximate approximations, approximate multi-resolution, 65N38, 65D32, 65D15 |
11 | Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel |
Deciding Equality Formulas by Small Domains Instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 455-469, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Marius Bozga, Oded Maler |
On the Representation of Probabilities over Structured Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 261-273, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | David B. Lomet, Mark R. Tuttle |
Logical Logging to Extend Recovery to New Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, USA., pp. 73-84, 1999, ACM Press, 1-58113-084-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Dan Corbett |
A Case for Variable-Arity Relations: Definitions and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings, pp. 508-509, 1999, Springer, 3-540-66223-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Rodrigo Martínez-Béjar, Francisca Ibáñez-Cruz, Thong Le-Gia, Tri M. Cao, Paul Compton |
FMR: An Incremental Knowledge Acquisition System for Fuzzy Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings, pp. 349-354, 1999, Springer, 3-540-66044-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Masahito Kurihara, Hisashi Kondo |
Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 353-364, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Carol L. Redfield, Benjamin Bell, Patricia Y. Hsieh, Joseph Lamos, R. Bowen Loftin, David Palumbo |
Methodologies for Tutoring in Procedural Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998, Proceedings, pp. 616, 1998, Springer, 3-540-64770-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | William W. Cohen |
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 201-212, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Hélène Collavizza, François Delobel, Michel Rueher |
A Note on Partial Consistencies over Continuous Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 147-161, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Robert Gage, Ben Brown |
The CAT-exact data transfer to DDS-generated clock domains in a single-chip modular solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 507-513, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack |
Models, Domains and Abstraction in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 28-42, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Modeling, Software Architecture, Software Development Methodologies, Object-Oriented Software Development |
11 | Karsten Schmidt 0004 |
Siphons, Traps and High-Level Nets with Infinite Color Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 271-289, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets |
11 | Charles C. Taylor, Gholamreza Nakhaeizadeh |
Learning in Dynamically Changing Domains: Theory Revision and Context Dependence Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-97, 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997, Proceedings, pp. 353-360, 1997, Springer, 3-540-62858-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Birk 0001 |
Modeling the Application Domains of Software Engineering Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 291-292, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
application domain modelling, software engineering technologies, systematic software engineering technology reuse, improvement program planning, software reusability, software project planning, software development practices |
11 | Dao Nam Anh, Richard Moore |
Formal Modeling of Large Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 246-, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Philip S. Santas |
Conditional Categories and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 112-125, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Giancaspro, Sergio Losito |
A plan-generating systems constructor for cooperative application domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 12(2), pp. 175-193, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
interacting agents, Planning, space robotics |
11 | Robert Meersman |
Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 39-45, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Meinhard Paffrath, Karl Steger |
Method of temporary coordinate domains for moving boundary value problems [semiconductor processing simulation]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(6), pp. 746-756, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | R. Bhart Roa, Stephen C. Y. Lu |
A Knowledge-Based Equation Discovery System for Engineering Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 8(4), pp. 37-42, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Yuri Leonidovich Ershov |
Theory of Domains and Nearby (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 1-7, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Felipe Bracho, Manfred Droste |
From Domains to Automata with Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 669-681, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Boyan A. Onyshkevych, Mary Ellen Okurowski, Lynn Carlson |
Tasks, domains, and languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 5th Conference on Message Understanding, MUC 1993, Baltimore, Maryland, USA, August 25-27, 1993, pp. 7-17, 1993, ACL, 1-55860-336-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Allen Van Gelder |
Multiple Join Size Estimation by Virtual Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 180-189, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Reinhold Heckmann |
Probabilistic Power Domains, Information Systems, and Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 410-437, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Stephen D. Brookes, Shai Geva |
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 320-332, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Eric Goubault |
Domains of Higher-Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 293-307, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Ronitt Rubinfeld, Madhu Sudan 0001 |
Self-Testing Polynomial Functions Efficiently and Over Rational Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Third Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 27-29 January 1992, Orlando, Florida, USA., pp. 23-32, 1992, ACM/SIAM, 0-89791-466-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
11 | David Eichmann |
Supporting Multiple Domains in a Single Reuse Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 164-169, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide |
Data Modelling in Complex Application Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 364-377, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Diessel, Axel Lehmann 0001 |
An ITS for Engineering Domains: Concept, Design and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 161-173, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Schnörr |
Determining optical flow for irregular domains by minimizing quadratic functionals of a certain class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 6(1), pp. 25-38, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Roberto M. Amadio |
Domains in a Realizability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 241-263, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Schmidt 0002, Hans-Martin Hörcher |
Programming with VDM Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 122-134, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Reinhold Heckmann |
Set Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 177-196, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Guo-Qiang Zhang 0001 |
DI-Domains as Information Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 773-788, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Benny Chor, Eyal Kushilevitz |
Secret Sharing Over Infinite Domains (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '89, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings, pp. 299-306, 1989, Springer, 3-540-97317-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Joseph S. B. Mitchell |
On Maximum Flows in Polyhedral Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fourth Annual Symposium on Computational Geometry, Urbana-Champaign, IL, USA, June 6-8, 1988, pp. 341-351, 1988, ACM, 0-89791-270-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri |
OBJSA Nets: a Class of High- level Nets Having Objects as Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 20-43, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Achim Jung |
New Results on Hierarchies of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 303-310, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Gunther Schmidt 0001, Rudolf Berghammer, Hans Zierer 0001 |
Describing Semantic Domains with Sprouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 299-310, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Sylvia L. Osborn, T. E. Heaven |
The Design of a Relational Database System with Abstract Data Types for Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 11(3), pp. 357-373, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Elias N. Houstis, William F. Mitchell, John R. Rice |
Algorithm 637: GENCOL: Collocation of General Domains with Bicubic Hermite Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 11(4), pp. 413-415, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
FORTRAN |
11 | Elias N. Houstis, William F. Mitchell, John R. Rice |
Algorithm 638: INTCOL and HERMCOL: Collocation on Rectangular Domains with Bicubic Hermite Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 11(4), pp. 416-418, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
FORTRAN |
11 | Carl A. Gunter |
Comparing Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 101-121, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
11 | Michael B. Smyth |
Power Domains and Predicate Transformers: A Topological View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 662-675, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
9 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings, pp. 143-144, 2011, ACM, 978-1-4503-0688-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|