Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Shlomo Bekhor, Moshe E. Ben-Akiva, M. Scott Ramming |
Evaluation of choice set generation algorithms for route choice models. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Choice Set, Model Estimation, Route Choice, Logit models |
55 | Adam H. Berliner, Ulrike Bostelmann, Richard A. Brualdi, Louis Deaett |
Sum List Coloring Graphs. |
Graphs Comb. |
2006 |
DBLP DOI BibTeX RDF |
Choosable function, Sum choice number, Sum choice greedy graph, Graph, List coloring |
52 | Kyriakos Keremedis |
Disasters in topology without the axiom of choice. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Axiom of Choice, Countable axiom of choice, Countable axiom of Multiple choice, Countably compact, First countable, Second countable, Metrizable spaces, Compact, Separable |
51 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
50 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
47 | Annabelle McIver, Carroll Morgan |
Results on the quantitative µ-calculus qMµ. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Angelic choice, demonic choice, minimax theorem, modal mu-calculus, probabilistic choice, quantitative aspects of programming languages, denotational semantics, game semantics |
42 | Carolyn Dowling, Paul Nicholson |
Choice and Responsibility: The Delegation of Decision Making to Intelligent Software Agents. |
HCC |
2002 |
DBLP BibTeX RDF |
|
42 | Michael A. Smith, Donald E. Brown |
Discrete choice analysis of spatial attack sites. |
Inf. Syst. E Bus. Manag. |
2007 |
DBLP DOI BibTeX RDF |
Spatial choice, Multinomial choice, Preference specification, Feature selection, Target selection |
39 | Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse |
A Choice Relation Framework for Supporting Category-Partition Test Case Generation. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Category-partition testing, choice relation framework, choice relation table, test case construction, test frame, specification-based testing |
38 | Arjan J. Mooij, Nicolae Goga, Judi Romijn |
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Gudmund Skovbjerg Frandsen, Michael I. Schwartzbach |
A singular choice for multiple choice. |
ACM SIGCSE Bull. |
2006 |
DBLP DOI BibTeX RDF |
grading scales, multiple choice, scoring strategies, theory |
36 | Jérôme Mengin |
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Sarah Diefenbach, Marc Hassenzahl |
The "Beauty Dilemma": beauty is valued but discounted in product choice. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
beauty, beauty dilemma, product choice, user experience, aesthetics |
36 | Hannu Nurmi |
Fuzzy social choice: a selective retrospect. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Condorcet’s jury theorem, Voting game, Mechanism design, Social choice, Fuzzy preference relation |
36 | Shuk Ying Ho, Michael J. Davern, Kar Yan Tam |
Personalization and choice behavior: the role of personality traits. |
Data Base |
2008 |
DBLP DOI BibTeX RDF |
choice behavior, need for cognition, need for uniqueness, variety seeking, web personalization, personality traits |
35 | Mark Bergman, Gloria Mark |
Technology choice as a first step in design: the interplay of procedural and sensemaking processes. |
Symposium on Designing Interactive Systems |
2002 |
DBLP DOI BibTeX RDF |
project choice, technology choice, design, organizations, requirements analysis, sensemaking |
35 | William D. Clinger, Charles Halpern |
Alternative Semantics for McCarthy's amb. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
34 | Klaus Brunnstein, Jacques Berleur (eds.) |
Human Choice and Computers: Issues of Choice and Quality of Life in the Information Society, IFIP 17th World Computer Congress - TC9 Stream / 6th International Conference on Human Choice and Computers: Issues of Choice and Quality of Life in the Information Society (HCC-6), August 25-30, 2002, Montréal, Québec, Canada |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Simone Fischer-Hübner, Alberto Escudero-Pascual, Helena Lindskog |
Preventing Privacy Attacks and CyberCrime in the Mobile Internet? |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Arslan Brömme |
A Classification of Biometric Applications Wanted by Politics: Passorts, Person Tracking and Fight Against Terror. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Andy Sloane |
Information and Communication Technology and the Home Environment. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Lorenz M. Hilty |
Sustainable Development and the Information Society. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Adekunle Okunoye |
Towards a Framework for Sustainable Knowledge Management in Organisations in Developing Countries. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Kurt Walk |
Roots of Computing in Austria - Contributions of the IBM Vienna Laboratory and Changes of Paradigms and Priorities in Information Technology. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Mathura Prasad Thapliyal, K. Subramanian |
Technology and Learning Societies in the New Millennium (Indian Context): Content, Practice and Management. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | C. C. Gotlieb |
Does the Internet Promote Democracy? |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Rob Kling |
Critical Professional Discourses About Information and Communications Technologies and Social Life in the U.S.. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | John Weckert |
Trust, Corruption, and Surveillance in the Electronic Workplace. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | László Z. Karvalics |
The Security Aspect of Information Society as a Global Biocultural System. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Arthur Tatnall, Bill Davey |
Understanding the Process of Information Systems and ICT Curriculum Development. Three Models. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Wolfgang Coy |
Computer Augmented Research and Scientific Misconduct. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Klaus Fuchs-Kittowski, Frank Fuchs-Kittowski |
Quality of Working Life, Knowledge-Intensive Work Processes and Creative Learning Organisations: Information Processing Paradigm versus Self-Organisation Theory. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Martina Sophia Lundin, Leif Bloch Rasmussen |
A Radical Scandinavian ("Øresundsk") Approach to Inquiring Organizations - A Critique of ICY in Knowledge Management. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | |
Draft Recommendations "Concerning the Promotion and Use of Multilingualism and Universal Access to Cyberspace". |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Philippe Quéau, Boyan Radoykov, Axel Plathe |
"Information for All" Programme. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | John A. N. Lee |
Some Great Myths of the History of Computing. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Richard S. Rosenberg |
Is the Enemy Us? - New Threats to Privacy, Freedom of Information and Civil Liberties in the Age of Terrorism. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Jacques Berleur, Tanguy Ewbank de Wespin |
Self-regulation: Content, Legitimacy and Efficiency - Governance and Ethics. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Tom Dedeurwaerdere |
Ethics and Learning - From State Regulation towards Reflexive Self-Regulation of the Information Society. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Gunilla Bradley |
Theoretical Perspective on the Interplay Between ICT and Quality of Life. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Abiodun O. Bada, Manny C. Aniebonam, Vesper Owei |
Adapting Global Practices Locally: A Perspective on IT Implementation in a Developing Country Context. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Andrew Clement, Robert Guerra, Jeff Johnson, Felix Stalder |
National Identification Schemes (Nids): A Remedy Against Terrorist Attack? |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Marcos Clayton Pessoa, Joaquim Celestino Jr., Sandra Maciel Barreto, José Carvalho Filho Jr. |
Using Technology to help the Citizen Enrollment. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Peter Bittner, Eva Hornecker |
Responsibility and the Work of IT-Professionals: From Academia to Practice. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Britta Schinzel |
Cultural Differences of Female Enrollment in Tertiary Education in Computer Science. |
HCC |
2002 |
DBLP BibTeX RDF |
|
34 | Willem Pieterson, Jan van Dijk |
Channel choice determinants; an exploration of the factors that determine the choice of a service channel in citizen initiated contacts. |
DG.O |
2007 |
DBLP BibTeX RDF |
channel choice, citizen initiated contacts, service channels, e-government, multi-channeling |
34 | Bev Littlewood, Douglas R. Miller |
Conceptual Modeling of Coincident Failures in Multiversion Software. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
coincident failures, multiversion software, independently developed program versions, precise duality, input choice, program choice, diverse methodologies, simultaneous failure, independent failure behavior, methodological diversity, decision outcomes, fault tolerant computing, constraints, probability, conceptual modeling, software reliability, decision theory, optimal method |
33 | Antti Oulasvirta, Janne P. Hukkinen, Barry Schwartz |
When more is less: the paradox of choice in search engine use. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
user interfaces, search engines, satisfaction, relevance judgments |
32 | Kai Riemer, Stefanie Filius |
Contextualising Media Choice Using Genre Analysis. |
Bus. Inf. Syst. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Media choice, Virtualization, Teamwork, Virtual teams, Communication analysis, Genre analysis |
32 | Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe |
PetaBricks: a language and compiler for algorithmic choice. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning |
32 | Nicolas S. Lambert, Yoav Shoham |
Eliciting truthful answers to multiple-choice questions. |
EC |
2009 |
DBLP DOI BibTeX RDF |
multiple-choice questions, probability, forecasting, elicitation |
32 | Alasdair Turner |
The Role of Angularity in Route Choice. |
COSIT |
2009 |
DBLP DOI BibTeX RDF |
Navigation and wayfinding, spatial network analysis, spatial cognition, distance estimation, route choice |
32 | Deborah J. Ballou, Brian R. Huguenard |
Personal and situational predictors of IS professionals' career choice satisfaction. |
CPR |
2008 |
DBLP DOI BibTeX RDF |
career choice satisfaction, career length, consulting firms, position turnover, programmer/analysts, gender differences, consultants, IS professionals, IS managers |
32 | Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang 0001, Jiaguang Sun 0001 |
Mining process models with non-free-choice constructs. |
Data Min. Knowl. Discov. |
2007 |
DBLP DOI BibTeX RDF |
Implicit dependency, Non-free-choice constructs, Process mining, Event log |
32 | Hye-Jin Cho, Kangsoo Kim |
Applying Stated Preference Methods to Investigate Effects of Traffic Information on Route Choice. |
ICHIT |
2006 |
DBLP DOI BibTeX RDF |
Charging, Traffic Information, SP, Route Choice |
32 | Chen Avin, Bhaskar Krishnamachari |
The power of choice in random walks: an empirical study. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
RandomWalks, power of choice, wireless networks |
32 | Luis Antunes 0001, Leonel Nóbrega, Helder Coelho |
BVG Choice in Axelrod's Tribute Model. |
MABS |
2002 |
DBLP DOI BibTeX RDF |
Computer-based social simulation, choice models, Axelrod's tribute model, experimental methodologies for self-motivated agents |
32 | Salvatore Greco, Benedetto Matarazzo, Roman Slowinski |
Rule-Based Decision Support in Multicriteria Choice and Ranking. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
Rough sets, Ranking, Decision rules, Choice, Multicriteria decision analysis |
32 | William Cole |
Choice vs. interaction: the case of online Caroline. |
Hypertext |
2001 |
DBLP DOI BibTeX RDF |
interactive fiction, online Caroline, choice |
32 | Alois Ferscha, Christoph Scheiner |
Collective Choice in Virtual Teams. |
WETICE |
1999 |
DBLP DOI BibTeX RDF |
Collective Choice Theory, Virtual Teams, Electronic Voting, Group Decision Making |
32 | Marina De Vos, Dirk Vermeir |
Choice Logic Programs and Nash Equilibria in Strategic Games. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
game theory, logic programs, nondeterminism, choice, stable model semantics |
32 | Dave W. Farthing, Dave M. Jones, Duncan McPhee |
Permutational multiple-choice questions: an objective and efficient alternative to essay-type examination questions. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
multiple-choice questions, student assessment |
32 | Jörg Desel |
A Proof of the Rank Theorem for Extended Free Choice Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
free choice nets - analysis, structure and behaviour of nets |
32 | Eike Best, Ludmila Cherkasova, Jörg Desel |
Compositional Generation of Home States in Free Choice Systems. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
Free Choice Petri Nets, Home States, Cyclic Behaviour, Compositionality, Reversibility |
30 | Jeremy E. Dawson |
Compound monads in specification languages. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions |
30 | Felix Brandt 0001, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia |
Introduction to Computational Social Choice. |
Handbook of Computational Social Choice |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Maurice Salles |
'Social choice and welfare' at 30: its role in the development of social choice theory and welfare economics. |
Soc. Choice Welf. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker |
10101 Executive Summary - Computational Foundations of Social Choice. |
Computational Foundations of Social Choice |
2010 |
DBLP BibTeX RDF |
|
30 | Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker |
10101 Abstracts Collection - Computational Foundations of Social Choice. |
Computational Foundations of Social Choice |
2010 |
DBLP BibTeX RDF |
|
30 | Keith Dowding, Martin van Hees |
Freedom of Choice. |
The Handbook of Rational and Social Choice |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Aki Tsuchiya, John Miyamoto |
Social Choice in Health and Healthcare. |
The Handbook of Rational and Social Choice |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Paola Manzini, Marco Mariotti |
Choice over Time. |
The Handbook of Rational and Social Choice |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Ulle Endriss, Jérôme Lang, Francesca Rossi 0001, Tuomas Sandholm |
07431 Executive Summary - Computational Issues in Social Choice. |
Computational Issues in Social Choice |
2007 |
DBLP BibTeX RDF |
|
30 | Ulle Endriss, Jérôme Lang, Francesca Rossi 0001, Tuomas Sandholm |
07431 Abstracts Collection - Computational Issues in Social Choice. |
Computational Issues in Social Choice |
2007 |
DBLP BibTeX RDF |
|
30 | Maurice Salles |
The launching of 'social choice and welfare' and the creation of the 'society for social choice and welfare'. |
Soc. Choice Welf. |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Ian Carter |
Choice, freedom, and freedom of choice. |
Soc. Choice Welf. |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Fumihiko Satofuka, Ismo Kantola, Yasuhiko Kono |
Explaining media choice: theoretical discussion and an empirical experiment. |
AI Soc. |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet |
A Short Introduction to Computational Social Choice. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Michael W. Mislove |
Nondeterminism and Probabilistic Choice: Obeying the Laws. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Leo Wanner |
Lexical choice in text generation and machine translation. |
Mach. Transl. |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Tyler Lu, Craig Boutilier |
The unavailable candidate model: a decision-theoretic view of social choice. |
EC |
2010 |
DBLP DOI BibTeX RDF |
voting, preferences, rank aggregation, social choice |
29 | Azreen Azman, Iadh Ounis |
Browsing Recommendation Based on the Intertemporal Choice Model. |
FQAS |
2009 |
DBLP DOI BibTeX RDF |
browsing model, intertemporal choice, information retrieval, recommendation |
29 | Zhiwu Wang, Yanhui Zhang, Haigang Song, Xueguang Chen |
Models Choice of Grid-Based Decision Support System. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Models choice, Gird, Model service, QoS, DSS |
29 | Marc Pauly |
On the role of language in social choice theory. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Logic, Judgment aggregation, Social choice theory |
29 | Chul-Young Roh, Keon-Hyung Lee, Myron D. Fottler |
Determinants of Hospital Choice of Rural Hospital Patients: The Impact of Networks, Service Scopes, and Market Competition. |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Hospital choice, Hospital competition, Conditional logistic regression, Rural hospitals |
29 | Jeanette Bautista, Giuseppe Carenini |
An empirical evaluation of interactive visualizations for preferential choice. |
AVI |
2008 |
DBLP DOI BibTeX RDF |
preferential choice, user studies, empirical evaluation, visualization techniques |
29 | Yu Zhang 0086, Yihua Cao, Xunhao Li |
A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
DTD choice, XPath satisfiability, automaton |
29 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A simple rewrite notion for call-time choice semantics. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming |
29 | Jeanette Bautista, Giuseppe Carenini |
An integrated task-based framework for the design and evaluation of visualizations to support preferential choice. |
AVI |
2006 |
DBLP DOI BibTeX RDF |
preferential choice, task analysis, visualization techniques |
29 | Tom Wanyama, Behrouz Homayoun Far |
Negotiation coalitions in group-choice multi-agent systems. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
group-choice, game-theory, negotiation, coalition-formation, qualitative-reasoning |
29 | Hai-Jun Huang, William H. K. Lam |
A Stochastic Model for Combined Activity/Destination/Route Choice Problems. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
travel behavior modeling, combined activity/destination/route choice, multinomial logit formula, stochastic user equilibrium |
29 | Yujie Mou, Jian Cao 0001, Shen-sheng Zhang, Jianhong Zhang |
Interactive Web Service Choice-Making Based on Extended QoS Model. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
choice-making, Quality of Service, web service, fuzzy synthetic evaluation |
29 | Shu Li 0001 |
A Behavioral Choice Model When Computational Ability Matters. |
Appl. Intell. |
2004 |
DBLP DOI BibTeX RDF |
intuitive abilities, behavioural choice model, prominence effect, independence axiom, transitivity axiom |
29 | Philippe Fortemps, Salvatore Greco, Roman Slowinski |
Multicriteria Choice and Ranking Using Decision Rules Induced from Rough Approximation of Graded Preference Relations. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
Multicriteria choice and ranking, Dominance-based rough sets, Graded preference relations, Fuzzy preference graph, Fuzzy net flow score, Leximax, Decision rules |
29 | Xuemin Zhao, Reinhold Decker |
Modeling SMEs' Choice of Foreign Market Entry: Joint Venture vs. Wholly Owned Venture. |
OR |
2004 |
DBLP DOI BibTeX RDF |
Foreign market entry mode choice, Small and medium sized enterprises, Quantitative model |
29 | Bernhard Banaschewski |
The Axiom of Countable Choice and Pointfree Topology. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
zero-dimensional frames, completely regular frames, coreflections from Lindelöf frames, Axiom of Countable Choice |
29 | Zoonky Lee, Yongbeom Kim, Sang-Gun Lee |
The Influences of Media Choice on Help Desk Performance Perception. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
media choice, end-user satisfaction, Help desk, media richness theory |
29 | Clare Churcher, Alan McKinnon, Roger Jarquin |
Visualising the influence of data structure choice on the performance of a distributed database system. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
data structure choice, object oriented distributed database system performance, cache monitoring software, textual description, data structures, distributed databases, project management, object-oriented databases, visualisation, data visualisation, client-server systems, software development management, cache storage, system monitoring, software project |
29 | Javier Esparza, Manuel Silva Suárez |
On the analysis and synthesis of free choice systems. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
free choice nets, linear algebra techniques, state refinement, structure of systems, modular synthesis, top-down synthesis, Analysis, transformation, reduction |
28 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|