ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
Hosted articles 2006
Historical Lessons on ID Technology and the Consequences of an Unchecked Trajectory (2006-12-01)
Social Impacts of Transport Surveillance (2006-12-01)
Teaching Formal Methods for Computational Linguistics at Uppsala University (2006-12-01)
Teaching Formal Methods: Practice and Experience - Index (2006-12-01)
Australia’s Anti‐Terrorism Legislation: The National Security State and the Community Legal Sector (2006-12-01)
Identity Management: Is an Identity Card the Solution for Australia? (2006-12-01)
Teach Z by Reverse Engineering Specifications From Real-Life Implementations (2006-12-01)
Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods (2006-12-01)
Automated Tools for Teaching Formal Software Verification (2006-12-01)
Conceptualisation of Terrorism in Modelling Tools: Critical Reflexive Approach (2006-12-01)
Regulating Telecommunications Interception and Access in the Twenty‐first Century: Technological Evolution or Legal Revolution? (2006-12-01)
National Security: The Social Implications of the Politics of Transparency (2006-12-01)
The Application of Critical Social Theory to National Security Research (2006-12-01)
Teaching the Oxford Brookes Formal Specification Module (2006-12-01)
Friendly e-tutor for Natural Deduction (2006-12-01)
“La main à la pâte”, An Abacus to Teach Formal Specifications (2006-12-01)
Teaching Semantics of Programming Languages with Modular SOS (2006-12-01)
Microsemantics as a Bootstrap in Teaching Formal Methods (2006-12-01)
Contributors to this Issue (2006-12-01)
Invited Keynote Talk Invariant Based Programming (2006-12-01)
Teaching Formal Methods in a Third World Country: What, Why and How (2006-12-01)
Program Verification with the RISC ProofNavigator (2006-12-01)
Verifying Invariant Based Programs in the SOCOS Environment (2006-12-01)
Logic, damned logic, and statistics (2006-12-01)
Algorithmic Problem Solving — Three Years On (2006-12-01)
Mainstreaming the African environment in development? (2006-09-01)
Angola: Can the politics of disorder become the politics of democratisation & development? (2006-09-01)
Demystifying the Niger Delta conflict: Towards an integrated explanation (2006-09-01)
Review Article: Resistance is Futile—The Future and Post‐humanity (2006-09-01)
Pentecostal Presidency? The Lagos-Ibadan ‘Theocratic Class’ & the Muslim ‘Other’ (2006-09-01)
Confronting Categorical Assumptions About the Power of Religion in Africa (2006-09-01)
Comprehensive Peace? An Analysis of the Evolving Tension in Eastern Sudan (2006-09-01)
Africa: The struggle, intellectual & political, continues… (2006-09-01)
Politics, history & problems of humanitarian assistance in Sudan (2006-09-01)
Chad/Darfur: How two crises merge (2006-09-01)
Changing Science: The Advent of Neo‐liberalism (2006-09-01)
An Accidental Sect: How War Made Belief in Sierra Leone (2006-09-01)
Book Reviews (2006-09-01)
The politics of urban water reform in Ghana (2006-09-01)
Can the Poor Help GM Crops? Technology, representation & cotton in the Makhathini flats, South Africa (2006-09-01)
Engineering Organization and the Scientist in World War I: The Search for National Service and Recognition (2006-09-01)
Resisting (nuclear) power? Environmental regulation in South Africa (2006-09-01)
Book Reviews (2006-09-01)
Media Diversity and Cross‐Media Regulation (2006-09-01)
Battle of Systems: Learning from Erstwhile Gas–Electricity and Telegraph–Telephone Battles (2006-09-01)
A political ecology of wildlife conservation in Africa (2006-09-01)
Sectoral Transformation in the Photovoltaics Industry in Australia, Germany and Japan: Contrasting the Co‐evolution of Actors, Knowledge, Institutions and Markets (2006-09-01)
Youth Cultures & the Fetishization of Violence in Nigeria (2006-09-01)
Contributors to this Issue (2006-09-01)
Briefings (2006-09-01)
Briefings (2006-09-01)
Lifescapes & governance: The Régulo system in Central Mozambique (2006-09-01)
Muslim Brotherhood in Egypt & Sudan (2006-09-01)
Religion, Ideology & Conflict in Africa (2006-09-01)
The world bank & urban programmes in Zimbabwe: A critical appraisal (2006-09-01)
World Bank & Heavenly Bank in Poverty & Prosperity: The Case of Tanzanian Faith Gospel (2006-09-01)
Beyond Knowledge to Wisdom in International Business Strategy (2006-09-01)
Implementing a Normalizer Using Sized Heterogeneous Types (2006-07-01)
The Universal Algebra of Computational Effects: Lawvere Theories and Monads (2006-07-01)
The Essence of the ITERATOR Pattern (2006-07-01)
Program Fusion with Paramorphisms (2006-07-01)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006-07-01)
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory (2006-07-01)
Compact Fusion (2006-07-01)
Algebras for Combinatorial Search (2006-07-01)
Parameterised Notions of Computation (2006-07-01)
Tait in One Big Step (2006-07-01)
Freyd is Kleisli, for Arrows (2006-07-01)
Monadic Reflection in Haskell (2006-07-01)
Review Article: Is State Building the Road to World Order? (2006-06-01)
Autonomy & Intifadah : New Horizons in Western Saharan Nationalism (2006-06-01)
ICT and Australia’s Productivity Growth: Understanding the Relationship (2006-06-01)
Book Reviews (2006-06-01)
Achieving Effective Cross‐Sector R&D Collaboration: A Proposed Management Framework (2006-06-01)
‘Between a rock & a hard place’: North Africa as a region of emigration, immigration & transit migration (2006-06-01)
Broadband Technologies in Australia 1993–98: Developing the Social Shaping of Technology Approach (2006-06-01)
State welfare in Egypt since adjustment: Hegemonic control with a minimalist role (2006-06-01)
Contributors to this Issue (2006-06-01)
Security & insecurity in North Africa (2006-06-01)
Briefings (2006-06-01)
Libya: Reforming the impossible? (2006-06-01)
North Africa: Power, politics & promise (2006-06-01)
The political contradictions of Algerian economic reforms (2006-06-01)
Fostering Multidisciplinary Engagement: Communication Challenges for Social Research on Emerging Digital Technologies (2006-06-01)
Theatre / book reviews (2006-06-01)
Domination & control in Tunisia: Economic levers for the exercise of authoritarian power (2006-06-01)
America, China & the Scramble for Africa's Oil (2006-06-01)
Experiences of Performance Tuning Software Product Family Architectures Using a Scenario-Driven Approach (2006-04-01)
Software Product Lines in Value Based Software Engineering (2006-04-01)
Simulation of Experiments for Data Collection – a replicated study (2006-04-01)
Conducting a Systematic Literature Review from the Perspective of a Ph.D. Student (2006-04-01)
Trust in Software Outsourcing Relationships: An Analysis of Vietnamese Practitioners’ Views (2006-04-01)
A Coupling Framework for AspectJ (2006-04-01)
Reusability Ranking of Software Components by Coupling Measure (2006-04-01)
Experiences Using Systematic Review Guidelines (2006-04-01)
10th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index (2006-04-01)
Prediction of Overoptimistic Predictions (2006-04-01)
Software Modernization and Replacement Decision Making in Industry: A Qualitative Study (2006-04-01)
An empirical study of approaches to determining the semantic relatedness of web pages (2006-04-01)
Do Programmer Pairs make different Mistakes than Solo Programmers? (2006-04-01)
Assessing the Quality and Cleaning of a Software Project Dataset: An Experience Report (2006-04-01)
Assessing the value of Architectural Information Extracted from Patterns for Architecting (2006-04-01)
The Simula Approach to Experimentation in Software Engineering (2006-04-01)
A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies (2006-04-01)
Kenya: Conflict in the ‘Badlands’: The Turbi massacre in Marsabit district (2006-03-01)
Policy Initiative Dilemmas Surrounding Media Convergence: A Cross National Perspective (2006-03-01)
Negotiating Ethnicity: Identity politics in contemporary Kenya (2006-03-01)
Book Reviews (2006-03-01)
Addendum (2006-03-01)
Ireland’s National Innovation System: An Exploratory Study of Supporting Institutions and Dynamic Actors (2006-03-01)
‘Low‐tech’ Industries: Innovativeness and Development Perspectives—A Summary of a European Research Project (2006-03-01)
Playing politics with the mobile phone in Nigeria: civil society, big business & the state (2006-03-01)
State, class & civil society in Africa (2006-03-01)
English Spelling Reform (2006-03-01)
Constructing Advantage: Distributed Innovation and the Management of Local Economic Growth (2006-03-01)
Review Article: Unmasking Americanization: de Grazia’s Irresistible Market Empire Advancing through Twentieth Century Europe (2006-03-01)
Class relations: AIDS & socioeconomic privilege in Africa (2006-03-01)
The gender of wealth: markets & power in Central Kenya (2006-03-01)
In search of economic development in Kenya: Colonial legacies & post-independence realities (2006-03-01)
Book reviews (2006-03-01)
Contributors to this Issue (2006-03-01)
Briefings (2006-03-01)
The politics of control in Kenya: Understanding the bureaucratic-executive state, 1952–78 (2006-03-01)