|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 57 occurrences of 46 keywords
|
|
|
Results
Found 257 publication records. Showing 248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Philip A. Houle, William R. Franta |
On the Structural Concepts of Simula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 7(1), pp. 39-45, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
24 | Jacob Palme |
SIMULA as a tool for extensible program products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 9(2), pp. 24-40, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | J. H. Kardasz, G. Molnar |
A SIMULA-Based Structure Oriented Language for the Dynamic Simulation of Chemical Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 17(1), pp. 28-37, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | Jacob Palme |
List Structures in SIMULA and PL/1-a Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 4(4), pp. 379-388, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Christopher |
T01A-programming languages: T01A6-A proposed data type resembling the SIMULA 67 class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 2nd annual computer science conference on Program information abstracts, CSC 1974, Detroit, MI, USA, 1974, pp. 19, 1974, ACM, 978-1-4503-7381-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | Uwe Kastens |
ALSI - eine höhere Programmiersprache zur Transformation von ALGOL 68 - Verbunden in SIMULA - Klassen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings, pp. 162-172, 1974, Springer, 3-540-06666-7. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Lie, Thomas Røgeberg |
SIMWAP and TETRASIM - Two Examples of Application Oriented Software, Developed on the Basis of the SIMULA Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, Deutschland, 8.-10. Oktober 1973, pp. 444-454, 1973, Springer, 3-540-06473-7. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
24 | K. P. Tognetti, C. Brett |
SIMSCRIPT II and SIMULA '67 - A Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 4(2), pp. 50-57, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
24 | Sigurd Kubosch |
The Structures of the NCC Simula Compilers and Bench Mark Comparisons with other Major Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Gesellschaft für Informatik e.V., 2. Jahrestagung, Karlsruhe, Deutschland, 2.-4. Oktober 1972, pp. 169-178, 1972, Springer, 3-540-06127-4. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
24 | Jean G. Vaucher |
Simulation data structures using SIMULA 67. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 5th conference on Winter simulation, WSC 1971, New York, NY, USA, December 8-10, 1971, pp. 255-260, 1971, ACM, 978-1-4503-7408-8. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
24 | Jean Ichbiah |
Extensibility in Simula 67. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Symposium on Extensible Languages ![In: Proceedings of the International Symposium on Extensible Languages, Grenoble, France, September 6-8, 1971, pp. 84-86, 1971, ACM, 978-1-4503-7372-2. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
24 | Wayne T. Wilner |
Declarative semantic definition, as illustrated by a definition of Simula 67. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1971 |
RDF |
|
16 | Jian-Guang Luo, Qian Zhang 0001, Yun Tang, Shi-Qiang Yang |
A Trace-Driven Approach to Evaluate the Scalability of P2P-Based Video-on-Demand Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(1), pp. 59-70, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | James Noble 0001 |
The Myths of Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 619-629, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lionel C. Briand |
System Engineering in the Energy and Maritime Sectors: Towards a Solution Based on Model-Centric Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 1, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xinjun Chen, Wentong Cai 0001, Stephen John Turner, Yong Wang |
Shared Variable Management in SOAr-DSGrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 154-161, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara |
Urban Traffic Signal Control Based on Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 65, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hao Shen, Frédéric Pétrot |
MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 403-408, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Soumyajit Dey, Monu Kedia, Anupam Basu |
An Approach to Software Performance Evaluation on Customized Embedded Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 111-117, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside |
Performance Modeling of a Quorum Pattern in Layered Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 201-210, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Lan Lin, Hyunyoung Lee |
A Dynamic Medial Axis Model for Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea, pp. 146-156, 2007, IEEE Computer Society, 0-7695-2975-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ka-man Lam, Ho-fung Leung |
Incorporating Risk Attitude and Reputation into Infinitely Repeated Games and an Analysis on the Iterated Prisoner's Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1, pp. 60-67, 2007, IEEE Computer Society, 0-7695-3015-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom |
A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 294-301, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jiaxing Xue, Jean Gao, Liping Tang |
Mathematical Modeling of Phagocyte Chemotaxis toward and Adherence to Biomaterial Implants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 302-307, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Flores, Juan L. Aragón, Manuel E. Acacio |
Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 752-757, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Dilip Gopichand Khairnar, S. N. Merchant, Uday B. Desai |
Nonlinear Target Identification and Tracking Using UKF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 761-764, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Kaoru Inoue, Yuko Ito, Yumi Ikeda, Atsuko Tanimura, Keisuke Suzuki, Yoshiyuki Takahashi, Tadashi Suzuki, Madoka Fujimoto, Masahiro Tsuchijima, Takashi Komeda |
Trial Usage of Rehabilitation System: Simple Driving Simulator for the Driving Skill Evaluation of People with Cerebrovascular Disease: CVD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 943-949, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cerebrobascular disease, Rehabilitation, Driving simulator |
16 | Sikun Li, Zhihui Xiong, Tiejun Li |
Distributed Cooperative Design of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design II, 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers, pp. 455-462, 2005, Springer, 3-540-32969-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Frank Eliassen, Richard Staehli, Gordon S. Blair, Jan Øyvind Aagedal |
QuA: building with reusable QoS-aware components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 154-155, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
adaptive reflective component middleware, MDA, separation of concerns, QoS management |
16 | Gul Agha, Prasanna Thati |
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 26-57, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ingemar Dahlstrand |
The Early Nordic Software Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing, IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway, pp. 239-249, 2003, Springer, 0-387-24167-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Algol 60, Nordic historical efforts, compilers, Software |
16 | Dag I. K. Sjøberg, Bente Anda, Erik Arisholm, Tore Dybå, Magne Jørgensen, Amela Karahasanovic, Marek Vokác |
Challenges and Recommendations When Increasing the Realism of Controlled Software Engineering Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESERNET ![In: Empirical Methods and Studies in Software Engineering, Experiences from ESERNET, pp. 24-38, 2003, Springer, 3-540-40672-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Empirical software engineering, technology transfer, controlled experiments |
16 | Ed Huai-hsin Chi, Adam Rosien, Gesara Supattanasiri, Amanda Williams, Christiaan Royer, Celia Chow, Erica Robles, Brinda Dalal, Julie Chen, Steve B. Cousins |
The bloodhound project: automating discovery of web usability issues using the InfoScent simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 505-512, 2003, ACM, 1-58113-630-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
usability prediction, user modeling, information foraging, information scent, web-based services, user simulation |
16 | Jaroslav Kacer |
Discrete event simulations with J-Sim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 13-18, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
Java |
16 | Yoshinobu Higami, Shin-ya Kobayashi, Yuzo Takamatsu |
A Method to Reduce Power Dissipation during Test for Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, pp. 326-331, 2002, IEEE Computer Society, 0-7695-1825-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sang-Hun Nam, Dong Hoon Lee, Jang-Hwan Im, Young-Ho Chai |
Dual projection-based VR system for the light weight motion-based driving simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2000, Seoul, South Korea, October 22-25, 2000., pp. 195-198, 2000, ACM, 1-58113-316-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Projection System, Virtual Reality, Quaternions, Driving Simulator, Motion Platform |
16 | Jan Clinckemaillie, Hans Georg Galbas, Otto Kolp, Clemens-August Thole, Stefanos Vlachoutsis |
High Scalability of Parallel PAM-CRASH with a New Contact Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 8th International Conference, HPCN Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings, pp. 439-444, 2000, Springer, 3-540-67553-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ole Lehrmann Madsen |
Semantic Analysis of Virtual Classes and Tested Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 114-131, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
generic class, parameterized class, semantic analysis, virtual class, BETA |
16 | Sasikumar Cherubal, Abhijit Chatterjee |
Parametric Fault Diagnosis for Analog Systems Using Functional Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 195-, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andy D. Pimentel, Louis O. Hertzberger |
An Architecture Workbench for Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 94-99, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Boris Magnusson |
Process oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 34-36, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bernd Hindel |
An object-oriented programming language for distributed systems: Heraklit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 114-116, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Uday S. Reddy |
Objects as Closures: Abstract Semantics of Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 289-297, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Yngve Lindsjørn, Dag I. K. Sjøberg |
Database Concepts Discussed in Object-Oriented Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 300-318, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bengt Nordström |
Programming with abstract data types, some examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 646-654, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Graphs, Mappings, Pascal, Pascal, Pointers |
16 | John C. Reynolds |
Syntactic Control of Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 39-46, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Ben Wegbreit, Jay M. Spitzen |
Proving Properties of Complex Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(2), pp. 389-396, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Alice E. Fischer, Michael J. Fischer |
Mode Modules as Representations of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 139-143, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #248 of 248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|