|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 405 occurrences of 337 keywords
|
|
|
Results
Found 3768 publication records. Showing 3767 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
115 | Pekka Makkonen |
Is web-based seminar an effective way of learning in adult education? |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
76 | Michele Kleckner |
Where writing and rhetoric meet multimedia production designing an effective, interdisciplinary capstone experience. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
co-taught, multimedia, curriculum, interdisciplinary, capstone course, capstone project |
66 | Paolo A. G. Sivilotti, Bruce W. Weide |
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
graduate seminar courses, oral and written communication, professional service, technical reviewing, pedagogy |
65 | David G. Kay |
Training computer science teaching assistants: a seminar for new TAs. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
graduate student support, teaching assistants, teacher training |
53 | John A. N. Lee, Kevin W. Bowyer |
Future faculty development seminar in ethics, social impact and alternative teaching strategies (seminar session). |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Tamar Benaya, Maya Herman, Daphna Shahak, Ela Zur |
Individual and group seminars and workshops in the computer science curriculum. |
ITiCSE |
2010 |
DBLP DOI BibTeX RDF |
education, computer science, workshops, seminars |
51 | Solomon Marcus |
The Duality of Patterning in Molecular Genetics. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
51 | John Saul |
Moving from training to teaching. |
SIGUCCS |
2004 |
DBLP DOI BibTeX RDF |
advanced training topics, training, staff development |
51 | Marc Leeman, Francisco Barat, Vincenzo De Florio, Geert Deconinck |
Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
design, education, e-commerce, embedded, engineering |
41 | Guido Rößling |
Providing a Seminar++: innovation seminars. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
innovation, seminar |
40 | Muhammad Mahreza Maulana, Arif Imam Suroso, Yani Nurhadryani, Kudang Boro Seminar |
The Smart Governance Framework and Enterprise System's Capability for Improving Bio-Business Licensing Services. |
Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sirojul Munir, Kudang Boro Seminar, Sudradjat, Heru Sukoco, Agus Buono |
The Use of Random Forest Regression for Estimating Leaf Nitrogen Content of Oil Palm Based on Sentinel 1-A Imagery. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Kudang Boro Seminar, Leopold Oscar Nelwan, I Wayan Budiastra, Arya Sutawijaya, Arif Kurnia Wijayanto, Harry Imantho, Muhammad Achirul Nanda, Tofael Ahamed |
Using Precision Agriculture (PA) Approach to Select Suitable Final Disposal Sites for Energy Generation. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Harry Imantho, Kudang Boro Seminar, Wawan Hermawan, Satyanto Krido Saptomo |
A Spatial Distribution Empirical Model of Surface Soil Water Content and Soil Workability on an Unplanted Sugarcane Farm Area Using Sentinel-1A Data towards Precision Agriculture Applications. |
Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Riki Ruli A. Siregar, Kudang Boro Seminar, Sri Wahjuni, Edi Santosa |
Vertical Farming Perspectives in Support of Precision Agriculture Using Artificial Intelligence: A Review. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Muhammad Achirul Nanda, Kudang Boro Seminar, Akhiruddin Maddu, Dodi Nandika |
Identifying relevant features of termite signals applied in termite detection system. |
Ecol. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Pradeka Brilyan Purwandoko, Kudang Boro Seminar, Sutrisno 0002, Sugiyanta |
Design Framework of a Traceability System for the Rice Agroindustry Supply Chain in West Java. |
Inf. |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Pradeka Brilyan Purwandoko, Kudang Boro Seminar, Sutrisno 0002, Sugiyanta |
Development of a Smart Traceability System for the Rice Agroindustry Supply Chain in Indonesia. |
Inf. |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Muhammad Achirul Nanda, Kudang Boro Seminar, Dodi Nandika, Akhiruddin Maddu |
A Comparison Study of Kernel Functions in the Support Vector Machine and Its Application for Termite Detection. |
Inf. |
2018 |
DBLP DOI BibTeX RDF |
|
40 | Muhammad Achirul Nanda, Kudang Boro Seminar, Mohamad Solahudin, Akhiruddin Maddu, Dodi Nandika |
Implementation of Genetic Algorithm (GA) for Hyperparameter Optimization in a Termite Detection System. |
ICGSP |
2018 |
DBLP DOI BibTeX RDF |
|
40 | Kudang Boro Seminar, Robert N. Robson |
A Tool for Storing and Exploring Ideas. |
ICCAL |
1992 |
DBLP DOI BibTeX RDF |
symmetric difference, cooperative environments, triangle model, knowledge acquisition, learning environments, concept formation |
40 | Robert N. Robson, Kudang Boro Seminar |
Visual editing of data structures. |
ICSM |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Kudang Boro Seminar, Robert N. Robson |
An iconic description language: programming support for data structure visualization. |
ACM SIGCHI Bull. |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Philip M. Johnson, Carleton A. Moore |
Investigating strong collaboration with the Annotated Egret Navigator. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
strong collaboration, Annotated Egret Navigator, structured hypertext document, graduate seminar, indirect authoring mechanisms, direct authoring mechanisms, context-sensitive change information, intermediate work products, groupware, hypermedia, database integrity, agent-based architecture |
39 | Takashi Yamanoue |
A casual teaching tool for large size computer laboratories and small size seminar classes. |
SIGUCCS |
2009 |
DBLP DOI BibTeX RDF |
java, distributed systems, P2P (peer to peer) |
39 | Roland T. Mittermeir |
A Seminar Looking for Traces of History. |
IEEE Ann. Hist. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Sihem Amer-Yahia, Djoerd Hiemstra, Thomas Roelleke, Divesh Srivastava, Gerhard Weikum |
DB&IR integration: report on the Dagstuhl seminar "ranked XML querying". |
SIGMOD Rec. |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Sihem Amer-Yahia, Djoerd Hiemstra, Thomas Roelleke, Divesh Srivastava, Gerhard Weikum |
DB&IR integration: report on the dagstuhl seminar. |
SIGIR Forum |
2008 |
DBLP DOI BibTeX RDF |
XML |
39 | Marcus Brunner, Lars Eggert, Kevin R. Fall, Jörg Ott, Lars C. Wolf |
Dagstuhl seminar on disruption tolerant networking. |
Comput. Commun. Rev. |
2005 |
DBLP DOI BibTeX RDF |
interplanetary internet, sensor networks, ad-hoc networks, mobility, delay-tolerant networking, disconnected operation |
39 | Noa Ragonis |
A refreshing approach to an academic seminar course. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Michael Kölling, John Rosenberg |
Objects first with Java and BlueJ (seminar session). |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
Java |
39 | Janet L. Kourik |
A practical approach to internationalizing information systems & computer science courses (seminar). |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Michael Voit, Kai Nickel, Rainer Stiefelhagen |
Neural Network-Based Head Pose Estimation and Multi-view Fusion. |
CLEAR |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Umair Khan, Maurizio Morisio, Marco Torchiano |
Barriers to disseminating off-the-shelf based development theories to IT industry. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
OSS component, empirical study, COTS component |
38 | Stephanie Ludi |
Active-learning activities that introduce students to software engineering fundamentals. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
software engineering, active learning, teamwork, undergraduate education |
38 | Sandy Graham, Celine Latulipe |
CS girls rock: sparking interest in computer science and debunking the stereotypes. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
enrichment program, diversity, gender, stereotypes, women, high school, enrollment |
34 | Kostas Daniilidis, Reinhard Klette, Ales Leonardis (eds.) |
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision, 13.06. - 18.06.2004 |
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision |
2004 |
DBLP BibTeX RDF |
|
34 | Ralf Reulke, Aloysius Wehr, Denis Griesbach |
Mobile Panoramic Mapping using CCD-Line Camera and Laser Scanner. |
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision |
2004 |
DBLP BibTeX RDF |
|
34 | Kostas Daniilidis, Reinhard Klette, Ales Leonardis |
04251 - Imaging Beyond the Pinhole Camera. |
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision |
2004 |
DBLP BibTeX RDF |
|
34 | Olivier Danvy, Robert Glück, Peter Thiemann 0001 (eds.) |
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Bernhard Plattner (eds.) |
Broadband Communications - Networks, Services, Applications, Future Directions, 1996 International Zurich Seminar on Digital Communications, IZS'96, Zurich, Switzerland, February 21-23, 1996, Proceedings |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Olivier Danvy |
Pragmatics of Type-Directed Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Alberto Pettorossi, Maurizio Proietti |
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Valentin F. Turchin |
Metacomputation: Metasystem Transitions plus Supercompilation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Alexander Sakharov |
Specialization of Imperative Programs Through Analysis of Relational Expressions. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Michael Leuschel, Bern Martens |
Global Control for Partial Deduction through Characteristic Atoms and Global Trees. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Mikhail A. Bulyonkov, Dmitry V. Kochetov |
Practical Aspects of Specialization of Algol-like Programs. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin |
A Self-Applicable Supercompiler. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Scott Draves |
Compiler Generation for Interactive Graphics Using Intermediate Code. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Flemming Nielson, Hanne Riis Nielson |
Multi-Level Lambda-Calculi: An Algebraic Description. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Thomas W. Reps, Todd Turnidge |
Program Specialization via Program Slicing. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Torben Æ. Mogensen |
Evolution of Partial Evaluators: Removing Inherited Limits. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche |
A Uniform Approach for Compile-Time and Run-Time Specialization. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Sandrine Blazy, Philippe Facon |
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Neil D. Jones |
What Not to Do When Writing an Interpreter for Specialisation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | John Hatcliff, Robert Glück |
Reasoning about Hierarchies of Online Program Specialization Systems. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Michael Sperber |
Self-Applicable Online Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | John P. Gallagher, Laura Lafave |
Regular Approximation of Computation Paths in Logic and Functional Languages. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Alberto Pettorossi, Maurizio Proietti |
A Comparative Revisitation of Some Program Transformation Techniques. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Alain Miniussi, David J. Sherman |
Squeezing Intermediate Construction in Equational Programs. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | John Hughes |
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Jesper Jørgensen, Michael Leuschel |
Efficiently Generating Efficient Generating Extensions in Prolog. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann 0001 |
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Robert Glück, Morten Heine Sørensen |
A Roadmap to Metacomputation by Supercompilation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Peter Sestoft |
MK Pattern Match Compilation and Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Nikita D. Vvedenskaya, Jean-Paul M. G. Linnartz |
Single-Frequency Packet Network Using Stack Algorithm and Multiple Base Stations. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Rugang Vogt, Ulrich Killat |
End-to-End Performance Evaluation of Datagram Acceptance Control in DQDB-ATM-DQDB CL Network. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Michael H. Hadjitheodosiou |
VSAT Satellite Networks Providing ATM Service. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Harald Müller 0002 |
Multimedia Call Control: A Centralized Approach. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Markus Hofmann 0001 |
A Generic Concept for Large-Scale Multicast. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Stephan Robert 0001, Jean-Yves Le Boudec |
Can Self-Similar Traffic Be Modeled by Markovian Processes? |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Juan I. Solana, Jesús Mariño, Rafael Caravantes |
Broadband Access in RECIBA B-ISDN Experimental Platform. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Danny H. K. Tsang, Wales Kin Fai Wong, Shengming Jiang, Eric Y. S. Liu |
A Fast Switch Algorithm for ABR Traffic to Achieve Max-Min Fairness. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Peter Martini, Jörg Ottensmeyer |
On the Scalability of the Demand-Priority LAN - A Performance Comparison to FDDI for Multimedia Scenarios. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Y. M. Jang, Aura Ganz, Jeremiah F. Hayes |
Predictive Congestion Control for Broadband Satellite Systems. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Bong K. Ryu |
Implications of Self-Similarity for Providing End-to-End QoS Guarantees in High-Speed Networks: A Framework of Application Level Traffic Modeling. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Stock, Xavier García |
On the Potentials of Forward Error Correction Mechanisms Applied to Real-Time Services Carried over B-ISDN. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Johan A. De Vriendt, Leo Vercauteren, Konstantinos Georgokitsos, Abdelkrime Saïdi |
The UMTS Mobility Server: a Solution to Support Third Generation Mobility in ATM. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Kris Struyve, Piet Demeester, Leo Nederlof, Luc Van Hauwermeiren |
Design and Evaluation of Distributed Link and Path Restoration Algorithms for ATM Meshed Networks. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Aleksandar Kolarov, Gopalakrishnan Ramamurthy |
Comparison of Explicit Rate and Explicit Forward Congestion Indication Flow Control Schemes for ABR Service. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Felix, Ettore Paolillo, Franco Mercalli, Yung-Shain Wu |
Experiences with Multimedia Teleshopping Applications over a Broadband Network - The Project ESSAI. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Christian Winkler 0002 |
A Univeral Scaling Principle for ATM Based Connectionless Servers. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Giuseppe Anastasi, M. La Porta, Luciano Lenzini |
A Performance Study of the Local Fairness Algorithm for MetaRing MAC Protocol. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Olivier Crochat, Jean-Yves Le Boudec, Tony Przygienda |
A Path Selection Method in ATM Using Pre-Computation. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Maher Hamdi, James W. Roberts |
Burstiness Bounds Based Muliplexing Schemes for VBR Video Connections in the B-ISDN. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | S. Jamaloddin Golestani |
Fair Queueing Algorithms for Packet Scheduling in BISDN. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Simon Znaty, Thomas Walter, Marcus Brunner, Jean-Pierre Hubaux, Bernhard Plattner |
Multimedia Multipoint Teleteaching over the European ATM Pilot. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Sushil Aryal, James S. Meditch |
Design of a Large ATM Switch with Trunk Grouping. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Debasis Mitra 0001, Ilze Ziedins 0001 |
Virtual Partitioning by Dynamic Priorities: Fair and Efficient Resource-Sharing by Several Services. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | M. Zirngibl, Chris H. Joyner, Christopher Richard Doerr, L. W. Stulz, I. P. Kaminov |
LARNet, a Wavelength Division Multiplexed Network for Broadband Local Access. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Nicola Blefari-Melazzi |
Modeling and Analysis of MPEG Video Sources for Performance Evaluation of Broadband Integrated Networks. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Eric Gauthier, Jean-Yves Le Boudec |
Scalability Enhancements for Connection-Oriented Networks. |
International Zurich Seminar on Digital Communications |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Stephen D. Brookes, A. W. Roscoe 0001, Glynn Winskel (eds.) |
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 |
Seminar on Concurrency |
1985 |
DBLP DOI BibTeX RDF |
|
34 | Christian Lengauer, Chua-Huang Huang |
The Static Derivation of Concurrency and its Mechanzed Certification. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Robert E. Strom, Shaula Yemini |
The NIL Distributed Systems Programming Language: A Status Report. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Robin Milner |
Lectures on a Calculus for Communicating Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Howard Barringer, Ruurd Kuiper 0001 |
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | William D. Clinger, Charles Halpern |
Alternative Semantics for McCarthy's amb. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Ben C. Moszkowski |
Executing Temporal Logic Programs. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Glynn Winskel |
On the Composition and Decomposition of Assertions. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3767 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|